Hi Adam
I like the Idea of using Ur to help with the current crisis. However, I don't
think that I am fluent enough with the language yet to be of much help.
I tried to install the demo and failed so far. Is there any advice on how to
install libraries? Do I need to build them first or can I
ments to result.
On 2/6/20 1:34 PM, Urs Wegmann wrote:
I try to create a monad:
datatype result a x =
Ok of a
| Err of x
fun mreturn [a] [x] (r : a) : result a x = Ok r
fun mbind [a] [b] [x] (r : result a x) (f : a -> result b x) : result b x =
case r of
Ok r => f r
|
I try to create a monad:
datatype result a x =
Ok of a
| Err of x
fun mreturn [a] [x] (r : a) : result a x = Ok r
fun mbind [a] [b] [x] (r : result a x) (f : a -> result b x) : result b x =
case r of
Ok r => f r
| Err x => Err x
val result_monad = mkMonad
{
Found the solution myself:
return ()
Sorry for the silly question, but I am a bit unfamiliar with this stuff (but
slowly getting behind it).
However; thanks for this great language! I think it can speed up developing for
the web quite a bit.