Second, as aid in design. I had the pleasure to use languages capable of derivin... | Hacker News

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

login

a-saleh on Feb 24, 2019 | parent | context | favorite | on: A Case for a New Language

Second, as aid in design. I had the pleasure to use languages capable of deriving implementations from types directly (where otherwise you'd use reflection) and ones with type-directed search and typed-holes (even though unsafeCoerce fitting every hole is a bit annoying :)

winter_blue on Feb 25, 2019 [–]

What language was this?

anoncake on Feb 25, 2019 | [–]

Sounds very much like Haskell. The search engine is Hoogle.

https://www.haskell.org/hoogle/

a-saleh on Feb 25, 2019 | | [–]

Haskell and Purescript (a close-relative compiled to Javascript). Have yet to 'use it in anger', though :)

Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact