representing a chain of computation steps #507
Unanswered
mccraigmccraig
asked this question in
Q&A
Replies: 1 comment 1 reply
-
Are you trying to write a monad? What are some examples of |
Beta Was this translation helpful? Give feedback.
1 reply
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
I wanted a type to represent a chain of computation
step
s, where the output of onestep
forms the input to the nexteach step has:
step<i,o,e>
, wherei
= input data,o
= output data,e
= any necessary effectI came up with:
which works, but it doesn't seem quite right - not least because the two
some <j>
statements introduce two separate type variables, but only one is neededis there a better way of representing this ?
Beta Was this translation helpful? Give feedback.
All reactions