an introduction to reason

bassjacob.com
@bassjacob

the reason for reason?

can programming be liberated

from

the von neumann (imperative) style?

Required Reading

JavaScript


Reason


A Sprinting Tour of the Syntax

functions


parametric polymorphism


simple types


mutually recursive types


same same

but different?

::labeled=arguments




1st class modules

without classes

types (signatures)


structures



mutually recursive modules




List.rei


List.re


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?


gadt's

Generalised algebraic datatype

gadt's

Generalised algebraic datatype







compile targets

and

interop

native compilation

bucklescript: github

reactjs with native jsx: github


OCaml is a really cool language

Reason is a really nice syntax

a new meetup

meetup.com/reason-sydney

${whoami:-Jacob Bass}

github: bassjacob

twitter: @bassjacob

web: www.bassjacob.com

email: [email protected]