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
Taken Seriously /haskellcamargo
ReactConf 2018 - ReasonML Taken Seriously
By Marcelo Camargo
ReactConf 2018 - ReasonML Taken Seriously
- 2,192