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.

🇫🇷 L'année passée, j'ai décris un usage du GADT `Eq` pour implémenter des méthodes gardées (et résoudre les méthodes `sum`, `prod` et `flatten`) en préservant la sémantique d'envoi de message !

https://xvw.lol/pages/oop-refl.html

N'hésitez pas à me faire des retours !
#ocaml #gadt #oop

It seems one can represent ZFC (or any other logic or type system) as Lean 3's GADT. Note that binder very elegantly represented as HOAS. Am I first who discovered this? #types.pl #plt #lean #lean3 #gadt #zfc #hoas

https://lobste.rs/s/11k4ri/how_should_i_read_type_system_notation#c_rtpme5