Gregory's Server
(list (amb 1 2 3) (amb 'a 'b))
can have six possible values:
(1 a) (1 b) (2 a) (2 b) (3 a) (3 b)
|
Show previous comments
@neauoire no shade on your code, i think it is fascinating and i love it but to be fair to the prolog version, it implements a computer player, using the minmax algorithm to compute the best next move not that you couldn't do it in modal! i'd love to see it in fact. betting it will still be way more concise and readable than the prolog version Anarchy means not necessarily the absence of order but an absence of rule.  @neauoire i do believe anarchism needs a lot of mechanisms well known to everyone to organize and coordinate in case it becomes necessary. I'm collecting all the named stack combinators, if you know of some that are not in the list, or know alternate names for some of these, send them over with the name of the #concat language you found them in. Thank you!
Show previous comments
 @neauoire
[DATA EXPUNGED]
[DATA EXPUNGED]
For a few years, I have had Vogue covers assigned to the various programming languages documented on xxiivv, unfortunately rick owens has never done a vogue cover or this would be the one for the Modal language.  @neauoire   @neauoire first disappointed as i lean in to discover that this is, in fact, broccoli; but then slightly impressed as i have never seen purple broccoli before.  So I didn't hallucinate, someone at the gym was playing a new Empire Of The Sun track, it's true, summer must be here now. 🌻
Show previous comments
@neauoire @wryl I guess you're aware of XL, the language behind https://tao3d.sourceforge.net/ If so, could you comment on the differences for those that, like me, aren't familiar with rewriting languages?  @neauoire @wryl Bug report for the ANSI C implementation: $ cat x.modal .. (1 2 3) (4 5 6) swap pop dup $ gcc -g modal.c -o modal && ./modal x.modal 02 .. (4 5 6) dup 00 .. (4 5 6) <> (?x dup) (?x ?x) Thankful for excellent music and that second coffee :eyes_fast: "In her translator's note on an article on Babbage's computer, Ada Lovelace becomes the first person to clearly see that programming a computer is a distinct discipline from building the computer itself. This hardware/software distinction will be so well known as to seem obvious."  And soon thereafter, was born the age old support statement: 🤔 😉 Tudor sat at the piano and opened the keylid, after which he did nothing until he closed it over a minute later. He repeated this sequence twice, at which point the performance, which had taken four minutes and thirty-three seconds, was finished. Most people did not understand what they had just witnessed, and some did not realize anything had actually happened. One listener reacted: “It sounds a great deal better than the majority of music that is sold today.” going to a john cage performance to get some peace and fucking quiet, 5/5, worth the $60 ticket |
@neauoire I love amb. It’s a good gateway drug to probabilistic programming.
@neauoire A bit like junctions in Raku:
1|2|3, 'a'|'b'
@neauoire Has a #Java2k feel to it?