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

Note that none of these languages have dependent types and that feature is sometimes impossible to add in full generic power after the fact without completely breaking existing code.



I think there is some misunderstood. I just saw mentions of java and python and I just wanted to add some pointers for people who might not know that myrth lives in a void. I didn't want to imply that there is no point in writing a new language.


Does mirth? I've been perusing the code and haven't seen anything like that so far.




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

Search: