I met some interesting gradual type people at POPL yesterday, and the schedule was full of good talks!
Friday opened with a great introduction to probabilistic PLs with live demos. It showed usage, although it feels like "random programming with magic" https://popl20.sigplan.org/details/POPL-2020-Research-Papers/71/Probabilistic-Programming
Related Posts
Has anyone built a great solution to 'run all my unit tests automatically'?
It's straightforward to write a while loop in bash, but handling timeouts, syntax errors etc well is hard.
Running on save would be good, although I wonder if you could run fast tests on each keystroke.
Really cute approach to reporting type errors: when there's a type error, show an example of a runtime error that the type check has prevented!
Data-Driven Techniques for Type Error Diagnosis https://escholarship.org/uc/item/59s4h4pv
Playing with optional type signatures in Python, I realise that the return type is the most important to me.
I'd much rather have a function with only a return type instead of a function with only parameter types. It's often quick to add too.