Also based on the idea of lightweight static checks and dependent types in exist... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

allisterb on Aug 11, 2019 | parent | context | favorite | on: Lightweight Static Guarantees

Also based on the idea of lightweight static checks and dependent types in existing ML languages: https://notebooks.azure.com/allisterb/projects/sylvester/htm...

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact