NHacker Next
  • new
  • past
  • show
  • ask
  • show
  • jobs
  • submit
▲Loon: A functional lang with invisible types, safe ownership, and alg. effects (loonlang.com)
3 points by surprisetalk 21 hours ago | 1 comment
phpnode 30 seconds ago [-]
The pattern matching example has a type Shape which is never referenced and this seems to conflict with the idea that you never write a type, am I missing something obvious?
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
Rendered at 18:53:45 GMT+0000 (Coordinated Universal Time) with Vercel.