[bitc-dev] Effect variables cannot be eliminated
naasking at higherlogics.com
Wed Aug 6 11:31:29 CDT 2008
Since you're looking at effect typing, you might be interested in the
"Disciplined Disciple Compiler":
It's effectively a strict Haskell dialect with effect typing in place of
monads. This is also relevant to your follow-up question regarding
syntax. After a little squinting, I managed to sort of puzzle out how
effect typings look like.
They claim that the effect information is only needed when importing
foreign functions, or when mixing laziness with mutation .
Jonathan S. Shapiro wrote:
> My statement that effect variables can be eliminated in the types proves
> to be wrong. Matt M at the lambda-the-ultimate wiki distilled a
> So this means that function types need to carry effect variables in at
> least some cases. In principle, it also means that a complete typing of
> an expression needs to have both an associated effect and a type, but I
> think we can elide printing those most of the time.
> bitc-dev mailing list
> bitc-dev at coyotos.org
More information about the bitc-dev