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
download(2600 bytes): https://rabbits.srht.site/uxnbal/uxnbal.rom
docs: http://wiki.xxiivv.com/site/uxntal_types.html
This entry was edited (1 year ago)
R. L. Dane :debian: :openbsd:
in reply to Devine Lu Linvega • • •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
Too busy. I need to find a boat or something, lol ;)
Devine Lu Linvega
in reply to R. L. Dane :debian: :openbsd: • • •R. L. Dane :debian: :openbsd:
in reply to Devine Lu Linvega • • •R. L. Dane :debian: :openbsd:
in reply to Devine Lu Linvega • • •Devine Lu Linvega
in reply to R. L. Dane :debian: :openbsd: • • •XXIIVV — identity
wiki.xxiivv.comR. L. Dane :debian: :openbsd:
in reply to Devine Lu Linvega • • •WimⓂ️
in reply to Devine Lu Linvega • • •Devine Lu Linvega
Unknown parent • • •@jleightcap The only thing I could find was this page on factor: https://docs.factorcode.org/content/article-inference.html
I've collected a couple of notes and links here: http://wiki.xxiivv.com/site/type_systems.html
Stack effect checking - Factor Documentation
docs.factorcode.orgDevine Lu Linvega
Unknown parent • • •