[FoRK] Well... was Re: Uh oh. Retraction.

Gregory Alan Bolcer greg at bolcer.org
Thu Oct 24 13:46:01 PDT 2013


http://www.gamervescent.com/wp-content/uploads/2012/11/CreepersGonnaCreep.png

Gawd, I have to update my email filters.

On 10/24/2013 8:30 AM, Jeff Bone wrote:
>
> This could be a "bug" in Hindley-Milner itself or its particular implementation in Haskell.  Depending on which formulations of set theory and term unification are used, the Axiom of Choice may indeed be axiomatic or derived.  Martin-Löf type theory does not entail that AoC --> LEM, but depending on details, this could have crept in...
>
> Tl;dr:  retraction tentative, more investigation needed but I'm not going to do it now,  too busy fiddling with delimited continuations. ;-)
>
> Chilly here in Stockholm but was warmer here at 20:00 last night than NY or Seattle at the same time.
>
> :-)
>
> j
>
>

-- 
greg at bolcer.org, http://bolcer.org, c: +1.714.928.5476


More information about the FoRK mailing list