Conversation

what static typing gives you: if your code is guaranteed to work* it will run. otherwise it will not. what i actually want: if your code is guaranteed to fail* it will not run. otherwise it will. * for some language specific definition of work/fail

Brendan Zabarauskas

@brendanzab

Replying to

@ra

I'm pretty sure this is the approach Erlang's Dialyzer takes, based on ‘success typing’. But yeah, while I think it's cool I'm less of a fan of it in practice because it always felt like I couldn't trust it, especially when refactoring.

2:50 AM · Sep 12, 2021Twitter Web App

Replying to

and

But yeah, it's definitely a personal taste thing… I am however interested in being able to run code even if it fails to type check, or has missing parts (holes) in the implementation!

Ramsey Nasser

@ra

Sep 12, 2021

refactoring in strongly typed systems is a dream for sure! trade-offs trade-offs trade-offs...

Show replies