← Back to Topics

Functional Programming Concepts

Discussions center on foundational and advanced topics in functional programming, including John Backus's algebra of programs, continuation-passing style, optimizations, parallel computation, and modern concepts like algebraic effects and dependent types.

📉 Falling 0.5x Programming Languages
2,568
Comments
20
Years Active
5
Top Authors
#5028
Topic ID

Activity Over Time

2007
2
2008
14
2009
36
2010
44
2011
68
2012
52
2013
108
2014
138
2015
172
2016
189
2017
183
2018
171
2019
154
2020
228
2021
208
2022
184
2023
210
2024
226
2025
173
2026
8

Top Contributors

tel (34) pron (33) carapace (30) agumonkey (30) chriswarbo (27)

Keywords

ucf.edu uu.se CPS TCO youtube.com FP SICP fdpefinalweb.pdf wordpress.com cps.html functional programming acc languages functional language parallel functional programming encoding functional languages programs

Sample Comments

amelius • Jul 21, 2017 • View on HN

I didn't read the paper, but is this restricted to purely functional programs?

kqr • Jan 29, 2018 • View on HN

Maybe CPS? https://www.it.uu.se/edu/course/homepage/avfunpro/ht10/notes...

dvh • Dec 29, 2015 • View on HN

A modern architecture for functional programmers

JadeNB • Feb 26, 2012 • View on HN

Is this the predecessor to Bird and de Moor's "Algebra of programming"?

beefman • Aug 24, 2017 • View on HN

Backus - A Functional Style and Its Algebra of Programshttps://www.cs.ucf.edu/~dcm/Teaching/COT4810-Fall%202012/Lit...

rthomas6 • Feb 24, 2015 • View on HN

Does coding in a pure functional language like Haskell solve this problem?

cafard • Nov 2, 2022 • View on HN

Functional programming: the future of computing since 1977. (Dating it from John Backus's Turing Award lecture.)

kragen • Mar 6, 2024 • View on HN

yes, although recent advances in functional programming and formal methods go a lot further than that

Ono-Sendai • Aug 3, 2015 • View on HN

Can you expand on "parallel computation has no 'good' encoding into functional computation"?

avinassh • Sep 19, 2021 • View on HN

How do functional programming languages optimises these?