I FUCKING HATE DYNAMIC TYPING

I've spent hours trying to figure out what's wrong and it was because this shit silently accepted a vector in place of a scalar. FUUUUCK FUCKETY FUUUUCK. Static typing should be everywhere, even in math software, even in fucking Python, I want ALL programming to always be strictly and statically typed. Fucking idiots, ARRGGH.

>>60
Serious question: but can you make the whole thing pure?

>>61
What do you mean by pure?

>>62
In the case of Haskell all side-effects are re-cast as data dependencies. That's how they decouple I/O from side-effects.

>>63
I thought they used burrito monads.

>>60
Lisp is in an eternal "could be done" state. Haskell just works. You take any library from hackage, look at the type of a function, plug it into your code, and if it typechecks, then it works.

>>59
I'm sorry to break it down to you, but you're totally wrong.

>>64
In the ``burrito analorgy'' you need to substitute ``diarrhea dependencies.'' This is required and implied by the ``arrows'' (in CT), a.k.a. ``stink-lines'' in the burrito theory ``morphism'' (CT; again,``analorgy'' in burrito.)

>>65

library
plug it into

And this is why programming isn't respected.

>>67
The part you cherry-picked is neither here nor there. What makes programming respectable is writing types. >>65 pertains to that practice and in that context plugging things in is perfectly respectable because it can be done correctly with near certainty. After all, its the types that matter most.