» tagged pages
» logout

sorted by: recent | see : popular
Content Tagged with functional + ocaml

Cryptol Home

Cryptol is a domain specific language for Cryptographic applications, currently developed by Galois Connections, Inc. This web-site contains a description of the language and detailed documentation on Cryptol.

Haskell: del.icio.us tag/haskell

Enfranchised Mind " A Monad Tutorial for Ocaml

I've decided to become a Haskell newbie and write myself a monad tutorial. This has a value, no matter how bad the monad tutorial<sep/>

Haskell: del.icio.us tag/haskell

Micah Elliott: A Single Command to Get Started on Functional Programming

Functional Programming is old. Ancient. Like right after FORTRAN. But it's the future. Trust me, I'm named after the dude who knew about Jesus 700 years early.

Haskell: del.icio.us tag/haskell

Michael Feathers' Blog: Are FP and OO Incompatible Syntactic Styles?

I've been looking at Scala, OCaml, and F# recently and I've really been struck by their different approaches toward mixing OO and FP.

scala: del.icio.us/tag/scala

Enfranchised Mind " How Ocaml Can Be Improved

Some of the ways OCaml could be improved, like removing the special cludges needed for printf, controlling mutable data, eliminating shift-reduce conflicts, better use of exceptions and introducing deforestation

Haskell: del.icio.us tag/haskell

Bit Stream Benchmarks

This is a website which describes benchmarks that each entail operations on bit streams. These benchmarks have all been implemented in Erlang, O'Caml and Haskell.

Haskell: del.icio.us tag/haskell

Otaku, Cedric's weblog: A programming language for 2010

Viele intelligente Kommentare zu modernen Programmiersprachen

scala: del.icio.us/tag/scala

Otaku, Cedric's weblog: A programming language for 2010

Viele intelligente Kommentare zu modernen Programmiersprachen

Haskell: del.icio.us tag/haskell

Page 1 | Next >>