Hacker News with Generative AI: Functional Programming

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
14 points by todsacerdoti 19 hours 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
111 points by mailgolub 5 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 8 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 11 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 13 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 24 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 28 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 30 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 31 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 32 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 39 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 42 days ago | 26 comments
Fold-... and Monoids (blogspot.com)
Functional Programming, Lisp, Programming Languages
103 points by ykm 46 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!
New Releases, Programming Languages, Erlang, JavaScript, Functional Programming
20 points by lpil 47 days ago | 1 comments
K/Simple in OCaml (uwaterloo.ca)
OCaml, Programming Languages, Functional Programming
7 points by tosh 48 days ago | 1 comments
Rohlang3: A point-free, homoiconic, and dependently typed "SK calculus" (rohan.ga)
I’ve long been obsessed with minimalistic languages that still manage to have expressive power. My usual approach: start with a bare-bones combinator calculus (like SK), then keep adding “one more extension” until it looks suspiciously like a full-blown typed language. rohlang3 is exactly that experiment. It’s a small language built in Rust that tries to be point-free, homoiconic, and (somewhat) dependently typed, all on top of an SK-like foundation—plus reflection, partial evaluation, and a weird environment reordering system.
Programming Languages, Functional Programming, Language Design, Rust
54 points by ocean_moist 49 days ago | 9 comments
Overloading the lambda abstraction in Haskell (2022) (acatalepsie.fr)
Functional Programming, Haskell, Programming Languages
69 points by 082349872349872 54 days ago | 15 comments
Into CPS, Never to Return (bernsteinbear.com)
CPS, or continuation-passing style, is an intermediate representation for programs, particularly functional programs. It’s used in compilers for languages such as SML and Scheme.
Programming Languages, Functional Programming, Compilers
137 points by g0xA52A2A 57 days ago | 57 comments
F*: A proof oriented general purpose programming language (fstar-lang.org)
F* (pronounced F star) is a general-purpose proof-oriented programming language, supporting both purely functional and effectful programming.
Programming Languages, Proof Assistants, Functional Programming
254 points by akkad33 57 days ago | 61 comments
Better Scala Builds with the Mill Build Tool, Functional Scala Online 2024 [video] (youtube.com)
Scala, Programming, Tools, Functional Programming, Conferences
30 points by Ivoah 60 days ago | 4 comments
How types make hard problems easy (mayhul.com)
Over the last couple years, my programming brain has become increasingly warped around types, functional programming principles & Typescript.
Typescript, Functional Programming, Programming, Software Development
158 points by tlf 63 days ago | 167 comments
Relational Lisp – AP5 (ap5.com)
AP5 is an extension to commonlisp which allows users to "program" at a more "specificational" level.
Programming Languages, Lisp, Functional Programming
70 points by medo-bear 64 days ago | 3 comments
Fault Report – and alternative to Result in F# (blasuc.ci)
This blog post is late. Not just days or weeks late. And not just because I promised Vlad and Jimmy I'd write up something back in early 2023 (sorry, gents). No, it's very much later: the approach described herein should have been presented to the FSharp.Core maintainers way back in 2016. After all, that's where this all began.
Programming, F#, Functional Programming
66 points by fire_lake 64 days ago | 18 comments
Array Languages for Clojurians (2020) (appliedscience.studio)
A discussion in the Clojure data science Zulip led me to Slobodan Blazeski’s enlightening article Array languages for Lisp programmers in the journal of the British APL Association. He quotes Alan Perlis:
Clojure, Data Science, Programming Languages, Functional Programming
106 points by simonpure 68 days ago | 13 comments
John Carmack on Functional Programming in C++ (sevangelatos.com)
Probably everyone reading this has heard “functional programming” put forth as something that is supposed to bring benefits to software development, or even heard it touted as a silver bullet.
Functional Programming, C++, Software Development
11 points by tosh 68 days ago | 3 comments
Ad-Hoc Effects in Rust (hannobraun.com)
Let's talk about Rust today, because it has ad-hoc effects, no principled effect system, and has real problems because of that.
Rust, Programming Languages, Functional Programming
5 points by p4ul 69 days ago | 0 comments
The humble for loop in Rust (startifact.com)
Rust has some really nice functional programming facilities built in, all around an iterator concept.
Rust, Programming Languages, Functional Programming
94 points by todsacerdoti 70 days ago | 56 comments
Show HN: Lfi – a lazy functional sync, async, and concurrent iteration library (lfi.dev)
lfi is a lazy functional sync, async, and concurrent iteration library
Programming, Libraries, Functional Programming, Asynchronous Programming, Concurrency
98 points by tomeraberbach 71 days ago | 48 comments
Functional Core, Imperative Shell – Scott Wlaschin (youtube.com)
Functional Programming, Software Development, Programming Paradigms, Design Patterns
3 points by fuzztester 78 days ago | 1 comments
A Novel Idea About `Functor` in Rust? (wolfgirl.dev)
So. In my last post about this compiler project, I wrote out the following trait definition, explaining that it’s what I was using to do type-safe AST transformations:
Rust, Programming, Functional Programming, Compiler Design
36 points by lukastyrychtr 82 days ago | 6 comments