6 ms·
Perhaps it is impossible but I'd love to see a Quine in this language
by throwaway0665 3y ago
Perhaps it is impossible but I'd love to see a Quine in this language
- suphisys 3y agoI'm a professional composer and amateur programmer. I've been trying to write a Quine in Velato, but seems impossible to me. Source code in Velato are MIDI files, but output is plain text. In order to create a Quine you must design a MIDI that outputs text pseudo code (in Guido, Lilypond, etc. notation) which, when converted back to MIDI will yield the original Midi file. However every print char command in Velato requires at least 8 notes (in MIDI). So there's not a 1 to 1 correspondence like in other programming languages Quines. I'm no computer scientist here but this seems impossible to me.
- Y_Y 3y agoI believe all but severely limited languages are forced to admit quines, see e.g. https://math.stackexchange.com/questions/3982278/the-fixed-point-theorem-predicts-the-existence-of-quines https://math.stackexchange.com/questions/3982278/the-fixed-p...
- xpointer 3y agoHi, I'm the creator of Velato. I will be reworking the website to include more examples later this year. In the mean time, the latest version of the compiler is on github: https://github.com/rottytooth/Velato https://github.com/rottytooth/Velato No one has yet written a quine although I would love to see one -- perhaps outputting its representation in lilypond format.
- Rochus 3y agoSince you're the author I can ask you directly, what the purpose is of the language. Why did you choose MIDI as a form of representation? What kind of programs are you implementing with it? Where are these programs supposed to be executed, on MIDI instruments?
- lieuwex 3y agoFor fun I suppose? See: esoteric programming languages
- xpointer 3y agoI first made the language (fifteen years ago!) out of curiosity about esolangs and as a first try at writing a compiler. And for fun, yes. Since then, I've written more about multicoding -- the way two readings of code impact each other -- and thought more about the music that results (some links in my comment below). This is the aspect of the language that interests me now. I chose MIDI since it's a standard and leaves to the programmer the choice of tool to compose the program. There's an IDE in the works geared for live performance of the language (that will not be MIDI, but not ready to say yet how it will work; it has the same lexicon but is quite a different language in practice).
- Rochus 3y agoI see, thanks. But is Velato actually conceived to create music, or is the music just a "random" byproduct?
- velcrovan 3y agoFrom the top of the original link: > “Velato offers an unusual challenge to programmer-musicians: to compose a musical piece that, in addition to expressing their aims musically, fills the constraints necessary to compile to a working Velato program.” It seems like Velato’s purpose is to provide an unusual and interesting creative constraint for people who can both code and write music.
- otikik 3y agoThis is a very creative project, congratulations! One obvious step is to try to make it bootstrapped. Have the velato compiler be a velato.mid file.
- WillAdams 3y agoHave you ever read Hermann Hesse's _The Glass Bead Game_? (also published as _Magister Audi_) Every time I see alternative representations of knowledge/computer code/algorithms it comes to mind. Would you expect a person to be able to achieve a mastery of this to the point where they could play and control something in an improvisation? Say something like to the character Agatha Heterodyne of Kaja and Phil Foglio's web comic _Girl Genius_ controlling an army of clanks (robots): https://www.girlgeniusonline.com/comic.php?date=20061229 https://www.girlgeniusonline.com/comic.php?date=20061229
- xpointer 3y agoFunny you should ask; someone interviewed me about a few of my esolangs for their dissertation last year and referenced the Glass Bead Game. It would take a lot of practice to improvise Velato, but that would be amazing!
- WillAdams 3y agoThere are times when I worry that the ubiquity of computers is crushing experimentation in computer interface concepts.
- WillAdams 3y ago_Magister Ludi_ (stupid auto-correct)
- tutfbhuf 3y agoIs there any reason why your website does not support HTTPS?
- cmiller1 3y agoI wish more websites were still HTTP! I can't access most of the modern web from my vintage computers and I see no reason I need security on websites I'm not logging into.
- tutfbhuf 3y agoEven for non-login sessions, HTTPS is key. It isn't just about credential protection. It guards against data tampering in transit and is therefore crucial for end-to-end data integrity. What you are saying is basically that you don't care about integrity, fair enough, but many people including me do.
- xpointer 3y agoIt will move to https when I update it later this year
- Optimal_Persona 3y agoExtra meta-bonus points if the quine's MIDI notes are from a transcription of a Robert Quine guitar solo! Fascinating project, xpointer!
- lcnPylGDnU4H9OF 3y agoA game that is programmed by the music in the game. Something tells me such music would sound a little odd.