On Sun, Apr 14, 2013 at 7:53 PM, Kim-Ee Yeoh k...@atamo.com wrote:
On Sun, Apr 14, 2013 at 3:28 PM, wren ng thornton w...@freegeek.org wrote:
Whereas the problematic
values due to infinities are overspecified, so no matter which answer you
pick it's guaranteed to be the wrong answer half the
On Mon, Mar 11, 2013 at 9:33 PM, Isaac Dupree
m...@isaac.cedarswampstudios.org wrote:
On 03/11/2013 07:04 PM, Simon Peyton-Jones wrote:
Aha. It is indeed true that
ghc -fdefer-type-errors -w
does not suppress the warnings that arise from the type errors;
indeed there is no current way to
On Mon, Feb 11, 2013 at 2:46 AM, Joachim Breitner
m...@joachim-breitner.de wrote:
Hi,
one remedy to the problem could be better infrastructure:
* More automated test-building of packages on hackage (including
test suites) with various GHC releases, and better display of
On Sun, Feb 10, 2013 at 3:30 PM, Simon Peyton-Jones
simo...@microsoft.com wrote:
| You may ask what use is a GHC release that doesn't cause a wave of
updates?
| And hence that doesn't work with at least some libraries. Well, it's a
very useful
| forcing function to get new features
On Mon, Feb 11, 2013 at 5:03 PM, Johan Tibell johan.tib...@gmail.com wrote:
Hi,
I think reducing breakages is not necessarily, and maybe not even primarily,
an issue of releases. It's more about realizing that the cost of breaking
things (e.g. changing library APIs) has gone up as the Haskell
On Mon, Feb 11, 2013 at 6:37 PM, Johan Tibell johan.tib...@gmail.com wrote:
On Mon, Feb 11, 2013 at 4:34 PM, Gabriel Dos Reis
g...@integrable-solutions.net wrote:
I have some experience with GCC releases -- having served as a GCC
Release Manager for several years. In fact, the release scheme
On Sun, Feb 10, 2013 at 3:16 PM, Ian Lynagh i...@well-typed.com wrote:
On Sun, Feb 10, 2013 at 09:02:18PM +, Simon Peyton-Jones wrote:
You may ask what use is a GHC release that doesn't cause a wave of updates?
And hence that doesn't work with at least some libraries. Well, it's a very
On Mon, Mar 26, 2012 at 5:08 AM, Christian Siefkes
christ...@siefkes.net wrote:
On 03/26/2012 02:39 AM, Gabriel Dos Reis wrote:
True, but should the language definition default to a string type
that is one the most unsuited for text processing in the 21st
century where global multilingualism
On Mon, Mar 26, 2012 at 8:35 AM, Gábor Lehel illiss...@gmail.com wrote:
On Sun, Mar 25, 2012 at 5:19 AM, Greg Weber g...@gregweber.info wrote:
On Sat, Mar 24, 2012 at 7:26 PM, Gabriel Dos Reis
g...@integrable-solutions.net wrote:
On Sat, Mar 24, 2012 at 9:09 PM, Greg Weber g...@gregweber.info
On Mon, Mar 26, 2012 at 9:21 AM, Greg Weber g...@gregweber.info wrote:
Can anyone explain how the tangent discussion of the finer points of
Unicode and the value of teaching [Char] is relevant to the proposal
under discussion? We aren't going to completely eliminate String and
break most
On Sun, Mar 25, 2012 at 2:08 PM, Edward Kmett ekm...@gmail.com wrote:
On Sun, Mar 25, 2012 at 11:42 AM, Gabriel Dos Reis
g...@integrable-solutions.net wrote:
Perhaps we are underestimating their competences and are
complicating their lives unnecessarily...
Have you ever actually taught
On Sun, Mar 25, 2012 at 2:08 PM, Edward Kmett ekm...@gmail.com wrote:
If anything we delude ourselves by overestimating the ability of kids just
shortly out of highschool to assimilate an entire new worldview in a couple
of weeks while they are distracted by other things. Any additional
On Sun, Mar 25, 2012 at 4:03 PM, Daniel Peebles pumpkin...@gmail.com wrote:
On Sun, Mar 25, 2012 at 3:47 PM, Gabriel Dos Reis
g...@integrable-solutions.net wrote:
We are doing our students no favor, no good, in being condescending to
them pretending that they can't handle teaching material
On Sun, Mar 25, 2012 at 6:54 PM, Henrik Nilsson n...@cs.nott.ac.uk wrote:
In any case, this is hardly the place to to discuss how to best
teach Haskell or programming in general.
Sure, I haven't seen any disagreement with that.
Note however that the pedagogical arguments was brought
in as
On Sat, Mar 24, 2012 at 5:33 PM, Freddie Manners f.mann...@gmail.com wrote:
To add my tuppence-worth on this, addressed to no-one in particular:
(1) I think getting hung up on UTF-8 correctness is a distraction here. I
can't imagine anyone suggesting that the C/C++ standards removed support
On Sat, Mar 24, 2012 at 6:00 PM, Johan Tibell johan.tib...@gmail.com wrote:
C++'s char* is morally equivalent of our ByteString, not Text. There's
no standardized C++ Unicode string type, ICU's UnicodeString is
perhaps the closest to one.
Hmm, std::u16string, std::u23string, and std::wstring
On Sat, Mar 24, 2012 at 9:09 PM, Greg Weber g...@gregweber.info wrote:
# Switching to Text by default makes us embarrassed!
Text processing /is/ quick to embarrassment :-)
Problem: we want to write beautiful (and possibly inefficient) code
that is easy to explain. If nothing else, this is
On Tue, Mar 20, 2012 at 5:37 PM, Iavor Diatchki
iavor.diatc...@gmail.com wrote:
Hello,
So I looked at what GHC does with Unicode and to me it is seems quite
reasonable:
* The alphabet is Unicode code points, so a valid Haskell program is
simply a list of those.
* Combining characters are
On Mon, Mar 19, 2012 at 4:34 AM, Simon Marlow simon...@microsoft.com wrote:
On Fri, Mar 16, 2012 at 6:49 PM, Ian Lynagh ig...@earth.li wrote:
Hi Gaby,
On Fri, Mar 16, 2012 at 06:29:24PM -0500, Gabriel Dos Reis wrote:
OK, thanks! I guess a take away from this discussion is that what
On Mon, Mar 19, 2012 at 5:36 AM, Brandon Allbery allber...@gmail.com wrote:
On Mon, Mar 19, 2012 at 05:56, Gabriel Dos Reis
g...@integrable-solutions.net wrote:
The fact that the Report is silent about encoding used to
represent concrete Haskell programs in text files adds
a certain level
On Fri, Mar 16, 2012 at 6:49 PM, Ian Lynagh ig...@earth.li wrote:
Hi Gaby,
On Fri, Mar 16, 2012 at 06:29:24PM -0500, Gabriel Dos Reis wrote:
OK, thanks! I guess a take away from this discussion is that what
is a punctuation is far less well defined than it appears...
I'm not really sure
Hi,
The lexical structure chapter defines the non-terminal uniSymbol as
uniSymbol ::= any Unicode symbol or punctuation
There is a slight ambiguity here: is that description supposed to
be parsed as:
(a) Unicode (symbol or punctuation), or
(b) (Unicode symbol) or punctuation?
If
On Fri, Mar 16, 2012 at 1:18 PM, Brandon Allbery allber...@gmail.com wrote:
On Fri, Mar 16, 2012 at 14:08, Gabriel Dos Reis
g...@integrable-solutions.net wrote:
The lexical structure chapter defines the non-terminal uniSymbol as
uniSymbol ::= any Unicode symbol or punctuation
On Fri, Mar 16, 2012 at 3:22 PM, Brandon Allbery allber...@gmail.com wrote:
On Fri, Mar 16, 2012 at 15:20, Gabriel Dos Reis
g...@integrable-solutions.net wrote:
I believe this part has seen very little change from the Revised
Haskell 98 Report.
I was in fact looking at the Haskell 98
On Fri, Mar 16, 2012 at 6:00 PM, Malcolm Wallace malcolm.wall...@me.com wrote:
no purpose to a completely overlapping category unless it is intended to
relate to an earlier standard (say Haskell 1.4).
I believe all Haskell Reports, even since 1.0, have specified that the
language uses
Hi,
The page with link
http://www.haskell.org/hierarchical-modules/
from
http://hackage.haskell.org/trac/haskell-prime/wiki/HierarchicalModules
is broken (404 error).
Thanks,
-- Gaby
___
Haskell-prime mailing list
Haskell-prime@haskell.org
On Thu, Mar 1, 2012 at 8:38 AM, Ian Lynagh ig...@earth.li wrote:
On Thu, Mar 01, 2012 at 07:58:42AM +, AntC wrote:
SORF's whadyoumaycalls are at the Kind level. (I'm not opposed to them
because
they're new-fangled, I'm opposed because I can't control the namespace.)
I haven't followed
Laurent Deniau [EMAIL PROTECTED] writes:
[...]
| About the libraries, I should say that I was a bit disappointed by the
| common use of the terms genericity and polymorphism (even in
| books). For example I have read many times that length is
| polymorphic or generic while it only computes the
Bulat Ziganshin [EMAIL PROTECTED] writes:
| Hello Gabriel,
|
| Sunday, August 20, 2006, 8:26:30 AM, you wrote:
|
| | There is a major difference though, in C++ (or java, or sather, or c#,
| | etc..) the dictionary is always attached to the value, the actual class
| | data type you pass
John Meacham [EMAIL PROTECTED] writes:
| I was mainly specifically comparing haskell to standard OOP classes,
|
| Most OOP languages certainly have some set of other features in addition,
| such as forms of ad hoc polymorphism or the template meta-language of
| C++, or the code reuse primitives
John Meacham [EMAIL PROTECTED] writes:
| On Tue, Aug 15, 2006 at 08:36:28PM +0200, Gabriel Dos Reis wrote:
| Roughly Haskell type classes correspond to parameterized abstract
| classes in C++ (i.e. class templates with virtual functions
| representing the operations). Instance declarations
Bulat Ziganshin [EMAIL PROTECTED] writes:
| Hello Thomas,
|
| Friday, August 18, 2006, 7:57:13 AM, you wrote:
|
| There is a major difference though, in C++ (or java, or sather, or c#,
| etc..) the dictionary is always attached to the value, the actual class
| data type you pass around. in
Bulat Ziganshin [EMAIL PROTECTED] writes:
| Hello John,
|
| Friday, August 18, 2006, 5:16:45 AM, you wrote:
|
| There is a major difference though, in C++ (or java, or sather, or c#,
| etc..) the dictionary is always attached to the value, the actual class
| data type you pass around. in
Bulat Ziganshin [EMAIL PROTECTED] writes:
| Hello Gabriel,
|
| Tuesday, August 15, 2006, 10:36:28 PM, you wrote:
|
| | Moreover, Haskell type classes supports inheritance. Run-time
| | polymorphism together with inheritance are often seen as OOP
| | distinctive points, so during long time i
Bulat Ziganshin [EMAIL PROTECTED] writes:
[...]
| Moreover, Haskell type classes supports inheritance. Run-time
| polymorphism together with inheritance are often seen as OOP
| distinctive points, so during long time i considered type classes as a
| form of OOP implementation. but that's wrong!
Wolfgang Jeltsch [EMAIL PROTECTED] writes:
| Am Montag, 20. Juni 2005 11:46 schrieben Sie:
| Wolfgang Jeltsch wrote:
| can anybody tell me what the German translation of the word kind as
| used in type theory and especially in Haskell is?
|
| Even Peter Thiemann in Grundlagen der
David Bergman [EMAIL PROTECTED] writes:
| The idea that I've been throwing around is to be able to define a
| separate namespace for each type; a function can either belong in a
| global (default) namespace, or belong in a particular type's
| namespace. So, in the above example, instead
Fergus Henderson [EMAIL PROTECTED] writes:
| Even the C++ standard library itself, which has been
| subject to review by the world's best C++ experts, suffers
| from exception safety problems. A new exception safety
| problem with std::auto_ptr was discovered just last Friday! See
|
38 matches
Mail list logo
