Alfredo Di Napoli
Senior Haskell Engineer · Distributed Systems
Beauty-driven developer. Haskell since 2010. Engineer at Well-Typed. Open source contributor and public speaker based in Rome.
haskell
type-driven design
distributed systems
compilers
"Beauty is more important in computing than anywhere else in
technology because software is so complicated. Beauty is the
ultimate defense against complexity."
— David Gelernter
// what i'm building
// featured
Rusholme
A toy Haskell compiler in Zig. Frontend, Core, GRIN, LLVM/WASM/C backends. Open source, in development.
// talks
Public Speaking
Talks on Haskell in production, distributed systems, and video transcoding at LambdaCon, Haskell Exchange and more.
// open source
GHC & Haskell libraries
Contributor to GHC as well as many Haskell open source libraries.
// writing
all posts →
- 2018-12-20 How to backup and store your GPG private key (semi) securely security
- 2017-05-06 About MonadBaseControl haskell
- 2017-04-07 The simplest Haskell Priority Queue implementation I know of haskell
- 2017-03-16 Deploying Haskell on AWS Lambda haskell
- 2016-10-23 iconv-typed: An experiment in API design and type safety types