Path: csiph.com!weretis.net!feeder9.news.weretis.net!panix!.POSTED.spitfire.i.gajendra.net!not-for-mail
From: cross@spitfire.i.gajendra.net (Dan Cross)
Newsgroups: comp.os.vms
Subject: Re: Unsafe code blocks
Date: Wed, 19 Nov 2025 19:49:34 -0000 (UTC)
Organization: PANIX Public Access Internet and UNIX, NYC
Message-ID: <10fl70e$gua$1@reader2.panix.com>
References: <10f4oi1$25lkk$2@dont-email.me> <10fkvfr$2d2kr$1@dont-email.me> <10fl1n1$o5v$1@reader2.panix.com> <10fl5b7$2d2kq$1@dont-email.me>
Injection-Date: Wed, 19 Nov 2025 19:49:34 -0000 (UTC)
Injection-Info: reader2.panix.com; posting-host="spitfire.i.gajendra.net:166.84.136.80"; logging-data="17354"; mail-complaints-to="abuse@panix.com"
X-Newsreader: trn 4.0-test77 (Sep 1, 2010)
Originator: cross@spitfire.i.gajendra.net (Dan Cross)
Xref: csiph.com comp.os.vms:378194

In article <10fl5b7$2d2kq$1@dont-email.me>,
Arne Vajhøj  <arne@vajhoej.dk> wrote:
>On 11/19/2025 1:19 PM, Dan Cross wrote:
>> In article <10fkvfr$2d2kr$1@dont-email.me>,
>> Arne Vajhøj  <arne@vajhoej.dk> wrote:
>>> On 11/19/2025 11:12 AM, Dan Cross wrote:
>>>> In article <10fig54$1n41a$3@dont-email.me>,
>>>> Arne Vajhøj  <arne@vajhoej.dk> 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.