cognitive psychology. PhD 
I want a better PX* for strong types. Today it's a pedantic teacher who returns your paper with red marks. I'd prefer a weather app: doesn't stop you from leaving the house, but it'll warn you to bring an umbrella if you check
Show this thread
-
Another issue is that types are too low-level. They just tell me I'm not using my string as an integer. Instead, I want a linter to tell me "I see you're casing on strings. Here's a transformation of your code that uses an enum instead. (It's safer!)"
On that note, huge opportunity for program synthesis to provide people fixes instead of saying what's wrong. Like rustfix (https://github.com/rust-lang-nursery/rustfix …) but for higher-level program transformations.
-
-
Or perhaps like kibit https://github.com/jonase/kibit
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.