Beh01: Created page with "== State monad== * In your prefered programming language, define a function representing a state: `State s a :: s -> (s,a)`. For example in C#, it will be someth..."

2022-11-22T08:30:23Z

Created page with "== State monad== * In your prefered programming language, define a function representing a state: <code>State s a :: s -> (s,a)</code>. For example in C#, it will be someth..."

New page

== State monad==

* In your prefered programming language, define a function representing a state: <code>State s a :: s -> (s,a)</code>. For example in C#, it will be something like this:
<syntaxhighlight lang="csharp">delegate (TState State, T Value) State<TState, T>(TState state)</syntaxhighlight>
* Implement functions '''bind''' and '''return''' as it is defined for monads (or '''SelectMany''', if you are using C#).

PFP Laboratory 11 - Revision history

Beh01: Created page with "== State monad== * In your prefered programming language, define a function representing a state: State s a :: s -> (s,a). For example in C#, it will be someth..."

Beh01: Created page with "== State monad== * In your prefered programming language, define a function representing a state: `State s a :: s -> (s,a)`. For example in C#, it will be someth..."