#gadts — Public Fediverse posts

Oh, great! Another riveting read on #GADTs and #performance from the folks over at Jane Street, because who doesn't love a good bedtime story about #OCaml and type systems? 💤✨ Spoiler alert: GADTs are apparently the unsung heroes of speed, and if you don't obsess over them, you're clearly doing life wrong. #NerdAlert 🚀
https://blog.janestreet.com/why-gadts-matter-for-performance/ #TypeSystems #JaneStreet #NerdAlert #HackerNews #ngated

Why GADTs matter for performance (2015)

https://blog.janestreet.com/why-gadts-matter-for-performance/

#HackerNews #GADTs #Performance #FunctionalProgramming #JaneStreet #TechBlog #2015Insights

I'm really glad to share my last work about μTCP, #unikernels, effects and #OCaml 5. I talk about TCP/IP, #GADTs, and some useful data-structures. https://blog.robur.coop/articles/utcp_and_effects.html

I started to work a bit (on my free time) on `vif`: https://github.com/robur-coop/vif. It's really experimental but I really like the idea to launch a simple webserver from an #OCaml script. `vif` is also a library and you can use it to make your own webserver. I also started to work on `hurl` which is the client part: https://github.com/robur-coop/hurl. These projects are truly experimental, but I am quite satisfied with the API they are proposing. Lot of #GADTs everywhere!

Now, #Bob can be used by anyone who understand the drag'n drop user interface on Windows! To celebrate, robur.io and me wrote an article about our #OCaml experience and #GADTs available here: https://blog.osau.re/articles/gadt_and_state_machine.html Bob is usable and our #MirageOS still alives!