From: cross@spitfire.i.gajendra.net   
      
   In article <10fl5b7$2d2kq$1@dont-email.me>,   
   Arne Vajhøj   wrote:   
   >On 11/19/2025 1:19 PM, Dan Cross wrote:   
   >> In article <10fkvfr$2d2kr$1@dont-email.me>,   
   >> Arne Vajhøj   wrote:   
   >>> On 11/19/2025 11:12 AM, Dan Cross wrote:   
   >>>> In article <10fig54$1n41a$3@dont-email.me>,   
   >>>> Arne Vajhøj   wrote:   
   >>>>> Option is in fashion in recent years.   
   >>>>   
   >>>> Algebraic data types have been used in functional languages   
   >>>> since the 1970s, starting with the "Hope" language from   
   >>>> Edinburgh.  ML took them from Hope and popularized them, and   
   >>>> they leaked into Miranda, Haskell, and OCaml from there.  Now   
   >>>> many languages support them; even C++ (`std::optional`).   
   >>>>   
   >>>> Hope was first described in a paper in 1980, but the work of   
   >>>> course predated that.   
   >>>>   
   >>>> That makes them about as old as VMS, and older than Ada.  In   
   >>>> other words, they've been "In Fashion" since the 70s, which as   
   >>>> far as all things fashion goes, is a pretty good run;   
   >>>> particularly considering some of the things that were popular in   
   >>>> that decade.   
   >>>   
   >>> I would not consider Haskell, OCaml to ever have been in fashion.   
   >>   
   >> In your world of business software programming?  That's probably   
   >> true.  In the world of research and systems?  Definitely not   
   >> true.   
   >   
   >Hmm.   
   >   
   >I would say that the main area for Haskell and OCampl outside of   
   >university CS departments is in finance, which is business software.   
      
   Funny, I would say compiler development and hardware design (e.g   
   Bluespec).  The only finance folks I know of using e.g. OCaml   
   are Jane St; dunno about Haskell in that world, though Meta   
   was using it for their PHP compiler at one point.   
      
   Perhaps I should have said "enterprise software."  The point is   
   that you aren't going to see a lot of IT folks who are used to   
   Java or C# or COBOL or something similar slinging OCaml or   
   Haskell around.  Not many of them are writing compilers either,   
   though.   
      
   >Just still just a niche in those companies overall IT landscape.   
      
   I mean, Jane St uses OCaml for pretty much everything, but ok.   
   https://www.janestreet.com/tech-talks/ocaml-all-the-way-down/   
      
   Anyway, how about getting back to the point re: Ada and `Valid`?   
      
   	- Dan C.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)