News for hackers. Stuff that matters.

A comment on Moving Beyond Type Systems. Parent comment

Re:Moving Beyond Type Systems by kristiandupont on Saturday June 01, 2024 @01:52AM (#40543228)
Can you not combine effects into unions and/or intersections resulting in more abstract effects?
[ Parent | on HN ]
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 ]