cognitive psychology. PhD 
someone needs to write sicp/htdp but with types
Show this thread
-
basically i want something like
@edwinbrady's TDD w/ Idris but as an intro programming/SWE book. i'd refuse to teach anything else!Show this thread
Curious how different it would be from HtDP, which is arguably type-centric, but just with a runtime focus. What’s the educational value of static type analysis for CS1?
-
-
1/2 as you said, htdp is "runtime-type-driven" in that the programmer gets the behavioral contract down ahead of time but ultimately has to write _and_ test the program themselves to see if the contract was satisfied
-
2/3* i'm interested in seeing how effective "compile-type-driven" development is in an educational setting. that is, formally specifying contracts within the language and writing programs by interacting with the compiler
- Show 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.