What a simple world it would be, if only it were not for Weakening and Contraction!
https://homepages.inf.ed.ac.uk/wadler/papers/linearuse/linearuse.ps
What a simple world it would be, if only it were not for Weakening and Contraction! 'Beware of first- hand ideas!' exclaimed one of the most advanced of them. 'First-hand ideas do not really exist. They are but the physical impressions produced by love and fear, and on this gross foundation who could erect a philosophy? Let your ideas be second-hand, and if possible tenth-hand, for then they will be far removed from that disturbing element – direct observation. @neauoire Ohohohooo, there is a series of videos of someone repairing it. 🤩 The #uxntal type-checker can now be used inline, along with any other gizmos you're already using for development, like a linter. source: https://git.sr.ht/~rabbits/uxnbal Have you considered adding full-line comments to uxnasm? I saw some forth code in FreeBSD and noticed that backslashes (\) were used as comments (like # in shell or // in C++) I thought I might just add a simple bash preprocessor to strip out extra comments before the code gets sent to uxnasm. ... when I finally get some time to work on it. XD @klardotsh Could I borrow your badass electric saw machine thing this afternoon? I feel like making a big hole in a locker. @neauoire I'll repeat my usual mantra: you're welcome to borrow whatever you want, whenever you need it :) so yes I'll be moving my boat over there in the next hour or so I think Mods fighting spam like we're playing Quake, whoever has the best ping gets the frag.
Show previous comments
My uxntal compiler now passes the type-checker, with 1 unsafe definition. Next challenge, type-checking, the type-checker.. :ouroboros_smile: @eli_oat each day I see that links you've added to linkhut and I can map a sort of journey. It's fun to follow along your adventures. Elegant Objects (EO) is an object-oriented programming paradigm that renounces traditional techniques like null, getters-and-setters, code in constructors, mutable objects, static methods, annotations, type casting, implementation inheritance, data objects, etc.
Show previous comments
@neauoire I'm sure that there is some good stuff here but continually reading "this is wrong" turns me right off. There is no objective right and wrong here, any more than there is in a choice of sandwich¹, and I wouldn't want to work with anyone that thought there was. Also choosing Java to demonstrate the "flaws" of OOP is kind of easy mode — Java is known to get itself tied up in knots. ¹You can't make a milk sandwich, but ham and cheese are not objectively rankable. @neauoire hmm there is a lot of invalid(or just against the Scandinavian approach of OOP) statement :/
Show previous comments
@neauoire this conundrum is what leads many folks down the path of true insanity: writing an inference engine......... @neauoire what language is this a part of? I thought uxntal had only one type, are you making a new language? Type Inference in Stack-Based Programming Languages @neauoire A classic! Alone the opening statement is gold: "For those of you concerned with theorems and proofs, I apologize, today is going to be a very bad day." If you haven't done so yet, also recommend checking out his dissertation: "A foundation for typed concatenative languages" https://www2.ccs.neu.edu/racket/pubs/dissertation-kleffner.pdf Conal Elliott is like the Allan Watts of computing. I'd love to hear some drum n bass track, where suddenly it's just him saying deep stuff.
Show previous comments
[DATA EXPUNGED]
@akkartik I feel like you're going to love this episode on what computing is for, and computational beauty is. |