InfoQ Homepage Functional Programming Content on InfoQ
-
The Functional Evolution of Object-Oriented Programming
James Ward and Joshua Suereth explain the evolutions happening in many OOP languages today and how to take advantage of those changes.
/presentations/oop-functional-evolution/en/mediumimage/oop-functional-evolution-m-1620803160393.jpg)
-
C#'s Functional Journey
Mads Torgersen discusses how object-oriented languages, particularly C#, have adopted functional features, and what to expected next.
/presentations/c-sharp-functional-features/en/mediumimage/Mads Torgersen-m-1614156706066.jpg)
-
Elixir vs Scala
Ludwik Bukowski and Kacper Mentel compare the results of a pattern recognition app implemented in Elixir and Scala.
/presentations/elixir-vs-scala/en/mediumimage/DOibig-1601847824503.JPG)
-
Pony, Actors, Causality, Types, and Garbage Collection
Sophia Drossopoulou gives an overview of Pony’s programming model, actors, and causality.
/presentations/pony-types-garbage-collection/en/mediumimage/Sobig-1598823735320.JPG)
-
Designing Composable Functional Libraries, Not Just for Data Visualization
Tomas Petricek describes the design of a data visualization library in The Gamma, covering principles of functional library design useful to use when tackling problems in other domains.
/presentations/data-visualization-library-gamma/en/mediumimage/Tombig-1594166321467.JPG)
-
Proving Algebraic Laws in Scala Using Stainless
Viktor Kunčak overviews Stainless used to state and formally verify properties of functional programs written in Scala.
/presentations/stainless-scala/en/mediumimage/Vikbig-1593356430896.JPG)
-
Functional Programming for Array-Based Parallelism
Gabriele Keller overviews functional array-based high-performance computing, how to map such programs efficiently to parallel hardware, and discusses challenges and ongoing work.
/presentations/functional-programming-parallelism/en/mediumimage/Gabbig-1592177317032.JPG)
-
Rethinking Blockchain Contract Development
Manuel Chakravarty discusses how IOHK’s Plutus combines programming language theory, functional programming in Haskell, and theorem-proving in Agda to develop a new approach to blockchain contracts.
/presentations/iohk-plutus-haskell-agda/en/mediumimage/Manuel-MT-Chakravarty-m-1574766166543.jpg)
-
Real-Time Stream Analysis in Functional Reactive Programming
Riccardo Terrell discusses about a reactive approach to application design, and how to account for handling events in near real time employing the Functional Reactive Programming paradigm.
/presentations/stream-analysis-fp/en/mediumimage/Riccardo-Terrell-m-1569798995963.jpg)
-
(Dys)functional DDD
Jarek Ratajski revisits some of the core concepts of DDD from a functional perspective and builds a simple system using a more functional approach.
/presentations/ddd-functional-programming/en/mediumimage/Jarbig-1567375212837.JPG)
-
Computer Mathematics, AI and Functional Programming
Moa Johansson discusses the history of computer mathematics and how it connects to the development of early functional programming languages like Standard ML.
/presentations/ai-ml-functional-programming/en/mediumimage/MOabig-1566570193535.JPG)
-
Does JavaScript Adopt Functional Programming?
Yoav Luft discusses a study attempting to determine whether JavaScript developers are adopting a more declarative programming style, and whether this style is influenced by functional programming.
/presentations/javascript-functional-programming/en/mediumimage/Yoav-Luft-m-1565181598630.jpeg)