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.
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.
It might be, but it is not an essential feature. Functional programming is the practice of using pure functions as the primary form of computation and composition. Whether one adds types to this is as relevant as adding types to any other paradigm (imperative, oop, logical, functional, etc)