Re: [Haskell-cafe] Re: State of OOP in Haskell
Benjamin Franksen wrote: [EMAIL PROTECTED] wrote: Here are two surveys (somewhat outdated) on the use of formal methods in industry: http://citeseer.ifi.unizh.ch/39426.html http://citeseer.ifi.unizh.ch/craigen93international.html Both of these links are dead. Could you post author and title? Those are alive at the moment of email composing: http://citeseer.ist.psu.edu/39426.html *An International Survey of Industrial Applications of Formal Methods: Volume 1 Purpose, Approach, Analysis, and Conclusions (1993)* Dan Craigen, Susan Gerhart, Ted Ralston http://citeseer.ist.psu.edu/craigen93international.html *An International Survey of Industrial Applications of Formal Methods Volume 2 Case Studies (1993)* Dan Craigen, Susan Gerhart, Ted Ralston ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Re: State of OOP in Haskell
Hello Benjamin, Wednesday, January 31, 2007, 1:28:09 AM, you wrote: > course people /like/ to think of 'objects' and their 'behavior' etc., > it /is/ a very intuituive approach, because it is the way we are used to > think. Unfortunately that doesn't necessarily make it effective for precise > reasoning about the large and complex digital systems we are constructing. > It may, in fact, be more effective to short-cut all these centuries (if not > millenia) old thinking habits and cut straight to the chase: see programs > as formulas to be reasoned about with formal methods (such as equational > reasoning, which is a particularly good fit for Haskell with its equational > notation and pure functional semantics). this drives us to the central problem - are computers created to makes people's lives easier or peoples created to make computers more productive? ;) -- Best regards, Bulatmailto:[EMAIL PROTECTED] ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Re: State of OOP in Haskell
Hello Al, Tuesday, January 30, 2007, 6:01:16 PM, you wrote: > Design of functional programs is very bottom-up. The general plan is to > identify the primitives for your domain and embed them in the language, oh, really? may be i'm using Haskell in OOP way? :) i strongly prefer to use top-down style for application programming - i.e. i solve problem introducing auxiliary functions, then fill up these functions and so on recursively i use bottom-up style for library development, though, adding more and more higher-level functionality as library evolves -- Best regards, Bulatmailto:[EMAIL PROTECTED] ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
