<![CDATA[say you are programming your new favourite garbage collected unityped language.]]>say you are programming your new favourite garbage collected unityped language.

what does it look like?

]]>https://board.circlewithadot.net/topic/7314658d-054b-469a-8245-fd24a2fb2d46/say-you-are-programming-your-new-favourite-garbage-collected-unityped-language.RSS for NodeFri, 15 May 2026 07:44:25 GMTSat, 18 Apr 2026 12:20:04 GMT60<![CDATA[Reply to say you are programming your new favourite garbage collected unityped language. on Sat, 18 Apr 2026 15:28:35 GMT]]>@dysfun If the one type can be "object", the one type will be object.

#Kittyscript (the language I'm actually developing) is pretty close to it, every value has a method handler associated with it. That's a function which gets the object as the first argument, the method name as the second and followed by the arguments to the specific method. An object can also be used like a function, if it has a __call method.

Some objects (that are implemented as Kittyscript records or implement the KsObject interface on the Java/Kotlin level) have individual method handlers, while other objects (including Kotlin and Java objects) get handled by a "fallback" method handler that also dispatches on the type of the object.]]>https://board.circlewithadot.net/post/https://void.lgbt/objects/ceffb4dd-0f55-4a1a-a840-6312b6c7f6b6https://board.circlewithadot.net/post/https://void.lgbt/objects/ceffb4dd-0f55-4a1a-a840-6312b6c7f6b6Sat, 18 Apr 2026 15:28:35 GMT<![CDATA[Reply to say you are programming your new favourite garbage collected unityped language. on Sat, 18 Apr 2026 13:00:16 GMT]]>@deech yeah i feel like there will be pattern matching at least.

