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
End of conversation
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.