#ocalm — Public Fediverse posts

https://react-book.melange.re/intro/
I love #ocalm.

it has many superpowers
- #soundcomplete and #strong #typesystem with #typeinference

- #algebraiceffects
- #algebraicdatatypes
- #GADT
- #patternmatching
- pragmatic by default #immutanbility
- pragmatic and optional laziness
it gives confidence and correctness via type system and compiles
#ocaml shape languages like #scala and #rust also #Fsharp is just reincarnation of ocaml for dotnet
Melange brings this power to #reactnative developers.

https://react-book.melange.re/intro/
I love #ocalm.

it has many superpowers
- #soundcomplete and #strong #typesystem with #typeinference

- #algebraiceffects
- #algebraicdatatypes
- #GADT
- #patternmatching
- pragmatic by default #immutanbility
- pragmatic and optional laziness
it gives confidence and correctness via type system and compiles
#ocaml shape languages like #scala and #rust also #Fsharp is just reincarnation of ocaml for dotnet
Melange brings this power to #reactnative developers.

https://react-book.melange.re/intro/
I love #ocalm.

it has many superpowers
- #soundcomplete and #strong #typesystem with #typeinference

- #algebraiceffects
- #algebraicdatatypes
- #GADT
- #patternmatching
- pragmatic by default #immutanbility
- pragmatic and optional laziness
it gives confidence and correctness via type system and compiles
#ocaml shape languages like #scala and #rust also #Fsharp is just reincarnation of ocaml for dotnet
Melange brings this power to #reactnative developers.

https://react-book.melange.re/intro/
I love #ocalm.

it has many superpowers
- #soundcomplete and #strong #typesystem with #typeinference

- #algebraiceffects
- #algebraicdatatypes
- #GADT
- #patternmatching
- pragmatic by default #immutanbility
- pragmatic and optional laziness
it gives confidence and correctness via type system and compiles
#ocaml shape languages like #scala and #rust also #Fsharp is just reincarnation of ocaml for dotnet
Melange brings this power to #reactnative developers.

https://react-book.melange.re/intro/
I love #ocalm.

it has many superpowers
- #soundcomplete and #strong #typesystem with #typeinference

- #algebraiceffects
- #algebraicdatatypes
- #GADT
- #patternmatching
- pragmatic by default #immutanbility
- pragmatic and optional laziness
it gives confidence and correctness via type system and compiles
#ocaml shape languages like #scala and #rust also #Fsharp is just reincarnation of ocaml for dotnet
Melange brings this power to #reactnative developers.

C takes the calm out of #OCalm

Reason - Reason lets you write simple, fast and quality type safe code while leveraging both the JavaScript & OCaml ecosystems. Reason is not a new language; it's a new syntax and toolchain powered by the... https://reasonml.github.io/en/ #Front #JS #Ocalm by @[email protected]