# Functional programming In computer science, functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative programming paradigm in which function definitions are trees of expressions that map values to other values, rather than a sequence of imperative statements which update the running state of the program. This is one page of public article previews, not the complete archive. Follow Next page to continue. Summaries are not the original full articles. ## What's New in OSS at Khan Academy DevFeed: [What's New in OSS at Khan Academy]() Original publisher: [Read original article]() Author: Khan Academy Published: 2017-04-03T22:00:00Z Content type: article Language: en Sources: [Khan Academy]() Topics: [Open Source](), [Software](), [React](), [Functional programming](), [JavaScript](), [Algorithms](), [jQuery]() Tags: [algorithms](), [engineering](), [functional-programming](), [javascript](), [news](), [open-source-software](), [oss](), [react](), [web-frontend]() ### AI overview Khan Academy highlights several recent open-source projects, including Mu Lambda, a small JavaScript library of functional programming utilities; React Balance Text, a React wrapper for Adobe's Balance-Text project; Fuzzy Match Utils, which uses string-matching algorithms for filtering; and React Multi Select. ### Source excerpt By Brian Genisio At Khan Academy, we rely heavily on Open Source Software (OSS). The majority of our ... Read more ## Clojure/Conj 2026 Will Offer Free Online Streaming to Broaden Access DevFeed: [Clojure/Conj 2026 Will Offer Free Online Streaming to Broaden Access]() Original publisher: [Read original article]() Author: Nubank Editorial Published: 2026-09-11T17:39:44Z Content type: opinion Language: en Sources: [Nubank]() Topics: [Clojure](), [Functional programming](), [coding-community]() Tags: [analytics-engineering](), [clojure](), [data-science-machine-learning](), [developer-community](), [free](), [technical]() ### AI overview This commentary explains how free online streaming for Clojure/Conj 2026 can make technical discussions accessible to developers who cannot travel or afford in-person attendance. The conference will take place from September 30 to October 2 in Charlotte, North Carolina. ### Source excerpt Making technical knowledge more accessible strengthens the entire developer community The post Why this year's Clojure/Conj matters beyond the conference appeared first on Building Nubank. ## Clojure/Conj 2026 Will Offer Free Online Streaming to Expand Access DevFeed: [Clojure/Conj 2026 Will Offer Free Online Streaming to Expand Access]() Original publisher: [Read original article]() Author: Nubank Editorial Published: 2026-09-11T17:39:44Z Content type: opinion Language: en Sources: [Nubank]() Topics: [Clojure](), [coding-community](), [Functional programming]() Tags: [analytics-engineering](), [clojure](), [conference](), [data-science-machine-learning](), [developer-community](), [events](), [free]() ### AI overview This editorial explains that Clojure/Conj 2026 will be held from September 30 to October 2 in Charlotte, North Carolina, with free online streaming. It argues that online access can broaden participation by reducing travel and accommodation barriers while preserving live interaction with the event. ### Source excerpt Making technical knowledge more accessible strengthens the entire developer community The post Why this year's Clojure/Conj matters beyond the conference appeared first on Building Nubank. ## Creator of Scala: Comparing Languages And How AI Will Impact Them | Martin Odersky DevFeed: [Creator of Scala: Comparing Languages And How AI Will Impact Them | Martin Odersky]() Original publisher: [Read original article]() Author: Ryan Peterman Published: 2026-08-31T13:05:35Z Content type: opinion Language: en Sources: [The Developing Dev]() Topics: [Scala](), [Programming language](), [Functional programming](), [Artificial Intelligence](), [Large Language Model]() Tags: [ai](), [functional-programming](), [languages](), [llms](), [scala]() ### AI overview An interview with Martin Odersky, creator of Scala, compares Rust, Zig, Python, and Scala and discusses how AI may affect programming-language ecosystems. Odersky also explains functional programming as a style based on values and functions, with minimal mutable state and side effects. ### Source excerpt There are so many choices every programming language creator makes while navigating engineering tradeoffs in building one. ## When you keep AI Lean, you keep AI correct DevFeed: [When you keep AI Lean, you keep AI correct]() Original publisher: [Read original article]() Author: Phoebe Sajor Published: 2026-08-28T07:40:00Z Content type: article Language: en Sources: [Stack Overflow Blog]() Topics: [AI Bots](), [Functional programming]() Tags: [agentic-ai](), [agents](), [ai](), [ai-agents](), [ai-models](), [automated-reasoning](), [code](), [developers](), [functional-programming](), [optimization](), [podcast](), [programming](), [programming-language](), [reasoning](), [se-stackoverflow](), [se-tech]() ### AI overview A discussion of using Lean to prove AI-agent correctness, combine automated reasoning with probabilistic AI models, and continuously optimize code. ### Source excerpt Ryan chats with Leo de Moura, Senior Principal Applied Scientist at AWS and the creator of the Lean language, about proving correctness in AI agents with the Lean language, how automated reasoning complements probabilistic AI models, and the use of AI for continuous code optimization. ## Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy DevFeed: [Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy]() Original publisher: [Read original article]() Author: Ryan Peterman Published: 2026-07-20T13:05:11Z Content type: article Language: en Sources: [The Developing Dev]() Topics: [OCaml](), [Functional programming](), [Programming](), [Formal verification](), [Programming language]() Tags: [formal-verification](), [functional](), [functional-programming](), [ocaml](), [programming](), [programming-language](), [verification]() ### AI overview A podcast transcript featuring Xavier Leroy discusses what distinguishes OCaml, including its functional and systems programming capabilities, type inference, control structures, predictable execution costs, and low-latency garbage collection. The conversation also covers formal verification through the CompCert project and comparisons with languages such as Rust and JavaScript. ### Source excerpt Professor Leroy (Creator of OCaml) is incredibly knowledgeable. ## Simon Peyton Jones on Haskell and Why Functional Programming Matters DevFeed: [Simon Peyton Jones on Haskell and Why Functional Programming Matters]() Original publisher: [Read original article]() Author: Ryan Peterman Published: 2026-06-08T10:02:31Z Content type: article Language: en Sources: [The Developing Dev]() Topics: [Functional programming](), [Haskell](), [Programming](), [Declarative programming](), [Programming language]() Tags: [declarative](), [functional-programming](), [languages](), [programming](), [programming-language](), [types]() ### AI overview An interview with Simon Peyton Jones, co-creator of Haskell, about functional programming, its emphasis on values rather than mutation, and how it differs from imperative programming. ### Source excerpt Simon Peyton Jones is the co-creator of Haskell (pure functional programming language) and I interviewed him about functional programming, why it matters, and his thoughts on other programming languages. ## the algebra of dependent types DevFeed: [the algebra of dependent types]() Original publisher: [Read original article]() Published: 2025-05-29T00:07:51Z Content type: article Language: en Sources: [Tony Finch's blog]() Topics: [Programming](), [Functional programming](), [Standard ML](), [Rust]() Tags: [algebra](), [enum](), [functional-programming](), [languages](), [programming-languages](), [type-system](), [type-theory](), [types]() ### AI overview An explanation of why big-sigma and big-pi notation appears in dependent type theory. It connects dependent functions and dependent pairs to algebraic data types, showing how products correspond to multiplication and sum types to addition, with examples from type theory, Standard ML, Haskell, and Rust. ### Source excerpt TIL (or this week-ish I learned) why big-sigma and big-pi turn up in the notation of dependent type theory. I've long been aware of the zoo of more obscure Greek letters that turn up in papers about type system features of functional programming languages, μ, Λ, Π, Σ. Their meaning is usually clear from context but the reason for the choice of notation is usually not explained. I recently stumbled on an explanation for Π (dependent functions) and Σ (dependent pairs) which turn out to be nicer than I expected, and closely related to every-day algebraic data types. sizes of types The easiest way to understand algebraic data types is by counting the inhabitants of a type. For example: the unit type () has one inhabitant, (), and the number 1 is why it's called the unit type; the bool type hass two inhabitants, false and true. I have even seen these types called 1 and 2 (cruelly, without explanation) in occasional papers. product types Or pairs or (more generally) tuples or records. Usually written, (A, B) The pair contains an A and a B, so the number of possible values is the number of possible A values multiplied by the number of possible B values. So it is spelled in type theory (and in Standard ML) like, A * B sum types Or disjoint union, or variant record. Declared in Haskell like, data Either a b = Left a | Right b Or in Rust like, enum Either { Left(A), Right(B), } A value of the type is either an A or a B, so the number of possible values is the number of A values plus the number of B values. So it is spelled in type theory like, A + B dependent pairs In a dependent pair, the type of the second element depends on the value of the first. The classic example is a slice, roughly, struct IntSlice { len: usize, elem: &[i64; len], } (This might look a bit circular, but the idea is that an array [i64; N] must be told how big it is - its size is an explicit part of its type - but an IntSlice knows its own size. The traditional dependent "vector" type is a sized li ## Why Learning Scala Gave Me Déjà Vu of Kotlin: A Developer's Journey DevFeed: [Why Learning Scala Gave Me Déjà Vu of Kotlin: A Developer's Journey]() Original publisher: [Read original article]() Author: Kavya P S Published: 2024-10-16T06:49:14Z Content type: opinion Language: en Sources: [Mindorks - Medium]() Topics: [Scala](), [Kotlin](), [Functional programming]() Tags: [article](), [beginners-guide](), [developer](), [functional-programming](), [journey](), [kotlin](), [learning](), [programming](), [scala]() ### AI overview A Kotlin Android developer reflects on beginning to learn Scala for backend development and finding familiar concepts in its syntax and features. The article compares the languages through examples including conciseness, type inference, functional programming, null safety, extension functions, pattern matching, and operator overloading. The author notes that the comparison is based on only a few hours of Scala study. ### Source excerpt Imagine you're 2 years deep into creating cool stuff with Kotlin for Android and you decide to venture into an unfamiliar territory -- Backend development with Scala. You are all prepared to start from zero. But as you go on, it feels strangely familiar, like meeting an old friend. Let me take you through my journey -- exploring Scala was a bit like déjà vu, reminding me of Kotlin in unexpected ways. Come along as I share this story of two coding worlds that seemed oddly similar to me! Disclaimer: Before I begin, I am only one day deep into Scala learning -- okay 2-5 hours deep thanks to this RockTheJVM tutorial! So, this article is not a consolidated list, but a spoiler before you learn the basics of Scala as a Kotlin developer (or vice versa). Before we begin, here's a "textbook" answer for similarities between Kotlin and Scala (thanks to ChatGPT) -- feel free to skip it! Kotlin and Scala, while having their unique features, share some similarities in their syntax. Here are a few key similarities between Kotlin and Scala:1. Conciseness: Both Kotlin and Scala are designed to reduce boilerplate code, allowing developers to write more with less. They provide concise syntax for common operations, making the code cleaner and easier to read. 2. Type Inference: Both languages support type inference, allowing developers to omit explicit type declarations in many cases. The compiler can often deduce the types based on the context, reducing verbosity in code. 3. Functional Programming Features: Both languages incorporate functional programming concepts. They support higher-order functions, immutable data structures, lambda expressions, and various functional programming paradigms. 4. Null Safety: Kotlin and Scala provide features to handle null references safely. Kotlin has a robust system with nullable and non-nullable types, while Scala includes options like `Option` or `Some` to deal with null values. 5. Extension Functions/Methods: Both languages support extension functions ## ICFP 2024 DevFeed: [ICFP 2024]() Original publisher: [Read original article]() Author: Nailen Matschke Published: 2024-08-29T00:00:00Z Content type: article Language: en Sources: [Jane Street]() Topics: [OCaml](), [Functional programming](), [Programming language](), [Programming](), [Compiler]() Tags: [compiler](), [conference](), [functional](), [language](), [memory-management](), [ocaml](), [programming](), [talks]() ### AI overview Jane Street previews its participation in ICFP 2024 and discusses OCaml work on type-system features, code generation, register allocation, inlining, memory management, and parallel programming. It also describes plans to upstream compiler extensions and provide a bleeding-edge opam repository for testing them. ### Source excerpt It's no secret that Jane Street is an active participant in the programming language community, and we're excited to be attending ICFP 2024, the International Conference on Functional Programming, in Milan next week! Most members of our OCaml Language team will be there, and as usual, we look forward to sharing our work with the wider community. Please see below for a full list of papers and talks that Jane Street folk are involved in. Note that a lot of these are collaborations of one kind or another with researchers outside of Jane Street. ## The principle of immutability DevFeed: [The principle of immutability]() Original publisher: [Read original article]() Published: 2024-08-20T00:00:00Z Content type: opinion Language: en Sources: [Chainguard: Unchained]() Topics: [Programming](), [Rust](), [Functional programming](), [C++](), [Programming language]() Tags: [c-plus-plus](), [functional-programming](), [immutability](), [rust](), [secure-by-default](), [secure-by-design]() ### AI overview The article argues that immutability is about intentionally controlling change rather than preventing change. It presents immutability by default as part of secure-by-design software and compares approaches in functional programming, C++, and Rust. ### Source excerpt Secure by default starts with immutability. Discover how to control change and minimize risks. ## What You Need to Know About Lazy Evaluation in Nix DevFeed: [What You Need to Know About Lazy Evaluation in Nix]() Original publisher: [Read original article]() Author: Jacek Galowicz Published: 2024-07-15T00:00:00Z Content type: tutorial Language: en Sources: [Nixcademy Blog]() Topics: [Nix](), [Functional programming](), [Programming]() Tags: [article](), [functional-programming](), [lazy](), [programming]() ### AI overview This article explains lazy evaluation in the Nix language, including when expressions are evaluated, how errors can be deferred until a value is referenced, and how thunks model this behavior. It also introduces context for understanding Nix overlays and dependency overrides. ### Source excerpt If you have no prior experience with functional programming, don't miss this article which explains the most important intricacies of lazy evaluation! ## Abstraction design: Introduction DevFeed: [Abstraction design: Introduction]() Original publisher: [Read original article]() Published: 2024-02-05T00:00:00Z Content type: tutorial Language: en Sources: [Kt. Academy]() Topics: [abstraction](), [Programming](), [Object-oriented programming (OOP)](), [interfaces](), [Functional programming]() Tags: [abstraction](), [concepts](), [core](), [function](), [interfaces](), [object-oriented](), [programming](), [workshop-learning-programming]() ### AI overview This introduction explains abstraction as a form of simplification that hides complexity by deciding what to expose and what to conceal. It discusses abstractions in object-oriented and functional programming, including interfaces, classes, functions, and higher-level operations, with examples involving Java and Kotlin. ### Source excerpt What is abstraction in programming and why is it so important. ## 10 Interview Questions Every JavaScript Developer Should Know in 2024 DevFeed: [10 Interview Questions Every JavaScript Developer Should Know in 2024]() Original publisher: [Read original article]() Author: Eric Elliott Published: 2023-12-31T01:38:10Z Content type: tutorial Language: en Sources: [Eric Elliot]() Topics: [JavaScript](), [Test-driven development](), [Functional programming]() Tags: [career](), [closure](), [developer](), [guide](), [hiring](), [interview](), [javascript](), [react](), [tdd](), [technology](), [typescript]() ### AI overview A guide to JavaScript interview questions covering closures, pure functions, test-driven development, and related programming concepts. It also discusses how interviewers may assess learning aptitude alongside technical knowledge. ### Source excerpt The world of JavaScript has evolved significantly, and interview trends have changed a lot over the years. This guide features 10 essential questions that every JavaScript developer should know the answers to in 2024. It covers a range of topics from closures to TDD, equipping you with the knowledge and confidence to tackle modern JavaScript challenges. As a hiring manager, I use all of these questions in real technical interviews on a regular basis. When engineers don't know the answers, I don't automatically reject them. Instead, I teach them the concepts and get a sense of how well they listen, and learn, and deal with the stressful situation of not knowing the answer to an interview question. A good interviewer is looking for people who are eager to learn and advance their understanding and their career. If I'm hiring for a less experienced role, and the candidate fails all of these questions, but demonstrates a good aptitude for learning, they may still land the job! 1. What is a Closure? A closure gives you access to an outer function's scope from an inner function. When functions are nested, the inner functions have access to the variables declared in the outer function scope, even after the outer function has returned: const createSecret = (secret) => { return { getSecret: () => secret, setSecret: (newSecret) => { secret = newSecret; }, }; }; const mySecret = createSecret("My secret"); console.log(mySecret.getSecret()); // My secret mySecret.setSecret("My new secret"); console.log(mySecret.getSecret()); // My new secret Closure variables are live references to the outer-scoped variable, not a copy. This means that if you change the outer-scoped variable, the change will be reflected in the closure variable, and vice versa, which means that other functions declared in the same outer function will have access to the changes. Common use cases for closures include: Data privacy Currying and partial applications (frequently used to improve function composition, e ## Swift Result Builders: Creating Custom DSLs for Binary Formatted Data DevFeed: [Swift Result Builders: Creating Custom DSLs for Binary Formatted Data]() Original publisher: [Read original article]() Author: Paul Kraft Published: 2023-08-03T14:22:38Z Content type: tutorial Language: en Sources: [QuickBird Studios Blog]() Topics: [Swift](), [Declarative programming](), [data](), [SwiftUI](), [Functional programming](), [Programming](), [data-processing](), [Bluetooth](), [Internet](), [P2P]() Tags: [bluetooth](), [communication](), [data-transformation](), [declarative](), [deep-dive](), [functional-programming](), [internet](), [ios](), [post](), [programming](), [swift](), [swiftui]() ### AI overview This tutorial explains Swift result builders and declarative programming, then applies custom result builders to encoding binary-formatted data. It also introduces DataKit, a Swift library for declaratively specifying binary message formats for encoding and decoding. ### Source excerpt SwiftUI has revolutionized how we build UI, introducing a more intuitive, declarative approach. Instead of prescribing a series of steps to reach an end goal, we describe the outcome and let the program determine the path The post Swift Result Builders: Creating Custom DSLs for Binary Formatted Data appeared first on QuickBird Studios. ## AI Programming for Absolute Beginners DevFeed: [AI Programming for Absolute Beginners]() Original publisher: [Read original article]() Author: Eric Elliott Published: 2023-06-12T02:01:14Z Content type: tutorial Language: en Sources: [Eric Elliot]() Topics: [Programming](), [Artificial Intelligence](), [Language models](), [Code](), [Declarative programming](), [Functional programming](), [anthropic](), [OpenAI]() Tags: [ai](), [ai-models](), [beginners](), [chatgpt](), [claude](), [code](), [declarative](), [functional](), [how-to](), [language-models](), [programming](), [programming-language](), [software-development](), [technology]() ### AI overview An introductory tutorial to SudoLang, a natural-language pseudocode programming language designed to instruct advanced language models such as ChatGPT, GPT-4, and Claude. It explains SudoLang's interface-oriented, constraint-based, and pseudo-functional approach, along with its declarative, compositional, and expressive properties. ### Source excerpt Your First Steps with SudoLang If you want to build chat bots, games, or applications using AI models like ChatGPT, you've come to the right place. In this article, we're going to dive into the basics of SudoLang, a powerful natural language pseudocode programming language designed to instruct advanced language models like OpenAI's GPT-4, Anthropic's Claude, and others. SudoLang was co-designed by me (Eric Elliott) and GPT-4 to create an easy-to-learn language that AI models would understand without any special training. All sufficiently advanced language models naturally understand SudoLang and follow its instructions. Just remember that AI models can sometimes make mistakes, just like people. And remember that you're learning a new skill, and that takes time and practice. Even if you've coded before, SudoLang is different than anything you've learned before. A programming paradigm defines the units (like building blocks) we use to compose our programs together. Object oriented languages use objects as the primary building block. Functional languages use functions, and so on. SudoLang is: Interface-oriented: You tell it what to remember and how to interact with you, and it handles the rest, like a smart personal assistant. Constraint-based: It follows rules you set. Pseudo-Functional: Build complex processes by composing small, simple functions together. These paradigms give SudoLang programs the following properties: Declarative: You tell it what you want and it figures out how. Compositional: You can combine different pieces to create something new. Expressive: You can do a lot with a little code. Don't worry if you don't know what all that means, yet. Just remember to be patient with yourself and with your AI friends if something doesn't work the first time. Constraint-based programming was invented in the early 1960's by the genius Ivan Sutherland, who also pioneered screens you could directly interact with (like your phone), and virtual reality headsets. In co ## Using Fleet 1.19's AI Assistant to Convert Kotlin Between Imperative and Functional Styles DevFeed: [Using Fleet 1.19's AI Assistant to Convert Kotlin Between Imperative and Functional Styles]() Original publisher: [Read original article]() Published: 2023-06-10T13:12:44Z Content type: article Language: en Sources: [maiatoday]() Topics: [coding style](), [Kotlin](), [Functional programming](), [Artificial Intelligence](), [coding](), [Code](), [Advent of Code]() Tags: [advent-of-code](), [ai](), [ai-assistant](), [code](), [coding-style](), [doggerel](), [fleet](), [functional](), [functional-programming](), [imperative](), [kotlin](), [word-games]() ### AI overview The article experiments with Fleet 1.19's integrated AI assistant by converting Kotlin code for the Advent of Code 2022 Day 10 puzzle between imperative and functional styles, comparing the results, and generating poetry. ### Source excerpt Once upon a time I admit. I have a penchant for word games and weird segues. So I will tell you what this post is about off the bat. You can skip to the code, I won't be offended. Fleet 1.19 was released this week with an integrated AI assistant. I took it for a spin and used it to convert Kotlin code from imperative style to functional and back again. I used some Kotlin code, which solves the Advent of Code 2022 Day 10 puzzle. I had written the solution in two styles and I had the AI assistant do the same conversion and compared the code. And then I played around and generated some poetry. Follow links at your peril, there are rabbit holes, it might make you late or change the size of your free time. Segue the first of many Oh you are still here! You didn't jump to the code starts here section? Why am I doing this? A long time ago, I read a lot of Lewis Caroll, Alice in Wonderland. In one scene Alice talks to the Mock Turtle. He sings a song about sea creatures dancing. When the first language translators appeared on the scene, Altavisa babelfish or perhaps it was the early Google Translate, I converted passages from Alice in Wonderland to French and then back again to see what the machines could do. The Mock Turtle was transformed into an Imitation Tortoise. In this way the reference to the original mock turtle soup was lost in translation. In a roundabout way I was wondering what would be uncovered or lost if I used the AI assistant for some translations in coding style. Couplets of doggerel My trusty and non emotional assistant had no opinion on Lewis Caroll but it made this for me. A definition of functional programming style in rhyming couplets: Functional programming's way, treats functions as the play. Immutable states they use, side effects they refuse. Declarative code is their choice, with functions, they rejoice. Nested functions map, filter, reduce, a clean, elegant code they produce. Compare this with the imperative version: Imperative code, step by st ## Arrow 2.0's Trajectory DevFeed: [Arrow 2.0's Trajectory]() Original publisher: [Read original article]() Author: Simon Vergauwen Published: 2023-04-16T00:00:00Z Content type: opinion Language: en Sources: [nomisRev]() Topics: [Kotlin](), [Library](), [Functional programming](), [Open Source](), [interoperability](), [Java](), [Scala]() Tags: [arrow](), [functional-programming](), [interoperability](), [java](), [kotlin](), [library](), [open-source](), [oss](), [scala]() ### AI overview A presentation transcription about Arrow's 10-year history, its trajectory toward version 2.0, functional programming in Kotlin, ecosystem cohesion, evolving APIs, and challenges faced by open-source projects. ### Source excerpt This blog post is an improved version of the transcription of the presentation I gave at KotlinConf 2023. It discusses the 10-year history of Arrow, all the way from the first commit to the current state of the library. It also discusses the future of Functional Programming in Kotlin, and the challenges OSS projects face. ## KotlinConf'23-Kotlin & Functional Programming: pick the best, skip the rest by Urs Peter DevFeed: [KotlinConf'23-Kotlin & Functional Programming: pick the best, skip the rest by Urs Peter]() Original publisher: [Read original article]() Author: Matthew Dolan Published: 2023-04-14T06:32:47Z Content type: opinion Language: en Sources: [Stories by Matthew Dolan on Medium]() Topics: [Kotlin](), [Functional programming](), [Programming](), [exceptions]() Tags: [android](), [android-app-development](), [arrow](), [data-structures](), [exceptions](), [functional-programming](), [kotlin](), [monad](), [optional](), [programming]() ### AI overview A review of Urs Peter's KotlinConf'23 talk on functional programming, covering monoids, functors, monads, and selective use of the Arrow framework. It highlights using Either for recoverable service errors, nullable comprehensions, and Arrow Optics for nested data updates. ### Source excerpt KotlinConf'23 -- Kotlin & Functional Programming: pick the best, skip the rest by Urs Peterhttps://medium.com/media/b5b95f6bdbb507930534ef8279ba1d05/href I recently had the pleasure of listening to Urs Peter's talk on Kotlin & Functional. The speaker gave a great, simple summary of what a Monad is and how it works. In essence: a Monoid is combinable (plus) and has an identity (empty) element which when combined with another value returns that other value. a Functor is mappable (map) a Monad is composable (flatMap) The talk then went on to discuss some common monads, such as Collections and Optional. The highlight of the talk for me was when the speaker talked about cherry-picking the best features between Kotlin and Monads (using the Arrow framework). Use Monads selectively where needed and useful. Why use a Monad to replace try-catch blocks for the 95% of use cases? Let exceptions bubble up to a GlobalExceptionHandler. For the other 5%, where we're typically recovering in our service, prefer Either over Result as it makes the contract explicit with easy access to the error reply. Prevent tedious null checks with Arrow's nullable{ } comprehension. With deeply nested data structures where you want to change something at the leaf level, use Arrow Optics instead of nested copy calls. While I enjoyed the talk, I would have loved to hear more best features. You can find my thoughts on more KotlinConf'23 talks at KotlinConf'23. Please let me know your thoughts. Join medium to read all of my articles or subscribe for e-mail updates. ## KotlinConf'23 DevFeed: [KotlinConf'23]() Original publisher: [Read original article]() Author: Matthew Dolan Published: 2023-04-14T06:29:10Z Content type: article Language: en Sources: [Stories by Matthew Dolan on Medium]() Topics: [Kotlin](), [Kotlin Multiplatform](), [Functional programming](), [Jetpack Compose](), [Swift]() Tags: [android](), [android-app-development](), [functional-programming](), [jetpack](), [kotlin](), [kotlin-multiplatform](), [kotlinconf](), [swift]() ### AI overview Personal notes from KotlinConf'23 in Amsterdam covering talks on Kotlin, functional programming, Kotlin Multiplatform, compiler plugins, Android Jetpack, and a Swift-friendly API generator called SKIE. ### Source excerpt I recently attended KotlinConf'23 Amsterdam; these are some of my thoughts on talks I enjoyed. Kotlin & Functional Programming: pick the best, skip the rest by Urs Peter. Dissecting Kotlin: Unsealing the Sealed, the SAM, and Other Syntax by Huyen Tue Dao Meta-programming with KSP and Kotlin compiler plugins by Tadeáš Kříž Why code autocompletion works faster on weekends by Egor Tolstoy Kotlin Multiplatform 5 years of Multiplatform Settings by Russell Wolf Kotlin Multiplatform Conversions at Android Jetpack Scale by Dustin Lam and James Ward One of the most promising demos I saw was SKIE. The premise of SKIE is a Swift-friendly API Generator for Kotlin Multiplatform. You may already be familiar with MOKO KSwift but SKIE looks incredibly more powerful. NOTE: I will be adding to this as I continue to write up my notes. Join medium to read all of my articles or subscribe for e-mail updates. ## Kotlin DSL is Now the Default for New Gradle Builds DevFeed: [Kotlin DSL is Now the Default for New Gradle Builds]() Original publisher: [Read original article]() Author: Paul Merlin Published: 2023-04-13T04:00:00Z Content type: article Language: en Sources: [The Gradle Blog]() Topics: [Gradle](), [Kotlin](), [IntelliJ IDEA](), [Android Studio](), [ide](), [Declarative programming](), [Functional programming](), [Refactoring]() Tags: [android-studio](), [build-tool](), [declarative](), [dependencies](), [functional-programming](), [gradle](), [ide](), [intellij-idea](), [kotlin](), [refactoring]() ### AI overview This article explains that Kotlin DSL is now the default for new Gradle builds, while Groovy DSL remains supported for existing projects and users who prefer it. It describes Kotlin DSL's static typing, concise syntax, functional programming support, declarative build language, and IDE assistance in IntelliJ IDEA and Android Studio, including auto-completion, documentation access, source navigation, and context-aware refactoring. It also highlights support for version catalogs and improvements to code analysis and auto-completion. ### Source excerpt Kotlin DSL for Gradle was introduced in version 3.0 of the Gradle Build Tool in August 2016 and released as 1.0 in Gradle 5.0. Since then, it's been growing in popularity and has greatly improved the authoring experience of many Gradle builds. Kotlin DSL is now the default choice for new Gradle builds. This means that when creating a new project with Gradle, including in IntelliJ IDEA (starting with 2023.1) and Android Studio (starting with Giraffe), Kotlin DSL is the default option. Support for Groovy DSL will continue for existing projects or those who prefer to use it. In this post, we will explore the benefits of Kotlin DSL and why it is becoming the recommended option for new Gradle builds. We will also discuss some of the improvements that are planned for the future to make Kotlin DSL even better. About Kotlin DSL Kotlin is a powerful language that offers many features that make it an excellent fit for creating a DSL. Its static type system, concise and expressive syntax, and support for functional programming constructs make it easy to create readable and composable DSLs. Kotlin DSL for Gradle takes advantage of the Kotlin language to enable full IDE assistance for build authoring in IntelliJ IDEA and Android Studio. This includes auto-completion, smart content assist, quick access to documentation, navigation to source, and context-aware refactoring. With Kotlin DSL, you can edit your build logic with the same editing experience you are used to when working with your production and test code. Gradle combines Kotlin language features with its capabilities to provide an elegant and extensible declarative build language that enables expressing any build clearly and understandably. Dynamically added elements of the build model, like project dependencies (when using version catalog) or subproject names in multi-project builds, benefit from static typing and IDE assistance. Gradle plugins extend Kotlin DSL by contributing extensions and tasks made available static ## Bean Machine Retrospective, part 8 DevFeed: [Bean Machine Retrospective, part 8]() Original publisher: [Read original article]() Author: ericlippert Published: 2023-02-23T20:54:17Z Content type: article Language: en Sources: [Eric Lippert]() Topics: [Code](), [Functional programming](), [Compiler](), [Code review]() Tags: [algorithm](), [code](), [compiler](), [functional](), [source](), [test](), [transformation](), [uncategorized]() ### AI overview This retrospective explains Beanstalk's combinator-inspired source code transformation system. It uses functional programming for AST transformations, with patterns, partial transformation rules, and combinators. The approach aims to make rewriting logic concise, testable, and easy to adapt to different traversal strategies. ### Source excerpt Before getting into the details of how my combinator-inspired source code transformation system works, I should say first, what is a general overview of the system? and second, why did I build it at all? In my experience, a typical ... Continue reading -> ## Bean Machine Retrospective, part 7 DevFeed: [Bean Machine Retrospective, part 7]() Original publisher: [Read original article]() Author: ericlippert Published: 2023-02-08T18:19:08Z Content type: tutorial Language: en Sources: [Eric Lippert]() Topics: [Programming](), [Compiler](), [Parser](), [Python](), [Functional programming]() Tags: [ast](), [compiler](), [function](), [functional-programming](), [programming](), [programming-language](), [syntax](), [uncategorized]() ### AI overview This installment explains how function composition and ideas from combinatory logic and functional programming can model control flow as combinators for constructing compiler workflows. It introduces abstract syntax trees and uses Python's ast module in the context of Bean Machine's compiler. ### Source excerpt How do we write a compiler in a typical general-purpose line-of-business OO programming language such as Python, C#, Java, and so on? Compilers are programs, so we could make the question more general: how do we write programs? The basic ... Continue reading -> ## Functional Classes in Clojure DevFeed: [Functional Classes in Clojure]() Original publisher: [Read original article]() Published: 2023-01-19T00:00:00Z Content type: article Language: en Sources: [Robert C. Martin](), [The Clean Code Blog]() Topics: [Clojure](), [Functional programming](), [Programming](), [Code](), [Polymorphism]() Tags: [clojure](), [code](), [functional-programming](), [inheritance](), [programming]() ### AI overview The article explains how class-like abstractions can be implemented in functional programming using Clojure. It presents a Dilithium Cloud example built from named functions, an internally defined data structure, dynamic type specifications, constructors, methods, and unit-test validation, while arguing that class syntax, inheritance, and polymorphic dispatch are not required. ### Source excerpt My previous blog seemed only to continue the confusion regarding classes in Functional Programming. Indeed, many people got quite irate. So perhaps a bit of code will help. Trigger Warning: Object Oriented Terminology. Dynamically Typed Language. Mixed Metaphors. Distracting Animations. To all the adherents of the Statically Typed Functional Programming religion: I know that you believe that Static Typing is an essential aspect of Functional Programming and that no mere dynamically typed language could ever begin to approach the heights and glory of The One True and Holy TYPED Functional Apotheotic Paradigm. But we lowly programmers quivering down here at the base of Orthanc can only hope to meekly subsist on the dregs that fall from on high. (R.I.P. Kirstie Alley OK, so, once again... A class is an intentionally named abstraction that consists of a set of narrowly cohesive functions that operate over an internally defined data structure. We do not need the class keyword. Nor do we need polymorphic dispatch. Nor do we need inheritance. A class is just a description, whether in full or in part, of an object. For example - it's time we talked about clouds (which I have looked at from both sides now; and do, in fact, understand pretty well). So... Here come your father's parentheses! (ns spacewar.game-logic.clouds (:require [clojure.spec.alpha :as s] [spacewar.geometry :as geo] [spacewar.game-logic.config :as glc])) (s/def ::x number?) (s/def ::y number?) (s/def ::concentration number?) (s/def ::cloud (s/keys :req-un [::x ::y ::concentration])) (s/def ::clouds (s/coll-of ::cloud)) (defn valid-cloud? [cloud] (let [valid (s/valid? ::cloud cloud)] (when (not valid) (println (s/explain-str ::cloud cloud))) valid)) (defn make-cloud ([] (make-cloud 0 0 0)) ([x y concentration] {:x x :y y :concentration concentration})) (defn harvest-dilithium [ms ship cloud] (let [ship-pos [(:x ship) (:y ship)] cloud-pos [(:x cloud) (:y cloud)]] (if (< (geo/distance ship-pos cloud-pos) glc/dilit [Next page]()