but i'm still not convinced the market for a lisp is very large.

]]>https://board.circlewithadot.net/post/https://social.treehouse.systems/users/dysfun/statuses/116425832315261018https://board.circlewithadot.net/post/https://social.treehouse.systems/users/dysfun/statuses/116425832315261018Sat, 18 Apr 2026 13:00:16 GMT<![CDATA[Reply to say you are programming your new favourite garbage collected unityped language. on Sat, 18 Apr 2026 12:58:01 GMT]]>@dysfun when i did my talks on Shen I hyped the types but even without its still a nice Lisp with pattern matching and TCO.

]]>https://board.circlewithadot.net/post/https://mastodon.social/users/deech/statuses/116425823436056263https://board.circlewithadot.net/post/https://mastodon.social/users/deech/statuses/116425823436056263Sat, 18 Apr 2026 12:58:01 GMT<![CDATA[Reply to say you are programming your new favourite garbage collected unityped language. on Sat, 18 Apr 2026 12:57:53 GMT]]>@deech
i highly doubt theres a lisp thats unityped without being a turing tarpit of conses. theres probably a hard minimum of types needed that like picolisp uses, but its not 1
@dysfun

]]>https://board.circlewithadot.net/post/https://mastodon.online/users/zardoz03/statuses/116425822931671839https://board.circlewithadot.net/post/https://mastodon.online/users/zardoz03/statuses/116425822931671839Sat, 18 Apr 2026 12:57:53 GMT<![CDATA[Reply to say you are programming your new favourite garbage collected unityped language. on Sat, 18 Apr 2026 12:55:55 GMT]]>@deech it's entirely possible i missed the point, but i thought the point was the types?

]]>https://board.circlewithadot.net/post/https://social.treehouse.systems/users/dysfun/statuses/116425815164755976https://board.circlewithadot.net/post/https://social.treehouse.systems/users/dysfun/statuses/116425815164755976Sat, 18 Apr 2026 12:55:55 GMT<![CDATA[Reply to say you are programming your new favourite garbage collected unityped language. on Sat, 18 Apr 2026 12:55:25 GMT]]>@dysfun unless something has changed types are optional and type checking has to be explicitly enabled

]]>https://board.circlewithadot.net/post/https://mastodon.social/users/deech/statuses/116425813221122588https://board.circlewithadot.net/post/https://mastodon.social/users/deech/statuses/116425813221122588Sat, 18 Apr 2026 12:55:25 GMT<![CDATA[Reply to say you are programming your new favourite garbage collected unityped language. on Sat, 18 Apr 2026 12:54:14 GMT]]>@deech huh? literally everything i know about shen is about its types

]]>https://board.circlewithadot.net/post/https://social.treehouse.systems/users/dysfun/statuses/116425808569765817https://board.circlewithadot.net/post/https://social.treehouse.systems/users/dysfun/statuses/116425808569765817Sat, 18 Apr 2026 12:54:14 GMT<![CDATA[Reply to say you are programming your new favourite garbage collected unityped language. on Sat, 18 Apr 2026 12:53:46 GMT]]>@dysfun probably like Shen without the typechecker

]]>https://board.circlewithadot.net/post/https://mastodon.social/users/deech/statuses/116425806715404719https://board.circlewithadot.net/post/https://mastodon.social/users/deech/statuses/116425806715404719Sat, 18 Apr 2026 12:53:46 GMT<![CDATA[Reply to say you are programming your new favourite garbage collected unityped language. on Sat, 18 Apr 2026 12:52:02 GMT]]>@deech yes it's so new i haven't written it yet. what should it look like?

]]>https://board.circlewithadot.net/post/https://social.treehouse.systems/users/dysfun/statuses/116425799898501939https://board.circlewithadot.net/post/https://social.treehouse.systems/users/dysfun/statuses/116425799898501939Sat, 18 Apr 2026 12:52:02 GMT<![CDATA[Reply to say you are programming your new favourite garbage collected unityped language. on Sat, 18 Apr 2026 12:50:11 GMT]]>@dysfun jamming away on Tcl at the moment but that probably doesn't qualify as "new" or "favorite" but it's less hassle and has some other nice ecosystem properties

]]>https://board.circlewithadot.net/post/https://mastodon.social/users/deech/statuses/116425792668431917https://board.circlewithadot.net/post/https://mastodon.social/users/deech/statuses/116425792668431917Sat, 18 Apr 2026 12:50:11 GMT<![CDATA[Reply to say you are programming your new favourite garbage collected unityped language. on Sat, 18 Apr 2026 12:25:09 GMT]]>@typeswitch i will probably save this for the less unityped version, where i want to do stuff like simd that doesn't fucking suck

]]>https://board.circlewithadot.net/post/https://social.treehouse.systems/users/dysfun/statuses/116425694218386703https://board.circlewithadot.net/post/https://social.treehouse.systems/users/dysfun/statuses/116425694218386703Sat, 18 Apr 2026 12:25:09 GMT<![CDATA[Reply to say you are programming your new favourite garbage collected unityped language. on Sat, 18 Apr 2026 12:24:27 GMT]]>@typeswitch yeah i want to but you know that's hard

]]>https://board.circlewithadot.net/post/https://social.treehouse.systems/users/dysfun/statuses/116425691438466120https://board.circlewithadot.net/post/https://social.treehouse.systems/users/dysfun/statuses/116425691438466120Sat, 18 Apr 2026 12:24:27 GMT<![CDATA[Reply to say you are programming your new favourite garbage collected unityped language. on Sat, 18 Apr 2026 12:23:50 GMT]]>@dysfun
- values are homogeneous arrays and all operations are secretly array operations
- array items are not individually garbage collected.

]]>https://board.circlewithadot.net/post/https://gamedev.lgbt/users/typeswitch/statuses/116425689036941961https://board.circlewithadot.net/post/https://gamedev.lgbt/users/typeswitch/statuses/116425689036941961Sat, 18 Apr 2026 12:23:50 GMT<![CDATA[Reply to say you are programming your new favourite garbage collected unityped language. on Sat, 18 Apr 2026 12:20:24 GMT]]>yes, i'm actually building a gc in this time. blame wingo for writing one.

]]>https://board.circlewithadot.net/post/https://social.treehouse.systems/users/dysfun/statuses/116425675548447628https://board.circlewithadot.net/post/https://social.treehouse.systems/users/dysfun/statuses/116425675548447628Sat, 18 Apr 2026 12:20:24 GMT