This is closer to using the type system to simulate something Prolog-like, where... | Hacker News

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

login

mrkgnao on April 11, 2017 | parent | context | favorite | on: Typing the technical interview

This is closer to using the type system to simulate something Prolog-like, where typeclass membership is like a predicate.

agumonkey on April 11, 2017 [–]

I knew that ListConcat looked fishy.

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