Hardware implementations of high level functional programming languages. Supported by the EPSRC HAFLANG project at Heriot-Watt University (EP/W009447/1).
Joined August 2022
- Tweets 83
- Following 2
- Followers 81
- Likes 1
28 Photos and videos
Pinned Tweet
Here's a thread with the recorded YouTube talks from our HAFDAL workshop 👇
Starting with...
Carl-Johan Seger (Chalmers University of Technology) - The Cephalopode Project: Creating a low-power IoT device aimed at functional language execution.
youtube.com/watch?v=nn2AerR4…
2
1
1
339
We've curated a 100 year history of functional language hardware architectures. From 1924 to 2023.
This animated timeline is best viewed on a desktop or laptop.
haflang.github.io/history.ht…
3
14
47
6,647
A new slide about the collapse of the LISP machine market around 1987:
haflang.github.io/history.ht…
1
2
98
Yukang Xie is presenting his research at TFP 2025 in Oxford. Draft paper title: "KappaMutor: A Compact Structured Combinator Processor for Haskell"
Yukang is a PhD student on our EPSRC HAFLANG project.
3
7
597
HAFLANG - Functional Languages in Hardware retweeted
11 Apr 2019
2
10
24
Some active and recent graph reduction projects, which implement functional programming languages directly in custom hardware.
A slide from Craig Ramsay's HAFLANG seminar talk at Chalmers University today.
1
2
166
Craig Ramsay is giving a project talk "Hardware Architectures for Lazy Functional Programming, Revisited" at SPLS at the University of Glasgow, 6th November.
spli.scot/spls/meetings/2024…
77
Yukang Xie, a new PhD student on this HAFLANG project, is investigating processor design for functional languages. His background is dataflow architectures for cryptography, and has developed an interest in functional languages and their implementations.
haflang.github.io/people.htm…
1
5
156
HAFLANG - Functional Languages in Hardware retweeted
Our latest paper about Cloaca, an FPGA-based GC that uses hardware-level synchronisation and write barriers to avoid damaging graph reduction performance. We see significantly higher throughput and lower latency compared with a software GC implementation.
doi.org/10.1145/3677999.3678…
4
3
475
HAFLANG - Functional Languages in Hardware retweeted
Our paper "Cloaca: A Concurrent Hardware Garbage Collector for Non-Strict Functional Languages" has been accepted to the Haskell Symposium 2024.
It combines mark-and-sweep tracing with one-bit reference counting. It runs concurrently to the mutator, both implemented in hardware.
2
3
4
221
"Calculateur Fonctionnel" - A great name for a French functional architecture.
We appreciate the nod to recursion, with the display unit in the display unit in the...
From "A Functional Data-flow Architecture Dedicated to Real-time Image Processing", Sérot et al., PACT'93.
1
2
111
HAFLANG - Functional Languages in Hardware retweeted
9 Jun 2018
Real functional programmers code in SK.
CC @GregMichaelson1
origin: Matthew Naylor, adapted from Chris Kania.
4
22
76
Our IFL paper presents a processor for non-strict functional languages. By avoiding complex CPU circuitry and compiler indirections, it performs 6 times more reductions per cycle than GHC, competing with a 4.7GHz Intel CPU despite clocking at only 193MHz.
doi.org/10.1145/3652561.3652…
1
3
8
599
Here's a thread with the recorded YouTube talks from our HAFDAL workshop 👇
Starting with...
Carl-Johan Seger (Chalmers University of Technology) - The Cephalopode Project: Creating a low-power IoT device aimed at functional language execution.
youtube.com/watch?v=nn2AerR4…
2
1
1
339
Here's the YouTube playlist for the workshop talks:
youtube.com/playlist?list=PL…
1
35
Here's the workshop's web page:
haflang.github.io/workshops/…
32