Programming With Algebraic Data Types

Strong static typing detects a lot of bugs at compile time, so why would anyone prefer to program in JavaScript or Python?

PL Virtual Meetup: https://www.meetup.com/

https://cppcon.org/ ...

brisbanefunctionalprogramm9306 Brisbane Functional

As we always want to push the envelope and manage more and more on the front-end, our UI code code grew in complexity in the ...

In this episode, we'll take a closer look at the #rescript

You may have heard about the high degree of safety you can achieve by using new and experimental, dependently-typed ...

Follow us: Facebook: https://www.facebook.com/defmethodinc/ Twitter: https://twitter.com/defmethodinc?lang=en Website: ...

on June 29th at ScalaMatsuri 2019 http://2019.scalamatsuri.org/

As we always want to push the envelope and manage more and more on the front-end, our UI code code grew in complexity in the ...

More about records vs. variants, and how variants can combine "one of" vs "each of"

Written version: http://blog.rockthejvm.com/

Algebraic data types