Hacker News with Generative AI: Functional Programming

Functors, Applicatives, and Monads (thecoder.cafe)
Hello! Today, we will explore functional programming with the concepts of functors, applicatives, and monads. We will discuss what they are and why they matter one step at a time. Note that all the examples will be in Haskell, but you’re not required to know Haskell to read this post.

Functional Programming, Haskell, Programming Concepts

84 points by abhi9u 6 days ago | 86 comments

Beyond Traditional Pattern Matching in Lisp (github.com/naver)
LispE, a modern Lisp dialect developed by Naver, introduces innovative constructs—defpat, defmacro, and defpred—that set it apart from traditional Lisp implementations like Common Lisp, Scheme, and Clojure.

Lisp, Programming Languages, Functional Programming

3 points by todsacerdoti 9 days ago | 1 comments

Half Constructed Objects Are Unnecessary (jerf.org)
Functional programming languages of the type I’m talking about have immutable objects1.

Functional Programming, Programming Languages, Software Development

8 points by todsacerdoti 14 days ago | 3 comments

Non-Obvious Haskell Idiom: Guard-Sequence (entropicthoughts.com)
Reading production Haskell code, we sometimes stumble over idioms that look confusing at first, but which show up frequently enough that they are worth learning. This is one of those examples, where we optionally return something with guard-sequence.

Haskell, Programming, Code Idioms, Functional Programming

38 points by todsacerdoti 14 days ago | 3 comments

