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 Fraterkes on Wednesday October 01, 2025 @09:24AM (#45437430)
Right, that was my assumption. I asked because the person I replied to mentioned the popularity of dynamic languages as a data-point for the decline in popularity of functional programming.
[ Parent | on HN ]
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 ]