>This means you cannot really implement Haskell-like monads with dynamic typ... | Hacker News

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

chongli on Oct 20, 2012 | parent | context | favorite | on: Does Functional Programming Replace GoF Design Pat...

>This means you cannot really implement Haskell-like monads with dynamic typing.

Ahh, yeah I've heard this before. It totally slipped my mind.

>As for dispatching on runtime values, that is ordinary pattern matching

Can you extend the patterns of a function at runtime (or even across modules)?

Peaker on Oct 20, 2012 [–]

No, you can't write a function spread across modules depending on the value of its input, short of implementing a dispatch system.

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