From: "G.B." <bauhaus@futureapps.invalid>
Subject: Re: Haskell, anyone?
Date: Mon, 16 Nov 2015 14:59:50 +0100
Date: 2015-11-16T14:59:50+01:00 [thread overview]
Message-ID: <n2cncc$139$1@dont-email.me> (raw)
In-Reply-To: <14533506-4289-4148-b8c4-e970f5778b26@googlegroups.com>
On 16.11.15 11:25, Hadrien Grasland wrote:
> Whenever someone passes the wrong parameter to a C++ template library, that person is inundated by a wall of compiler diagnostics, sometimes thousands of lines long, and full of library implementation details. The reason why this is the case is that because type inference is used througout the whole code hierarchy, compilers can only detect errors at the very bottom of it. The error then needs to bubble up the code and module hierarchy, accumulating an enormous amount of diagnostic noise along the way.
Even accessibility check failures of Ada programs using anonymous
pointer types cannot come close to that! ;-)
next prev parent reply other threads:[~2015-11-16 13:59 UTC|newest]
Thread overview: 54+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-11-15 20:42 Haskell, anyone? mockturtle
2015-11-15 20:51 ` Paul Rubin
2015-11-15 20:53 ` Nasser M. Abbasi
2015-11-15 21:50 ` Mark Carroll
2015-11-15 22:11 ` mockturtle
2015-11-15 22:48 ` Nasser M. Abbasi
2015-11-15 23:05 ` Mark Carroll
2015-11-16 4:11 ` Paul Rubin
2015-11-16 5:17 ` Nasser M. Abbasi
2015-11-16 5:48 ` Paul Rubin
2015-11-16 5:59 ` Nasser M. Abbasi
2015-11-16 6:47 ` Paul Rubin
2015-11-16 8:45 ` Simon Wright
2015-11-16 14:38 ` Brian Drummond
2015-11-15 23:19 ` Jeffrey R. Carter
2015-11-16 9:36 ` J-P. Rosen
2015-11-16 18:14 ` Jeffrey R. Carter
2015-11-16 3:59 ` Paul Rubin
2015-11-16 8:33 ` Dmitry A. Kazakov
2015-11-16 9:33 ` mockturtle
2015-11-16 9:45 ` Paul Rubin
2015-11-16 10:25 ` Hadrien Grasland
2015-11-16 11:19 ` Simon Wright
2015-11-16 11:25 ` Hadrien Grasland
2015-11-16 13:59 ` G.B. [this message]
2015-11-16 20:24 ` Jeffrey R. Carter
2015-11-16 23:23 ` Paul Rubin
2015-11-17 8:26 ` Dmitry A. Kazakov
2015-11-17 9:10 ` Mark Carroll
2015-11-17 20:09 ` Dmitry A. Kazakov
2015-11-17 10:49 ` Hadrien Grasland
2015-11-17 12:01 ` G.B.
2015-11-17 16:43 ` Hadrien Grasland
2015-11-17 18:04 ` Paul Rubin
2015-11-17 21:42 ` Hadrien Grasland
2015-11-18 4:36 ` Paul Rubin
2015-11-18 8:48 ` Hadrien Grasland
2015-11-18 9:23 ` Paul Rubin
2015-11-18 10:44 ` Hadrien Grasland
2015-11-18 11:02 ` Dmitry A. Kazakov
2015-11-18 12:41 ` G.B.
2015-11-18 23:06 ` Randy Brukardt
2015-11-19 8:56 ` Hadrien Grasland
2015-11-19 9:19 ` Hadrien Grasland
2015-11-19 21:27 ` Randy Brukardt
2015-11-24 12:03 ` Jacob Sparre Andersen
2015-11-19 7:22 ` Paul Rubin
2015-11-19 9:39 ` Hadrien Grasland
2015-11-17 13:01 ` Thomas Løcke
2015-11-17 16:45 ` Hadrien Grasland
2015-11-18 0:11 ` Paul Rubin
2015-11-18 9:44 ` Hadrien Grasland
2015-12-06 12:59 ` David Thompson
2015-12-07 7:25 ` Hadrien Grasland
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox