in @typescriptlang :
const f = function (x: (number) => number): (number) => number {…}
(I know it's not a type declaration – anyone knows how to do that without a helper variable?)
-
-
-
Mathematicians use two forms that are really clear. In ASCII they translate to: f:int->int f(x:int):int Both are left-to-right so they match uses of f(x), which becomes important for readability of nested types.
End of conversation
New conversation -
-
-
If only Int was actually equivalent to the set of all natural numbers.
-
I imagine Integer didn't fit! I wish there were naturals in prelude, though (1 and up).
- 2 more replies
New conversation -
-
-
Techno Untz -> Untz -> Untz -> Untz
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Mathematics and Haskell look same with different symbols. C is like ...pic.twitter.com/8xeAsqNwdk
-
C is genuinely expressing something different there, in the sense that *all* C function can have side effects, and almost always do. It's a lousy notation for "function from int func to int func" though.
End of conversation
New conversation -
-
-
Perhaps a future programming language could directly use modern math notation. Would require a new input system, perhaps.
-
Check out Agda.
- 2 more replies
New conversation -
-
-
FWIW, I think f:(ℤ^ℤ)→(ℤ^ℤ) (where ^ means superscript) would be a more common notatation.
-
Whoa, really? I've never seen that before! What's the superscript rational?
- 4 more replies
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.