> you really need to use haskell. Or Scala. They're the only two common-use lang... | Hacker News

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

login

Twisol on Nov 30, 2022 | parent | context | favorite | on: Why I am learning category theory

> you really need to use haskell.

Or Scala. They're the only two common-use languages I'm aware of whose type systems are expressive enough to define what a monad (or a category, or a ...) is internally. Of course you can identify particular monads (or ...) in any language, but you can't talk about them inside most languages.

larve on Dec 1, 2022 [–]

C++ fits the bill as well (!)

I wager that you can get pretty far with compile-time macros, even as rudimentary as C's, to encoder a fair bit of generic monad machinery.

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