awww don't be so ashamed of the pony gif any idea how to do division with ADTs? or ^-1? Maybe that bit about functions he mentioned... I want to make typed physics (meters, seconds, meters/second, etc) but I'm not quite "there yet" for figuring out how to do that
Hi! This paper explores the idea of fractional types. I read it a long time ago, so I don't really remember what's in it. wrt typed physics, the first building block would be phantom types, to capture units. I'm not aware of an open mechanism for computing / simplifying compound units at the type level though. OTOH, there is squants, a scala library to do this kind of things (I've not used it, I don't know how it works, but it does handle units in a practical way)
Thank you so much for your video 😭😭😭😭😭😭😭🙏🙏🙏🙏🙏🙏🙏🙏 love you so much
Very practical and good explanation!
Not a good idea to use blue letters on a blue background
This is gold, thanks!
awww don't be so ashamed of the pony gif
any idea how to do division with ADTs? or ^-1? Maybe that bit about functions he mentioned...
I want to make typed physics (meters, seconds, meters/second, etc) but I'm not quite "there yet" for figuring out how to do that
Hi! This paper explores the idea of fractional types. I read it a long time ago, so I don't really remember what's in it.
wrt typed physics, the first building block would be phantom types, to capture units. I'm not aware of an open mechanism for computing / simplifying compound units at the type level though. OTOH, there is squants, a scala library to do this kind of things (I've not used it, I don't know how it works, but it does handle units in a practical way)
You should check out F#. It has Units of Measure built in.