Two new graph-based functional programming languages (lwn.net)
Functional programming languages have a long association with graphs. In the 1990s, it was even thought that parallel graph-reduction architectures could make functional programming languages much faster than their imperative counterparts. Alas, that prediction mostly failed to materialize. Even though graphs are still used as a theoretical formalism in order to define and optimize functional languages (such as Haskell's spineless tagless graph-machine), they are still mostly compiled down to the same old non-parallel assembly code that every other language uses.

Functional Programming, Programming Languages, Graph Theory

3 points by sohkamyung 20 days ago | 0 comments

Functional Tests as a Tree of Continuations (2010) (evanmiller.org)
One of the most essential practices for maintaining the long-term quality of computer code is to write automated tests that ensure the program continues to act as expected, even when other people (including your future self) muck with it.

Software Testing, Programming, Functional Programming

69 points by amenghra 20 days ago | 32 comments

The State of Coherence in the Land of Type Classes (programming-journal.org)
Type classes are a popular tool for implementing generic algorithms and data structures without loss of efficiency, bridging the gap between parametric and ad-hoc polymorphism.

Programming Languages, Functional Programming, Type Theory

21 points by mpweiher 24 days ago | 2 comments

F# for Fun and Profit (fsharpforfunandprofit.com)
This site will introduce you to F# and show you ways that F# can help in day-to-day development of mainstream commercial business software. On the way, I hope to open your mind to the joys of functional programming – it really is fun!

Programming Languages, Functional Programming, Software Development

47 points by _benj 28 days ago | 6 comments

A float walks into a gradual type system (ruudvanasseldonk.com)
I am building a new configuration language: RCL. It’s a gradually typed superset of json that extends json into a simple functional language that enables abstraction and reuse. Its main purpose is to generate json, yaml, and toml files, but it makes a pretty good json query tool too. Think jq, but without having to ask an LLM to write the query for you.

Programming Languages, Configuration Management, Functional Programming

29 points by ruuda 31 days ago | 8 comments

Demystifying monads in Rust through property-based testing (sunshowers.io)
In programming pedagogy, monads have a place as a mystical object from the functional programming world that’s hard to understand and even harder to explain.

Rust, Functional Programming, Testing, Programming Pedagogy

5 points by lukastyrychtr 33 days ago | 2 comments

Neut Programming Language (vekatze.github.io)
Neut is a functional programming language with static memory management.

Programming Languages, Functional Programming

147 points by azhenley 38 days ago | 40 comments

Vine: A programming language based on Interaction Nets (vine.dev)

Programming Languages, Functional Programming, Interaction Nets

203 points by todsacerdoti 39 days ago | 49 comments

Neut Programming Language (vekatze.github.io)
Neut is a functional programming language with static memory management.

Programming Languages, Functional Programming, Memory Management

4 points by asicsp 39 days ago | 1 comments

Why Clojure? (gaiwan.co)
Clojure is not one of the handful of "big" mainstream languages. This means that sometimes people are surprised that we are all in on Clojure. Why go against the grain? Why make it harder for yourself by building on niche technology?

Programming Languages, Clojure, Functional Programming

313 points by jgrodziski 40 days ago | 296 comments

Purely Functional Sliding Window Aggregation Algorithm (byorgey.github.io)
Suppose we have a list of items of length \(n\), and we want to consider windows (i.e. contiguous subsequences) of width \(w\) within the list.

Algorithms, Functional Programming, Data Structures

70 points by agnishom 40 days ago | 24 comments

Demystifying monads in Rust through property-based testing (sunshowers.io)
In programming pedagogy, monads have a place as a mystical object from the functional programming world that’s hard to understand and even harder to explain.

Rust, Functional Programming, Testing, Programming

16 points by todsacerdoti 42 days ago | 0 comments

Jill – a functional programming language for the Nand2Tetris platform (github.com/mpatajac)
Jill is a functional programming language built for the Nand2Tetris platform, as an alternative to the original Jack high-level language.

Functional Programming, Programming Languages, Nand2Tetris, Software

113 points by mailgolub 46 days ago | 9 comments

Having an Effect (2016) (okmij.org)
This research has been a journey following the tantalizing lead: the founding papers on monads, monad transformers, free monads and extensible-effects were all about extensible interpreters.

Programming, Functional Programming, Research, Software Development

4 points by akkartik 50 days ago | 0 comments

Is NixOS truly reproducible? (luj.fr)
Build reproducibility is often considered as a de facto feature provided by functional package managers like Nix. Although the functional package manager model has important assets in the quest for build reproducibility (like reproducibility of build environments for example1), it is clear among practitioners that Nix does not guarantee that all its builds achieve bitwise reproducibility. In fact, it is not complicated to write a Nix package that builds an artifact non-deterministically:

NixOS, Reproducibility, Build Systems, Functional Programming, Software Development

248 points by pabs3 53 days ago | 122 comments

Turner, Bird, Eratosthenes: An eternal burning thread (cambridge.org)
Functional programmers have many things for which to thank the late David Turner: design decisions he made in his languages SASL, KRC, and Miranda over the last 50 years are still influential and inspirational now. In particular, Turner was a strong advocate of lazy evaluation and of list comprehensions. As an illustration of these techniques, he popularized a one-line recursive “sieve” to generate the infinite list of prime numbers.

Programming Languages, Functional Programming, History, Computer Science

48 points by matt_d 54 days ago | 22 comments

Invisible State Machines in Rust: Navigating Rust's Impl Future Return Types (hackintoshrao.com)
"What Type Is This, Anyway?"

Rust, Programming Languages, Functional Programming, State Machines

5 points by hackintoshrao 65 days ago | 1 comments

Dualities in functional programming (dicioccio.fr)
Functional programming has taught me to simplify superfluous concepts: identify what are primitive concepts and what are constructions on top these primitives. The constructions themselves need not be multiplied out of proportion: it is better to stick to few ways of combining entities and concepts. Overall, I think I found some internal peace with programming languages when I could recognize enough of such primitives and how to make use of them in various programming styles.

Functional Programming, Programming Languages, Software Development

72 points by prathyvsh 69 days ago | 24 comments

Hyperbole: Haskell interactive serverside web framework inspired by Htmx, Elm (github.com/seanhess)
Create interactive HTML applications with type-safe serverside Haskell. Inspired by HTMX, Elm, and Phoenix LiveView

Haskell, Web Frameworks, Server-Side Programming, Functional Programming, Web Development

32 points by todsacerdoti 71 days ago | 0 comments

A Proper x86 Assembler in Haskell Using the Escardó-Oliva Functional (vmchale.com)
Writing an assembler turns out to be an interesting example: one needs to calculate distances between jumps and their target labels, and the target may appear after the label. It turns out that one can write a one-pass assembler using the tardis monad or in Curry, using logic programming.

Programming Languages, Haskell, Assemblers, Functional Programming

90 points by Smaug123 72 days ago | 19 comments

Open Dylan (opendylan.org)
Dylan is an object-functional language originally created by Apple for the Newton.

Programming Languages, Object-Oriented Programming, Functional Programming

60 points by ofrzeta 73 days ago | 24 comments

Show HN: Pyper – Concurrent Python Made Simple (github.com/pyper-dev)
Pyper is a flexible framework for concurrent and parallel data-processing, based on functional programming patterns. Used for 🔀 ETL Systems, ⚙️ Data Microservices, and 🌐 Data Collection

Python, Data Processing, Functional Programming, Concurrency

156 points by pyper-dev 80 days ago | 35 comments

Gleam v1.7 (gleam.run)
Gleam is a type-safe and scalable language for the Erlang virtual machine and JavaScript runtimes. Today Gleam v1.7.0 has been published, featuring an array of wonderful improvements. Let’s take a look!

Programming, New Releases, Erlang, JavaScript, Functional Programming

182 points by akkad33 83 days ago | 26 comments

Fold-... and Monoids (blogspot.com)

Functional Programming, Lisp, Programming Languages

103 points by ykm 87 days ago | 46 comments

Gleam v1.7 (gleam.run)
Gleam is a type-safe and scalable language for the Erlang virtual machine and JavaScript runtimes. Today Gleam v1.7.0 has been published, featuring an array of wonderful improvements. Let’s take a look!