Viewing profile — sclv

Indeed, as you note, a reinstallable base is a goal everyone wants. Its basically historical reasons and coupling of primitives (tied to the compiler innards) to nonprimitives whic…

I don't think any of this is impossible to change. There was just a Labor Notes conference this weekend where thousands of people pushing for more democratic and rank and file run …

Yes, companies are not democracies. That's why we need unions! That's the only way to exercise our collective power to negotiate with the employer on more equal terms. When we nego…

Holy moly that is not at all what that paper says! It specifically argues that certain equational properties of a given total language continue to hold in the total fragment of a g…

Your edit is starting to get it. If by the argument of the article x/y = cotton candy for all x,y, then probably the argument of the article isn't good. And the reason is precisely…

I know what he's doing. The problem is when you make it a different function (even by just extending it) then you change its equational properties. So equational properties that he…

The problem this and the other replies miss is that the standard definition of division is multiplication by the inverse. The entire argument rests on a notational slight of hand. …

Right. So the multiplicative inverse property _breaks_! He just points out that it breaks, and thus you need to use a more complicated property instead. That doesn't mean that the …

I think this list is not reflective of a general Haskell outlook. Its reflective of an outlook of people standing _outside_ Haskell (LC is historically a scala-heavy conference) an…

If you think reading X loc/min is the norm, and then hit a language where you read much slower, you might think "this is hard to read". But if you're reading the same density of _l…

You do get 0 * x <= 0. You just need a splash of domain theory to make the medicine go down.

once you end up with a typeclass and associate the methods the unpacking goes away and you're just working in a context parameterized by some typeclass. i expressed it via that rou…

This is an interesting question. As much more of a Haskeller than an MLer I don't tend to feel the "need" to structure my programs explicitly modularly, and when I do I sort of ins…

i should have specified "modulo bottom" because i somehow didn't cotton i was talking to someone more interested in pedantry than actual discussion. that said, constructing an inha…

> I need univalence for this argument to hold water. No, you don't. Univalence is the axiom that transporting operations across such equivalences _always_ works. If you're doing eq…

> Parametricity is too good to give up. With the minor exception of reference cells (`IORef`, `STRef`, etc.), if two types are isomorphic, applying the same type constructor to the…

> You wanna play the dependent type theory card? Type families as provided in Haskell are incompatible with univalence. Hi. As someone that knows type theory and knows homotopy typ…

YHC, Hugs, and nhc all discontinued development. The former is now virtually uncompilable (and was never complete), Hugs is officially unmaintained, nhc hasn't seen a release since…

The official website of the compiler itself is here: https://www.haskell.org/ghc/

I have no idea either. The new site was never discussed once on the list ( https://groups.google.com/forum/#!forum/commercialhaskell ) nor does there seem to be anything in the CHG…

No major component of Haskell is splitting in half fwiw. A small group of people have simply decided to fork a single website. ¯\_(ツ)_/¯

The reason he cites union-find is that it is one of the only significant data structures where sustained research hasn't either produced an immutable version with the same performa…

There's no free speech on hackernews. People get moderated all the time! If hackernews can moderate its comments, then can't a conference moderate its speakers?

> as of right now, you need to know category theory to understand the language and it's base libraries. This is patently false. You need to know what a Functor and a Monad are, as …

GADTs, phantom types, and arrows (not to mention monad transformers) aren't "mathematical terms" in that the names aren't borrowed from mathematical terminology. They're just _term…