[Haskell-cafe] Eff verbose/ambiguous/type safety

[Anthony Clayden]

Hi Daneel, welcome

> Recently I discovered for my self an alternative for monad
> transformers - extensible effects.
>
> http://okmij.org/ftp/Haskell/extensible/
>

So straight away a word of warning: the 'ok' there is Oleg Kiselyov,
who has produced many wonderful demonstrations of the power of
Haskell's type system. (HList is anoher inspiration.) Many would say
he has warped the type system beyond what it could reasonably be
expected to achieve. So we measure the brain power needed to
understand type signatures and messages in milli-Olegs.

> Overall it is really cool and Eff1.hs started working right away,
> but I noticed a problem with mixing several effects in 1 function.
> Type checker requires pretty verbose type signature, which looks
> unreasonable plus the error reported to a beginner developer

> is not intuitive.

Extensible effects/all of Oleg's work is not aimed at beginners. I
advise beginners to stay well clear. You can expect enormous,
inscrutable type errors.

I agree with Georgi you should give type signatures everywhere you
can. And your code should be used only by type experts.


AntC
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20200414/de7e7de7/attachment.html>