+1
From: fonc-boun...@vpri.org [mailto:fonc-boun...@vpri.org] On Behalf Of Paul Homer Sent: Monday, December 31, 2012 3:09 PM To: fonc@vpri.org Subject: Re: [fonc] Linus Chews Up Kernel Maintainer For Introducing Userspace Bug - Slashdot Most programs are models of our irrational world. Reflections of rather informal systems that are inherently ambiguous and contradictory, just like our species. Nothing short of 'intelligence' could validate that those types of rules match their intended usage in the real world. If we don't build our internal systems models with this in mind, then they'd be too fragile to solve real problems for us. Like it or not, intelligence is a necessary ingredient, and we don't yet have any alternatives but ourselves to fill it. Paul. _____ From: Marcus G. Daniels <mar...@snoutfarm.com>; To: <fonc@vpri.org>; Subject: Re: [fonc] Linus Chews Up Kernel Maintainer For Introducing Userspace Bug - Slashdot Sent: Mon, Dec 31, 2012 7:50:13 PM On 12/31/12 12:25 PM, Carl Gundel wrote: "If there are contradictions in the design, the program shouldn't compile." How can a compiler know how to make sense of domain specific contradictions? I can only imagine the challenges we would face if compilers operated in this way. In the case of numerical method development, the math is represented in Mathematica (Maple, Sage, Macsyma, etc.) and simulations are done using the same or Matlab (Octave, Scipy, R, etc.). The foundational work is already a program. One practical way to advance the state of the art would be to ensure that the symbolic math packages had compilers that created executables that performed as well as Fortran. In general, I'm imagining more programmers adopting languages like Agda, Coq, and ATS, and elaborating their compilers and runtimes to be practical for programming in the large. Marcus
_______________________________________________ fonc mailing list fonc@vpri.org http://vpri.org/mailman/listinfo/fonc