Good point, well there's Ordering type built-in in Haskell (LT | EQ | GT). Order... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

ackfoobar 11 months ago | parent | context | favorite | on: OCaml as my primary language

Good point, well there's Ordering type built-in in Haskell (LT | EQ | GT). Ordering -> bool has 2^3=8 values (const true, const false, == LT, == EQ, == GT, is_lte, is_gte, ne)

EDIT: now you see why I used the smallest type possible to make my point. Exponentials get big FAST (duh).

jolmg 11 months ago [–]

> now you see why I used the smallest type possible

I think the length's worth it for the sake of a crystal clear enumeration.

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact