Enfranchised Mind Blog

Tag Archives: Haskell

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

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

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

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

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

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