← Back to context

Comment by paulddraper

8 days ago

Dependent types require additional source code.

That is true of static types in general.

0 comments

paulddraper

Reply

No comments yet

Contribute on Hacker News ↗