Post #1782125
2026-04-27 06:41 UTC
@screwlisp
OK, does this buy you anything over `(expt 1/2 3/4)`? I (for once) don't want to start another stupid flame war, but was this simply a question of how you get the Coalton stuff running, or is there something deeper in your question I'm missing?
Replies (1)
-
@screwlisp@gamerplus.org 2026-04-27 06:45
@simon_brooke When I was looking at what it said on the back of the coalton can, I think it says "pow's default return type is the type of its arguments". This made me think about using pow on rational inputs. Well, rightly it says "hey I have no idea how you are planning to get a rational type out of this without you telling me something" ! Which is, I guess what one wants from a type theory.