On: Comparing Objective Caml and Standard ML

[cmrdporcupine]

I'm holding out for the wave of logic / declarative / relational programming. That's my nerd preference.

[agumonkey → cmrdporcupine]

Oh that could make sense, usually there's the imperative > functional > logic thinking ladder.. and there's scryer, ciao, datalog and a few other logic systems popping up recently.

I'd love that too, i'm very much in love with it.