3 ms·
> I'd not start a big project in any language without: null-safety, proper sum-types, type inference. very interesting; I've been looking into sum-types recent
by archibaldJ 5y ago
> I'd not start a big project in any language without: null-safety, proper sum-types, type inference.
very interesting; I've been looking into sum-types recently, esp from a categortical perspective https://www.youtube.com/watch?v=2LJC-XD5Ffo https://www.youtube.com/watch?v=2LJC-XD5Ffo
Maybe there is something about the necessity of Natural Transformation somewhere when the system scales to a certain size
- cies 5y agoI love Bartosz Milewski! Great talks to make cat theory understandable. Sum-types to me are just a necessity for expressing certain situations that occur a lot. Enums do not cut it, and making sum-types from records is just ugly, waaaay to much boiler plate and hard to deal with in practice (one needs sum-types AND switch expressions + pattern matching to really unlock the bliss of sum-types).