News for hackers. Stuff that matters.

A comment on Moving Beyond Type Systems. Parent comment

Re:Moving Beyond Type Systems by nextaccountic on Saturday June 01, 2024 @03:02AM (#40543537)
In real world languages with effects, like F* or Koka, you can
[ Parent | on HN ]

There are no comments on this comment yet.