undefined | Better HN

0 pointsdmitriid5y ago0 comments

Of course they do. Of course they are.

The simplest code change turns the code in to a monadic/functor soup.

0 comments

... and if you program in Haskell that's exactly what you want. Programming with these abstractions is common and well supported in Haskell.

whateveracct5y ago

Given what the examples are doing (describing inputs) I don't see how you solve it ergonomically without higher kinded types, which in turn leads to functors etc.

j / k navigate · click thread line to collapse

0 pointsdmitriid5y ago0 comments

Of course they do. Of course they are.

The simplest code change turns the code in to a monadic/functor soup.

0 comments

agentultra5y ago

... and if you program in Haskell that's exactly what you want. Programming with these abstractions is common and well supported in Haskell.

whateveracct5y ago

Given what the examples are doing (describing inputs) I don't see how you solve it ergonomically without higher kinded types, which in turn leads to functors etc.

j / k navigate · click thread line to collapse