Groups | Search | Server Info | Login | Register

Groups > comp.os.vms > #378194

Re: Unsafe code blocks

From cross@spitfire.i.gajendra.net (Dan Cross)
Newsgroups comp.os.vms
Subject Re: Unsafe code blocks
Date 2025-11-19 19:49 +0000
Organization PANIX Public Access Internet and UNIX, NYC
Message-ID <10fl70e$gua$1@reader2.panix.com> (permalink)
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>

Show all headers | View raw

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.

Back to comp.os.vms | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Unsafe code blocks Simon Clubley <clubley@remove_me.eisner.decus.org-Earth.UFP> - 2025-11-13 14:04 +0000
  Re: Unsafe code blocks Arne Vajhøj <arne@vajhoej.dk> - 2025-11-13 15:44 -0500
  Re: Unsafe code blocks Marc Van Dyck <marc.gr.vandyck@invalid.skynet.be> - 2025-11-14 12:14 +0100
    Re: Unsafe code blocks John Reagan <johnrreagan@earthlink.net> - 2025-11-14 11:47 -0500
      Re: Unsafe code blocks Arne Vajhøj <arne@vajhoej.dk> - 2025-11-14 14:02 -0500
        Re: Unsafe code blocks Marc Van Dyck <marc.gr.vandyck@invalid.skynet.be> - 2025-11-17 09:25 +0100
          Re: Unsafe code blocks Arne Vajhøj <arne@vajhoej.dk> - 2025-11-17 14:58 -0500
            Re: Unsafe code blocks Chris Townley <news@cct-net.co.uk> - 2025-11-17 20:11 +0000
              Re: Unsafe code blocks Arne Vajhøj <arne@vajhoej.dk> - 2025-11-17 15:47 -0500
            Re: Unsafe code blocks cross@spitfire.i.gajendra.net (Dan Cross) - 2025-11-18 13:10 +0000
      Re: Unsafe code blocks Lawrence D’Oliveiro <ldo@nz.invalid> - 2025-11-14 19:32 +0000
    Re: Unsafe code blocks Arne Vajhøj <arne@vajhoej.dk> - 2025-11-14 13:55 -0500
      Re: Unsafe code blocks Arne Vajhøj <arne@vajhoej.dk> - 2025-11-14 20:00 -0500
        Re: Unsafe code blocks Simon Clubley <clubley@remove_me.eisner.decus.org-Earth.UFP> - 2025-11-17 18:56 +0000
          Re: Unsafe code blocks Arne Vajhøj <arne@vajhoej.dk> - 2025-11-17 14:22 -0500
  Re: Unsafe code blocks cross@spitfire.i.gajendra.net (Dan Cross) - 2025-11-16 02:16 +0000
    Re: Unsafe code blocks Simon Clubley <clubley@remove_me.eisner.decus.org-Earth.UFP> - 2025-11-17 19:22 +0000
      Re: Unsafe code blocks Arne Vajhøj <arne@vajhoej.dk> - 2025-11-17 14:55 -0500
        Re: Unsafe code blocks Simon Clubley <clubley@remove_me.eisner.decus.org-Earth.UFP> - 2025-11-17 20:33 +0000
          Re: Unsafe code blocks Arne Vajhøj <arne@vajhoej.dk> - 2025-11-17 15:55 -0500
      Re: Unsafe code blocks cross@spitfire.i.gajendra.net (Dan Cross) - 2025-11-18 12:54 +0000
    Re: Unsafe code blocks Arne Vajhøj <arne@vajhoej.dk> - 2025-11-18 14:04 -0500
      Re: Unsafe code blocks Arne Vajhøj <arne@vajhoej.dk> - 2025-11-18 14:07 -0500
        Re: Unsafe code blocks cross@spitfire.i.gajendra.net (Dan Cross) - 2025-11-19 16:12 +0000
          Re: Unsafe code blocks Michael S <already5chosen@yahoo.com> - 2025-11-19 19:29 +0200
            Re: Unsafe code blocks cross@spitfire.i.gajendra.net (Dan Cross) - 2025-11-19 19:00 +0000
          Re: Unsafe code blocks Arne Vajhøj <arne@vajhoej.dk> - 2025-11-19 12:41 -0500
            Re: Unsafe code blocks cross@spitfire.i.gajendra.net (Dan Cross) - 2025-11-19 18:19 +0000
              Re: Unsafe code blocks Arne Vajhøj <arne@vajhoej.dk> - 2025-11-19 14:21 -0500
                Re: Unsafe code blocks cross@spitfire.i.gajendra.net (Dan Cross) - 2025-11-19 19:49 +0000
      Re: Unsafe code blocks cross@spitfire.i.gajendra.net (Dan Cross) - 2025-11-19 16:02 +0000
        Re: Unsafe code blocks Arne Vajhøj <arne@vajhoej.dk> - 2025-11-19 20:26 -0500
          Re: Unsafe code blocks Arne Vajhøj <arne@vajhoej.dk> - 2025-11-19 20:31 -0500
          Re: Unsafe code blocks Arne Vajhøj <arne@vajhoej.dk> - 2025-11-19 21:32 -0500
          Re: Unsafe code blocks cross@spitfire.i.gajendra.net (Dan Cross) - 2025-11-20 11:54 +0000
            Re: Unsafe code blocks Arne Vajhøj <arne@vajhoej.dk> - 2025-11-20 19:18 -0500
              Re: Unsafe code blocks cross@spitfire.i.gajendra.net (Dan Cross) - 2025-11-21 03:03 +0000

csiph-web