Re: [Haskell-cafe] Haskell philosophy question
2009/5/17 Vasili I. Galchin vigalc...@gmail.com: Hello, I am confused between Haskell as delineated in the Haskell Report VS ghc pragmas which extend Haskell beyond the Haskell Report. I am sure I am not the first to ask. Caveat: on my part, I am not against innovation/extensions, but I don't like to see language bloat. This is not a negative/pegorative statement just a challenging one. Let's say that pragmas strong type your code. With the Haskell Report, you can parse a string into a certain block of code which does some kind of functionality. With these, you will get a different type that does prett ymuch the same thing. But these advanced types can also handle certain other tricks too. The philosophy is to use the pragmas then, as declarations so you know which parser to use, etc... It also lets people pass around blocks of data and know what to do with it, rather than relying on simple version numbers. Languages do pick up features all the time. If you're looking for a different perspective, it lets us strictly sort the extensions rather than relying on vague notions such as version number, 'from __future__ import *' (from python) or any of the other weird things you get when there are multiple revisions of a single language spec. In essence it's not that the language is any more bloated than what is normal, or you would still be using KR C to get your work done, because you were afraid of bloat. -Yaakov Nemoy ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Haskell philosophy question
On May 21, 2009, at 03:13 , Yaakov Nemoy wrote: you would still be using KR C to get your work done, because you were afraid of bloat. Actually you'd still be using BCPL. :) -- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allb...@kf8nh.com system administrator [openafs,heimdal,too many hats] allb...@ece.cmu.edu electrical and computer engineering, carnegie mellon universityKF8NH PGP.sig Description: This is a digitally signed message part ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Haskell philosophy question
Vasili I. Galchin schrieb: Hello, I am confused between Haskell as delineated in the Haskell Report VS ghc pragmas which extend Haskell beyond the Haskell Report. I am sure I am not the first to ask. Caveat: on my part, I am not against innovation/extensions, but I don't like to see language bloat. This is not a negative/pegorative statement just a challenging one. http://www.haskell.org/haskellwiki/Use_of_language_extensions ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Haskell philosophy question
Hello, I am confused between Haskell as delineated in the Haskell Report VS ghc pragmas which extend Haskell beyond the Haskell Report. I am sure I am not the first to ask. Caveat: on my part, I am not against innovation/extensions, but I don't like to see language bloat. This is not a negative/pegorative statement just a challenging one. Kind regards, vasili ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Haskell philosophy question
On May 17, 2009, at 02:32 , Vasili I. Galchin wrote: I am confused between Haskell as delineated in the Haskell Report VS ghc pragmas which extend Haskell beyond the Haskell Report. I am sure I am not the first to ask. Caveat: on my part, I am not against innovation/extensions, but I don't like to see language bloat. This is not a negative/pegorative statement just a challenging one. Remember that Haskell is *also* a research language; this means it regularly gets new features intended to allow research into various type system extensions. Some of these stick (the original type classes, and later multiple parameter type classes), some flop (linear implicit parameters), some hang around for a while before being replaced by something (hopefully) better (functional dependencies vs. type families). -- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allb...@kf8nh.com system administrator [openafs,heimdal,too many hats] allb...@ece.cmu.edu electrical and computer engineering, carnegie mellon universityKF8NH PGP.sig Description: This is a digitally signed message part ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe