Unreasonable Expectations

bassjacob.com
@bassjacob

OCaml


Reason


A Sprinting Tour of the Syntax

functions


parametric polymorphism


simple types



ad hoc polymorphism

highly recommended reading: http://ocamllabs.io/higher/lightweight-higher-kinded-polymorphism.pdf

Modules

types (signatures)


structures




List.rei


List.re


mutual recursion


mutual recursion


functors

Not this kind.

fmap :: Functor f => (a -> b) -> f a -> f b


we could make fmap functors this way!


option functor


list functor


what's the opposite of ad-hoc?


bucklescript


React Bindings



Can Programming Be Liberated From The Von Neumann Style?





not because fp is more difficult.

because the meta-language is daunting

Can Programming Be Liberated From The Von Neumann Style?

yes!

${whoami:-Jacob Bass}

github: bassjacob

twitter: @bassjacob

web: www.bassjacob.com

email: [email protected]