Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Functions don't alter anything. 20 is still 20 even after you evaluate f(20) to be 6.


That's where linear logic differs, if you will. The highest voted comment in this sub-thread already alluded to that.


I'm a big fan of linear typing but I think of it as more like "consuming" the input than "changing" it.




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

Search: