Enfranchised Mind Blog

Tag Archives: Functional Languages: Ocaml

Functional (Meta)?Programming Stunts for Ruby and Groovy (and a Little Perl)

By Robert Fischer | June 24th, 2008
After I learned OCaml, my coding mindset was totally distorted. I started writing Java code that looked like this: public [...]
Posted in Groovy, Perl, Ruby/JRuby | Also tagged , , , | 6 Comments

How Ocaml Can Be Improved

By Brian Hurt | May 7th, 2008
A series of suggestions about how the OCaml programming language (esp. its standard library) can be improved.
Posted in Classic, OCaml | Also tagged | 28 Comments

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

By Robert Fischer | April 14th, 2008
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".
Posted in Classic, OCaml, Programming Language Punditry, Ruby/JRuby | Also tagged | 72 Comments

Thoughts on Parallelism

By Brian Hurt | February 8th, 2007
The more I think about it, the more I think the future is going to be a combination of STM and message passing. Both have their advantages and disadvantages.
Posted in Classic, To Be Categorized | Also tagged , | 23 Comments

Java’s Failure to be Lazy

By Robert Fischer | January 2nd, 2007
Laziness is cool, and Java all but completely fails to be lazy, which is a shame considering how useful the trick is.
Posted in Classic, To Be Categorized | Also tagged | 11 Comments