News for hackers. Stuff that matters.

A comment on Type Theory and Functional Programming (1999) [pdf]. Parent comment

Re:Type Theory and Functional Programming (1999) [pdf] by JacobGoodson on Wednesday October 01, 2025 @02:58PM (#45441778)
To drive the point a little further, all of those paradigms encompass both statically typed languages and dynamically typed ones.
[ Parent | on HN ]

There are no comments on this comment yet.