Thought experiment: coding with integers, rationals, and reals as proper subtypes, with reals as lazy continued fraction spigots.
-
-
Replying to @TimSweeneyEpic
And this for complex numbers? https://www.cs.nyu.edu/yap/zero/zero_files/slides_richardson.pdf … https://www.cs.nyu.edu/yap/zero/zero_files/sch.ps …
1 reply 0 retweets 0 likes -
Replying to @glaebhoerl @TimSweeneyEpic
Also, what do you mean by proper subtypes precisely, and what would that part of it be important for?
2 replies 0 retweets 0 likes
Replying to @glaebhoerl
Subtypes as in: integers are just rational numbers with a certain property, and all rational functions accept reals.
9:31 AM - 28 Jan 2017
0 replies
0 retweets
2 likes
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.