Post AQsU2ZBBEWrtUkdBJI by neauoire@merveilles.town
(DIR) More posts by neauoire@merveilles.town
(DIR) Post #AQsU2UceAyrtMURXvc by neauoire@merveilles.town
2022-12-22T03:11:06Z
0 likes, 0 repeats
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
(DIR) Post #AQsU2VaCbYVULCJ6ky by AlgoCompSynth@ravenation.club
2022-12-22T05:30:01Z
0 likes, 0 repeats
@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.
(DIR) Post #AQsU2WSnKaAx4Vqhqi by neauoire@merveilles.town
2022-12-22T16:11:54Z
0 likes, 0 repeats
@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
(DIR) Post #AQsU2WyLRHPeeMbu1g by AlgoCompSynth@ravenation.club
2022-12-22T21:04:25Z
0 likes, 0 repeats
@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.
(DIR) Post #AQsU2XS7eZES8iXgRM by d6@merveilles.town
2022-12-22T21:18:54Z
0 likes, 0 repeats
@AlgoCompSynth fwiw i don't think factor runs on the JVM (although i think a very old version of it did) @neauoire
(DIR) Post #AQsU2Y5TIGhw6kx6m0 by AlgoCompSynth@ravenation.club
2022-12-22T21:35:18Z
0 likes, 0 repeats
@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.
(DIR) Post #AQsU2YqGUI8cRsqTi4 by AlgoCompSynth@ravenation.club
2022-12-22T21:16:43Z
0 likes, 0 repeats
@neauoire Besides, I'm a traditionalist when it comes to #Forth. Fig-Forth is almost an interactive macro-assembler and that's the mental model I'm familiar with.
(DIR) Post #AQsU2ZBBEWrtUkdBJI by neauoire@merveilles.town
2022-12-22T21:38:53Z
0 likes, 0 repeats
@AlgoCompSynth @d6 Joy is written in C, at least for the implementation I've been using.
(DIR) Post #AQsU2ZtUZmJViBMZNY by AlgoCompSynth@ravenation.club
2022-12-22T21:44:16Z
0 likes, 0 repeats
@neauoire @d6 Ah yes ... I should look at Joy some more. The Wikipedia description is intriguing.https://en.wikipedia.org/wiki/Joy_(programming_language)@d6 is right - Factor was originally on the JVM but isn't any more.https://en.wikipedia.org/wiki/Joy_(programming_language)But I still want a true interactive macro-assembler - a subroutine-threaded #Forth with inline CODE word capabilities.
(DIR) Post #AQsU2aQoZsy7NWxBJo by neauoire@merveilles.town
2022-12-22T21:46:43Z
1 likes, 1 repeats
@AlgoCompSynth @d6 Joy is fabulous, this is the post that really got me into it: https://dev.to/palm86/church-encoding-in-the-concatenative-language-joy-3nd8
(DIR) Post #AQsUIRtA6ij1W6mCTg by xerz@fedi.xerz.one
2022-12-22T21:50:40.024822Z
0 likes, 0 repeats
@AlgoCompSynth @neauoire fun fact: Hotspot/OpenJDK only started releasing memory back to the OS in version 12 released in 2019… but it does now so hey :blobcatshrug: