Notices by AlgoCompSynth by znmeb (algocompsynth@social.toplap.org)

@mos_8502 @jacqueline With RISC architectures I don't think assembly is that much faster than C - the architectures are designed to profiles of highly-used C code. 😉

But for CISC or LIW or VLIW or SIMD/SIMT, yeah, compilers are going to outperform humans on most code generation tasks, and when you factor in rework on assembly code bugs that a compiler would catch, it's no contest.

But macro assembly programming is *fun* - I learned programming in macro assembly and I'm still doing it to this day on a Raspberry Pi Pico. If one wants to go down that rabbit hole, I highly recommend Stephen Smith's Apress books on the subject.

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

@mcc Living dangerously, eh? 😉

@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.

@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++.