News for hackers. Stuff that matters.
Re:Parse, Don't Validate (2019) by detaro on Saturday June 26, 2021 @02:51PM (#27644720)
so you are using a different definition of dynamic dispatch than the rest of the software industry.
Re:Parse, Don't Validate (2019) by ukj on Saturday June 26, 2021 @02:55PM (#27644755)
I am using a conception (NOT a definition) that is actually dynamic.

If you can type-check your dispatcher at compile time then there is nothing dynamic about it.

Decidable (ahead of time) means your function is fully determined. Something that is fully determined is not dynamic.

It is the conception computer scientists use.