Enfranchised Mind Blog

Category Archives: OCaml

Functional Programming, Typing, and Closures

Back when I was giving my Ruby.MN and Groovy.MN* presentations on OCaml (blog post with video and handouts), one of [...]
Also posted in Groovy, Programming Language Punditry | 8 Comments

How Ocaml Can Be Improved

A series of suggestions about how the OCaml programming language (esp. its standard library) can be improved.
Also posted in Classic | Tagged , | 28 Comments

7 Actually Useful Things You Didn’t Know Static Typing Could Do: An Introduction for the Dynamic Language Enthusiast

One of the things that has consistently been difficult in the whole dynamic typing/static typing conversation is that people don't seem to understand what a real static typing language can do. The dynamic typing vs. static typing conversation seems to be Java's type system vs. Ruby's type system, which simply isn't fair. So, in the spirit of advancing discourse and helping people understand why I enjoy Ocaml so much, let me present "7 Actually Useful Things You Didn't Know Static Typing Could Do".
Also posted in Classic, Programming Language Punditry, Ruby/JRuby | Tagged , | 72 Comments

Ocaml Lazy Lists- An Introduction

Solidifying this blogs iron-fisted hold on being the leading provider of information for Ocaml Lazy Lists (hope you weren't drinking there), I thought I'd add in some old-fasioned meanderings on the subject. Lazy lists are, I beleive, a powerful and usefull concept. Unfortunately, they are virtually unknown outside of the functional programming community, and, I think, under appreciated even within the functional language community. There use and power deserves to be popularized.
Also posted in Classic | Tagged , , | 14 Comments

Ocaml the scripting language

My favorite language displays new capabilities and powers.
Also posted in Classic, Programming Language Punditry | Tagged | 5 Comments