Apparently it's possible to "prove invariants" aka prove your code once you have dependent types. The syntax in the examples is super foreign to me, and I don't completely understand how this works. But it mostly sounds like the compiler can catch more bugs, which is great!
-
-
Show this thread
-
More resources on dependent types:https://twitter.com/yoshuawuyts/status/1015366343678455808?s=19 …
Show this thread
End of conversation
New conversation -
-
-
I implemented double entry with rust, I kept writing if statements to make sure a vec of journal entry lines has at least 2 items and that they balanced.
-
i had to make the actual entries private and do a lot of test, looking at idris or ATS' refinement types it feel so primitive https://www.youtube.com/watch?v=zt0OQb1DBko …
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.