Conversation

Notices

1. Embed this notice
   clacke (clacke@libranet.de)'s status on Tuesday, 07-May-2024 18:21:34 JST clacke

   Oh cool. OCaml 5, which came out 2 years ago, had a big update adding multicore support.

   I became aware because 5.2 RC 1 is out just now.

   OCaml is still on my to-learn list.

   • Linux Walt (@lnxw37j1) {3EB165E0-5BB1-45D2-9E7D-93B31821F864} and Sick Sun like this.
   • Embed this notice
     Elias Mårtenson (loke@functional.cafe)'s status on Tuesday, 07-May-2024 19:32:53 JST Elias Mårtenson

     in reply to

     @clacke You may want to look at MirageOS if you want to play with Ocaml. It itegrates quite well with Qubes OS in case you use it.

     clacke likes this.
   • Embed this notice
     clacke (clacke@libranet.de)'s status on Tuesday, 07-May-2024 19:32:56 JST clacke

     in reply to

     • Elias Mårtenson
     @loke All of these are things I have thought for years that they sound cool and I should check them out some time. 😅
   • Embed this notice
     clacke (clacke@libranet.de)'s status on Wednesday, 08-May-2024 00:10:11 JST clacke

     in reply to

     I put OCaml on my to-learn list in 2003.

     I got pretty close to actually doing it in 2018!

     Any year now.

     Linux Walt Alt (@lnxw37a2) {3EB165E0-5BB1-45D2-9E7D-93B31821F864} likes this.
   • Embed this notice
     clacke (clacke@libranet.de)'s status on Wednesday, 08-May-2024 00:16:46 JST clacke

     in reply to

     • AN/CRM-114

     @flyingsaceur Every since that someone with a blog decided that sml would be the language they'd use for a 100 years maintainable program, I've been interested in checking out sml too.

     *looks up Poly/ML*

   • Embed this notice
     AN/CRM-114 (flyingsaceur@ioc.exchange)'s status on Wednesday, 08-May-2024 00:16:47 JST AN/CRM-114

     in reply to

     @clacke i’ve been thinking about Poly/ML on the SML
     side for years

   • Embed this notice
     clacke (clacke@libranet.de)'s status on Wednesday, 08-May-2024 00:16:51 JST clacke

     in reply to

     • AN/CRM-114

     @flyingsaceur Oh, it's an entire independent implementation, plus a thread library.

     polyml.org/

     I thought SML/NJ was the only well-known one, but Poly/ML is mentioned on en.wikipedia.org/wiki/Standard… along with mlton.org/ .

   • Embed this notice
     AN/CRM-114 (flyingsaceur@ioc.exchange)'s status on Wednesday, 08-May-2024 00:17:00 JST AN/CRM-114

     in reply to

     @clacke i’m still in the dilettante phase, but i love that the best resources for the language are 25 year old books

     clacke likes this.
   • Embed this notice
     clacke (clacke@libranet.de)'s status on Wednesday, 08-May-2024 00:17:03 JST clacke

     in reply to

     • AN/CRM-114
     @flyingsaceur There is something to be said for finished software.
   • Embed this notice
     Fitheach (fitheach@mstdn.io)'s status on Wednesday, 08-May-2024 10:13:19 JST Fitheach

     in reply to

     @clacke
     Erm, same year as Linux on the Desktop?

     clacke likes this.
   • Embed this notice
     Thomas (tfb@functional.cafe)'s status on Wednesday, 08-May-2024 10:13:19 JST Thomas

     in reply to

     • Fitheach

     @fitheach @clacke Been writing OCaml on a Linux desktop off and on since before 2003 🙃

     clacke likes this.
   • Embed this notice
     clacke (clacke@libranet.de)'s status on Wednesday, 08-May-2024 10:13:51 JST clacke

     in reply to

     Can't find the article about the "hundred year program" or "centennial program".

     It's not the "hundred-year programmimg language" one by Paul Graham.

   • Embed this notice
     Fitheach (fitheach@mstdn.io)'s status on Wednesday, 08-May-2024 12:48:02 JST Fitheach

     in reply to

     • Thomas

     @tfb
     I'd like to see that represented by a Venn diagram. 😃

     @clacke

     clacke likes this.
   • Embed this notice
     Linux Walt (@lnxw37j1) {3EB165E0-5BB1-45D2-9E7D-93B31821F864} (lnxw37j1@gnusocial.jp)'s status on Wednesday, 08-May-2024 13:06:12 JST Linux Walt (@lnxw37j1) {3EB165E0-5BB1-45D2-9E7D-93B31821F864}

     in reply to
     #OCaml is on my list also. I'm also interested in SML, so I found it interesting that all the compilers you mentioned are things I've looked up within the past year or so.
     clacke likes this.
   • Embed this notice
     clacke (clacke@libranet.de)'s status on Wednesday, 08-May-2024 17:08:59 JST clacke

     in reply to

     • Linux Walt (@lnxw37j1) {3EB165E0-5BB1-45D2-9E7D-93B31821F864}
     @lnxw37j1 They're lurking in the layer just underneath the zeitgeist, biding their time. 😉