Conversation

Notices

1. Devine Lu Ator (neauoire@merveilles.town)'s status on Friday, 23-Dec-2022 06:52:06 JST Devine Lu Ator

   So I had this idea a few days ago, which I likely do not have the computery words to explain properly, but it goes something like this:

   So, #forth has this syntax to define words which is just a comment saying what goes in, and what comes out. And I was wondering if I could use this in conjunction with the actual body of the routine while counting how many items are expected at the end of the routine, and throwing a warning when it doesn't match.

   Is it arity validator?

   https://en.m.wikipedia.org/wiki/Arity

   • ⛧ numerik ⛧ (d6@merveilles.town)'s status on Friday, 23-Dec-2022 06:52:02 JST ⛧ numerik ⛧

     in reply to

     • Zorro Notorious MEB 😡

     @AlgoCompSynth fwiw i don't think factor runs on the JVM (although i think a very old version of it did) @neauoire

   • Zorro Notorious MEB 😡 (algocompsynth@ravenation.club)'s status on Friday, 23-Dec-2022 06:52:03 JST Zorro Notorious MEB 😡

     in reply to

     @neauoire I never got interested in any of the languages built on the Java Virtual Machine. I had some bad experiences with managing the RAM usage of the runtime in turnkey systems running various dialects of Unix. In the end we had to replace the functionality and the whole JVM ecosystem soured for me.

   • Devine Lu Ator (neauoire@merveilles.town)'s status on Friday, 23-Dec-2022 06:52:04 JST Devine Lu Ator

     in reply to

     • Zorro Notorious MEB 😡

     @AlgoCompSynth it turns out Factor does and it's really well handled too, it won't even let you build the program if it's not equivalent. It also runs through loops and recursion which is shown as a warning.

     https://docs.factorcode.org/content/article-inference.html

   • Zorro Notorious MEB 😡 (algocompsynth@ravenation.club)'s status on Friday, 23-Dec-2022 06:52:05 JST Zorro Notorious MEB 😡

     in reply to

     @neauoire #Forth Stack comments! They are indeed comments only. A Forth compiler could build validity checks using them, but I don't know of any that do.

     vmgen, a sub-project of gforth, has a compiler that uses them in code generation.

     https://www.complang.tuwien.ac.at/anton/vmgen/

     gforth is an amazing package. The only thing I wish it had was a meta compiler for micro-controllers.

   • Zorro Notorious MEB 😡 (algocompsynth@ravenation.club)'s status on Friday, 23-Dec-2022 06:52:22 JST Zorro Notorious MEB 😡

     in reply to

     • ⛧ numerik ⛧

     @d6 @neauoire I should check on that - maybe it was Joy that ran / runs on the JVM. But two interesting languages, Scala and Clojure, definitely got my veto for JVM dependency.