Yeah i see this :)

I dont participate much, cause i think kean has more objective with formalism and more or less statically linked / monolithic kind of programming, with not too much user interaction, whereas i aim for totally dynamic code flow, runtime loading of plugin and type definition etc more runtime based with lot of real time interactivity, kinda like video game level design style, with plugins and scripts that can be added dynamically and visualy, rather than something all statically compiled and formal definition on command line.

Maybe i'll post some stuff on ltu, to see the relationship between dynamic typing and dynamic linking / runtime loading of modules, cause i sense To have real time loading of plugins it require some degree of runtime checking for interface and types anyway, same for network messages, remote call, cross language interface etc unless im missing some technic.

Its quite in my requirement to be able to add modules and interfaces that can be remotely called at runtime without recompilation.

I already have beta of decentralized blogging /  crypted private messages , i'm still polishing the UX.

If you need some help with the language or making libraries like for vectors or blockchain or other thing like memory management  i can always look it up :)