undefined | Better HN

0 pointsdetaro4y ago0 comments

so you are using a different definition of dynamic dispatch than the rest of the software industry.

0 comments

ukj4y ago

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.

j / k navigate · click thread line to collapse

ukj4y ago

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.

j / k navigate · click thread line to collapse