Hacker News
- Using, Understanding, and Unraveling the OCaml Language http://caml.inria.fr/pub/docs/u3-ocaml/index.html 11 comments
- Write a mind-blowing sudoku solver, the thread will drift on webservers. Sh*t. http://caml.inria.fr/pub/ml-archives/caml-list/2005/11/3b2cd69d79484a1bc2c5f9aea4214836.en.html 4 comments
- NaCl/OCaml (OCaml as a client-side web programming language) http://caml.inria.fr/pub/ml-archives/caml-list/2010/03/871885ab916b2207234d2874c288f3e3.en.html 10 comments
- Two common mistakes when using databases http://caml.inria.fr/pub/ml-archives/caml-list/2008/02/b75fe4f240d3a3985e50f9bd23013579.en.html?submitted_two_years_ago= 14 comments
- Two common mistakes when using databases http://caml.inria.fr/pub/ml-archives/caml-list/2008/02/b75fe4f240d3a3985e50f9bd23013579.en.html 3 comments
- How are functions compiled? https://caml.inria.fr/pub/papers/xleroy-zinc.pdf 7 comments ocaml
- Using, Understanding, and Unraveling the OCaml Language http://caml.inria.fr/pub/docs/u3-ocaml/index.html 15 comments programming
- How would you extend a type with a lot of variants and a recursive handling function? https://caml.inria.fr/pub/docs/manual-ocaml/manual037.html 19 comments ocaml
- Using Location module https://caml.inria.fr/pub/docs/manual-ocaml/libref/Location.html 2 comments ocaml
- For those of you new to OCaml and trying to get your head around it, try the F# documentation, maybe http://caml.inria.fr/pub/docs/manual-ocaml/coreexamples.html 7 comments ocaml
- OCaml 4.06.0 released https://caml.inria.fr/pub/distrib/ocaml-4.06/ 13 comments ocaml
- OCaml 4.04.1 released, dedicated to the memory of Emmy Noether https://caml.inria.fr/pub/distrib/ocaml-4.04/ 11 comments ocaml
- The official OCaml development repository migrated from SVN to git(hub) today. http://caml.inria.fr/cgi-bin/viewvc.cgi/website/trunk/htdocs/resources/index.xml?r1=16548&r2=16547&pathrev=16548 11 comments ocaml
- Ocaml: Extensible variant types http://caml.inria.fr/pub/docs/manual-ocaml/extn.html#sec246 7 comments haskell
- OCaml 4.02 Released [Link to Changelog] http://caml.inria.fr/pub/distrib/ocaml-4.02/notes/changes 45 comments programming
- A fascinating bug hunt, or why you should not use Obj.magic http://caml.inria.fr/mantis/view.php?id=6501 8 comments ocaml
- Why does the constraint clause exist in type definitions? http://caml.inria.fr/pub/docs/manual-ocaml-4.00/manual016.html#type-constraint 10 comments ocaml
- OCaml 4.00 released - GADTs, improved first-class modules, new ARM backend, mingw-w64 support, optimizations http://caml.inria.fr/pub/distrib/ocaml-4.00/notes/changes 8 comments ocaml
- OCaml 4.00 released - GADTs, improved first-class modules, new ARM backend, mingw-w64 support, optimizations http://caml.inria.fr/pub/distrib/ocaml-4.00/notes/changes 22 comments programming
- Vincent Fiack's better ocamldoc styling was just integrated upstream http://caml.inria.fr/mantis/view.php?id=5544 4 comments ocaml
- [PDF] "Relaxing the value restriction", by Jacques Garrigue, 2004 http://caml.inria.fr/pub/papers/garrigue-value_restriction-fiwflp04.pdf 8 comments ocaml
- It seems the upcoming new OCaml release will be 4.0... http://caml.inria.fr/cgi-bin/viewvc.cgi?view=revision&revision=12217 9 comments ocaml
- Julian Assange - digs Ocaml (See list of proofreaders) http://caml.inria.fr/pub/docs/oreilly-book/ 4 comments ocaml
- 10 years ago Julian Assange was doing cryptography in OCaml http://caml.inria.fr/pub/ml-archives/caml-list/2000/08/6b8b195b3a25876e0789fe3db770db9f.en.html 145 comments programming
- OCaml on Google Native Client: NaCl/OCaml (OCaml as a client-side web programming language) http://caml.inria.fr/pub/ml-archives/caml-list/2010/03/871885ab916b2207234d2874c288f3e3.en.html 7 comments programming
- Why OCaml doesn't do SMP (despite a "machine-checked proof of correctness" for concurrent GC) http://caml.inria.fr/pub/ml-archives/caml-list/2002/11/64c14acb90cb14bedb2cacb73338fb15.en.html 33 comments programming
- A simple, pure, magic-free implementation of a form of GADTs in OCaml http://caml.inria.fr/pub/ml-archives/caml-list/2009/07/2984f23799f442d0579faacbf4e6e904.en.html 3 comments programming
- WARNING: "The Objective Caml Programming Language" by Tim Rentsch is plagiarized from Jason Hickey. Do not buy this book and cancel your unshipped orders. http://caml.inria.fr/pub/ml-archives/caml-list/2009/02/573c2e5d62d86f275e96c7090adfa9c4.en.html 85 comments programming
- Preludeml --> haskell prelude for ocaml http://caml.inria.fr/cgi-bin/hump.cgi?contrib=684 16 comments programming
- OCaml release 3.11.0 has landed http://caml.inria.fr/ocaml/release.en.html 61 comments programming
- OCaml Windows cross-compiler http://caml.inria.fr/pub/ml-archives/caml-list/2008/11/48e7c6b3a40e5fa1d9555a3447820161.en.html 3 comments programming
- OCaml-java 1.0 beta http://caml.inria.fr/cgi-bin/hump.cgi?contrib=624 7 comments programming
- Two common mistakes when using databases http://caml.inria.fr/pub/ml-archives/caml-list/2008/02/b75fe4f240d3a3985e50f9bd23013579.en.html 63 comments programming
- The trouble with monads http://caml.inria.fr/pub/ml-archives/caml-list/2007/07/9858139a356468fa638746aacf111682.en.html 20 comments programming
Lambda the Ultimate
- Ocaml 3.12 released http://caml.inria.fr/ocaml/release.en.html 2 comments Functional , Implementation
- OCaml 3.0.9 http://caml.inria.fr/ocaml/release.en.html 13 comments General , Object-Functional , Spotlight
- OCaml Release 3.08.0 http://caml.inria.fr/ocaml/distrib.html 3 comments Functional
- Developing Applications with Objective CAML http://caml.inria.fr/oreilly-book/html/index.html 8 comments object-functional
- Developing Applications with Objective Caml http://caml.inria.fr/oreilly-book/ 0 comments functional
- OCaml on top of JVM/.NET http://caml.inria.fr/archives/200102/msg00189.html 2 comments functional
Linking pages
- 10 programming languages worth checking out - H3RALD http://www.h3rald.com/articles/10-programming-languages/ 564 comments
- New Programming Languages and Rust - https://aminutewithbrendan.com http://www.aminutewithbrendan.com/pages/20101206 17 comments
- GitHub - verifast/verifast: Research prototype tool for modular formal verification of C and Java programs https://github.com/verifast/verifast 1 comment
- Functional Programming Languages: Past, Present and Future - Techopedia https://www.techopedia.com/functional-programming-languages-past-present-and-future/2/34003 1 comment
- GitHub - yoshihiro503/ocamltter: ocamltter is a Twitter client in OCaml. This client run on the OCaml toplevel interpreter. Then each operation on the client is just a OCaml function and you can develop a twitter program interactively. https://github.com/yoshihiro503/ocamltter 0 comments
- GitHub - rems-project/lem: Lem semantic definition language https://github.com/rems-project/lem 0 comments
- Around "Hello World" in 30 Days | Viget http://www.viget.com/extend/around-hello-world-in-30-days/ 0 comments
- Microsoft’s F# Gains Momentum | Developer.com http://www.developer.com/net/microsofts-f-gains-momentum.html 0 comments