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

> meaning that when your program compiles it will be guaranteed to behave correctly

For very weak notions of "correctly".

If my task is to build a factorial function, epigram will not prevent me from writing a fibonacci function.




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

Search: