GNU social JP
  • FAQ
  • Login
GNU social JPは日本のGNU socialサーバーです。
Usage/ToS/admin/test/Pleroma FE
  • Public

    • Public
    • Network
    • Groups
    • Featured
    • Popular
    • People

Conversation

Notices

  1. Embed this notice
    clacke (clacke@libranet.de)'s status on Tuesday, 07-May-2024 18:21:34 JST clacke 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.

    In conversation about a year ago from libranet.de permalink
    • Linux Walt (@lnxw37j1) {3EB165E0-5BB1-45D2-9E7D-93B31821F864} and Fish of Rage 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 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.

      In conversation about a year ago permalink
      clacke likes this.
    • Embed this notice
      clacke (clacke@libranet.de)'s status on Tuesday, 07-May-2024 19:32:56 JST clacke 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. 😅
      In conversation about a year ago permalink
    • Embed this notice
      clacke (clacke@libranet.de)'s status on Wednesday, 08-May-2024 00:10:11 JST clacke 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.

      In conversation about a year ago permalink
      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 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*

      In conversation about a year ago permalink
    • Embed this notice
      AN/CRM-114 (flyingsaceur@ioc.exchange)'s status on Wednesday, 08-May-2024 00:16:47 JST AN/CRM-114 AN/CRM-114
      in reply to

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

      In conversation about a year ago permalink
    • Embed this notice
      clacke (clacke@libranet.de)'s status on Wednesday, 08-May-2024 00:16:51 JST clacke 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/ .

      In conversation about a year ago permalink

      Attachments


      1. No result found on File_thumbnail lookup.
        Standard
        Standard may refer to: Symbols Colours, standards and guidons, kinds of military signs Standard (emblem), a type of a large symbol or emblem used for identification Norms, conventions or requirements Standard (metrology), an object that bears a defined relationship to a unit of measure used for calibration of measuring devices Standard (timber unit), an obsolete measure of timber used in trade Breed standard (also called bench standard), in animal fancy and animal husbandry BioCompute Standard, a standard for next generation sequencing De facto standard, product or system with market dominance Gold standard, a monetary system based on gold; also used metaphorically for the best of several options, against which the others are measured Internet Standard, a specification ratified as an open standard by the Internet Engineering Task Force Learning standards, standards applied to education content Standard displacement...
      2. No result found on File_thumbnail lookup.
        MLton
    • Embed this notice
      AN/CRM-114 (flyingsaceur@ioc.exchange)'s status on Wednesday, 08-May-2024 00:17:00 JST AN/CRM-114 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

      In conversation about a year ago permalink
      clacke likes this.
    • Embed this notice
      clacke (clacke@libranet.de)'s status on Wednesday, 08-May-2024 00:17:03 JST clacke clacke
      in reply to
      • AN/CRM-114
      @flyingsaceur There is something to be said for finished software.
      In conversation about a year ago permalink
    • Embed this notice
      Fitheach (fitheach@mstdn.io)'s status on Wednesday, 08-May-2024 10:13:19 JST Fitheach Fitheach
      in reply to

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

      In conversation about a year ago permalink
      clacke likes this.
    • Embed this notice
      Thomas (tfb@functional.cafe)'s status on Wednesday, 08-May-2024 10:13:19 JST Thomas Thomas
      in reply to
      • Fitheach

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

      In conversation about a year ago permalink
      clacke likes this.
    • Embed this notice
      clacke (clacke@libranet.de)'s status on Wednesday, 08-May-2024 10:13:51 JST clacke 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.

      In conversation about a year ago permalink
    • Embed this notice
      Fitheach (fitheach@mstdn.io)'s status on Wednesday, 08-May-2024 12:48:02 JST Fitheach Fitheach
      in reply to
      • Thomas

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

      @clacke

      In conversation about a year ago permalink
      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} 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.
      In conversation about a year ago permalink
      clacke likes this.
    • Embed this notice
      clacke (clacke@libranet.de)'s status on Wednesday, 08-May-2024 17:08:59 JST clacke 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. 😉
      In conversation about a year ago permalink

Feeds

  • Activity Streams
  • RSS 2.0
  • Atom
  • Help
  • About
  • FAQ
  • TOS
  • Privacy
  • Source
  • Version
  • Contact

GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.