Fun exercise: try to explain the value of types to a beginner without using any proscriptive arguments. Surprisingly hard.
-
-
This sounds like a good plan. Even if multiple complete solutions can't be found, a menu of "possible moves" would be awesome.
-
So funny now that I think of it; in 2000, I implemented context-sensitive menus in Maple, prioritized by likely usefulness as possible moves
- 1 more reply
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.