undefined | Better HN

0 pointspdpi6y ago0 comments

The real difficulty with having “proper” support for monads is having a type system that supports higher-kinded types of some description

0 comments

1 comments · 1 top-level

Or alternatively no (static) type system at all.

j / k navigate · click thread line to collapse