@chrisamaphone absolutely! Dependent types make a programmer's life better. That's all the justification needed to research them and put energy into implementations.
I really hope the day soon comes when there is widely supported, general purpose language with dependent types. (here I'm counting haskell as a general purpose language)
=> More informations about this toot | View the thread | More toots from isAdisplayName@mathstodon.xyz
=> View chrisamaphone@hci.social profile
text/geminiThis content has been proxied by September (3851b).