3 ms·

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

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 8y ago
What language was this?
- anoncake 8y ago
  Sounds very much like Haskell. The search engine is Hoogle. https://www.haskell.org/hoogle/ https://www.haskell.org/hoogle/
  - a-saleh 8y ago
    Haskell and Purescript (a close-relative compiled to Javascript). Have yet to 'use it in anger', though :)