Taken Seriously
/haskellcamargo
get /WHOAMI
P&D Researcher @ NG Informática
Core Developer @ Rung
- Gemidão Call
- Sclack
- Skype Unofficial Client
- Quack Programming Language
Author of
Working with
- Compilers Engineering
- Functional Programming
- OCaml
- Linters
- Virtual Machines
- Editor Tooling
get /WHOAMI
P&D Researcher @ NG Informática
Core Developer @ Rung
- Gemidão Call
- Sclack
- Skype Unofficial Client
- Quack Programming Language
Author of
Working with
- Compilers Engineering
- Functional Programming
- OCaml
- Linters
- Virtual Machines
- Editor Tooling
what
is
reason?
A new syntax for OCaml
get /WHAT-is-Reason
get /WHAT-is-OCaml
A functional programming language
with foundations on λ-calculus
that is type-safe, extensible and modular
A new syntax for OCaml
get /WHAT-is-Reason
get /WHAT-is-OCaml
A functional programming language
with foundations on λ-calculus
that is type-safe, extensible and modular
made for web development
get /WHAT-is-Reason
made for javascript programmers
made FOR REACT
made for web development
get /WHAT-is-Reason
made for javascript programmers
made FOR REACT
made for web development
get /WHAT-is-Reason
made for javascript programmers
made FOR REACT
ReasonML
OCaml
JavaScript
ReasonML
OCaml
JavaScript
ReasonML
OCaml
JavaScript
WHY
A NEW
LANGUAGE?
ECMAScript has some historical issues
And shares a lot of its semantics with OCaml
ocaml is safe
and catches bugs before YOUR QA
reason
has...
Cool error messages!
type safety and inference
REACT
FOR
reason
yarn global add bs-platform
bsb -init counter -theme react
src/App.re
src/Page.re
Typed state
src/Page.re
Typed actions
src/Page.re
Component definition
src/Page.re
Reducer
src/Page.re
Style it!
JAVASCRIPT
iNTEROP
what
ABOUT
THE FUTURE?
/facebook/reason
thanks for your
ATTENTION
/haskellcamargo
marcelocamargo@linuxmail.org