zennist_ 2017-02-04 20:45:12
How's Control.Monad.Except compared to Control.Monad.Catch?
zennist_ 2017-02-04 20:45:38
specifically - what's the more 'conventional' option there that unifies throwing exception both in pure and impure code?
zennist_ 2017-02-04 20:46:37
anyone?
kaol 2017-02-04 20:51:37
zennist_: Control.Monad.Except gives you ExceptT which is a monad transformer and it's separate from haskell's exception mechanism really. If you throw an exception it won't touch it.
mniip 2017-02-04 21:02:49
hmm
mniip 2017-02-04 21:02:54
finally decided to read maclane
mniip 2017-02-04 21:03:19
curiously, he defines Matr but not Vect?
tfc 2017-02-04 21:03:35
isnt a vect a matr?
mniip 2017-02-04 21:04:23
no?
mniip 2017-02-04 21:04:31
there are objects in Vect that aren't in Matr
mniip 2017-02-04 21:04:39
infinite dimensional vector spaces
mniip 2017-02-04 21:05:03
you can't talk about linear maps as of matrices anymore
tfc 2017-02-04 21:05:22
ok. i do actually not know what library you are talking about. just guessed that it's something purely mathematical, where it would make sense to regard a vector as a Nx1 matrix. :)
mniip 2017-02-04 21:05:41
I'm reading MacLane's book on category theory
tfc 2017-02-04 21:06:14
i see
mniip 2017-02-04 21:06:14
Matr is a category he defines in the book
mniip 2017-02-04 21:06:47
Matr_K over ring of scalars K to be precise
tfc 2017-02-04 21:27:24
i started to read about parallel&concurrent programming in haskell because i will need that stuff soon.
tfc 2017-02-04 21:27:36
is there any better reference as for example http://community.haskell.org/~simonmar/par-tutorial.pdf ?
erisco 2017-02-04 21:39:48
hrm
erisco 2017-02-04 21:40:04
I can't seem to convince Haskell that there is a sing for all Nat
erisco 2017-02-04 21:40:17
I shouldn't need SingI n in context when n is a Nat
erisco 2017-02-04 21:41:44
not sure this is a weakness that can be overcome
erisco 2017-02-04 21:43:15
I guess Haskell can't always be that smart
