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
    AlgoCompSynth by znmeb (algocompsynth@social.toplap.org)'s status on Saturday, 09-Mar-2024 21:36:04 JST AlgoCompSynth by znmeb AlgoCompSynth by znmeb
    in reply to
    • mcc

    @mcc I was exposed to Idris a few years ago. It looked cool but TBH I'm of the "learn everything you can about one language" school, which in my case is R (24 years and counting).

    But getting into microcontrollers sent me back to Forth. As far as I know there's only uLisp for functional programming on microcontrollers. Sadly, there are zero re-usable libraries for microcontrollers in Forth or uLisp; for that you need C or C++.

    In conversation Saturday, 09-Mar-2024 21:36:04 JST from social.toplap.org permalink
    • clacke likes this.
    • Embed this notice
      mcc (mcc@mastodon.social)'s status on Saturday, 09-Mar-2024 21:36:05 JST mcc mcc
      in reply to

      @AlgoCompSynth ocaml isn't so bad. it's lacking a couple of the nice things from sml and most of the things it adds are either highly dubious ideas or are extremely useful but are such batshit deep math you'll never use them, but it's not so bad, the package/tooling ecosystem is actually good, PPXes are nice.

      A lot of people seem to think the thing after Haskell is Idris.

      In conversation Saturday, 09-Mar-2024 21:36:05 JST permalink
    • Embed this notice
      AlgoCompSynth by znmeb (algocompsynth@social.toplap.org)'s status on Saturday, 09-Mar-2024 21:36:06 JST AlgoCompSynth by znmeb AlgoCompSynth by znmeb
      in reply to
      • mcc

      @mcc Every time I say, "This year I'm going to learn a modern functional language" the choices seem to boil down to OCaml and Haskell, or maybe Clojure. Or just write Lisp code again.

      In conversation Saturday, 09-Mar-2024 21:36:06 JST permalink
    • Embed this notice
      AlgoCompSynth by znmeb (algocompsynth@social.toplap.org)'s status on Saturday, 09-Mar-2024 21:36:07 JST AlgoCompSynth by znmeb AlgoCompSynth by znmeb
      in reply to
      • mcc

      @mcc Living dangerously, eh? 😉

      In conversation Saturday, 09-Mar-2024 21:36:07 JST permalink
    • Embed this notice
      mcc (mcc@mastodon.social)'s status on Saturday, 09-Mar-2024 21:36:08 JST mcc mcc
      in reply to

      @AlgoCompSynth I'm trying to run a piece of software from 2010

      In conversation Saturday, 09-Mar-2024 21:36:08 JST permalink
    • Embed this notice
      AlgoCompSynth by znmeb (algocompsynth@social.toplap.org)'s status on Saturday, 09-Mar-2024 21:36:09 JST AlgoCompSynth by znmeb AlgoCompSynth by znmeb
      • mcc

      @mcc Possibly related - your post is the first time I've heard someone mention Standard ML of New Jersey in maybe a decade.

      In conversation Saturday, 09-Mar-2024 21:36:09 JST 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.