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

Another thing, this example wouldn't type check unless it is verifiably a list of non blank strings:

    print [s for s in lst if s.head != '_']
The section about dependent typing says `lst.head` would be a compile time error in some cases.



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

Search: