Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
i am still banging my head against a sql shaped wall with dependent types. it's very full of rediscovering how annoying things you know are in the strongly typed world.
for example, if you write a left join, it makes the right thing you are joining to's fields become nullable when selected. how does this work recursively? that is, when i do a right join, does the entire left hand side become nullable? how do i even figure that out short of figuring out a test suite for it?