Tweag.io
Tweag.io
Founded in 2013, Tweag I/O has become an established research & development lab at the heart of Europe with a single mission in mind: to build fast, correct and maintainable software solutions with its clients. We bring together experts in distributed systems, compilers and formal methods to build scalable designs at the lowest complexity budget.
-
Theorems for Free
Featuring Lars Hupel
We can extract a lot of information from type signatures. But how does it work? In this talk Lars Hupel will revisit Philip Wadler's influential (and very cool) paper "Theorems for free!".
haskell parametricity -
Comparing Strict and Lazy
Featuring Arnaud Spiwack
Strict and lazy languages are often pitted against each other but rarely honestly compared. Let's take a step back from the slogans and examine the trade-offs between lazy and strict. Not which is best: how they compare.
haskell strict lazy -
2
Smallpt-hs: Porting a Raytracer's Performance to Haskell
Featuring davean scies and Siddharth Bhat
Let's tune a Haskell program to be as fast as C! (1) Begin with smallpt, a 100 line C raytracer that we naively port to Haskell. (2) balk at the 5x performance slowdown. (3) Roll up our sleeves. (4) Performance parity!
haskell raytracer porting -
Practical Property Testing
Featuring Tom Sydney Kerckhove
In this talk Tom Sydney Kerckhove discusses how to implement proper property testing in Haskell. It moves way beyond the classic toy examples and examined real-world scenarios, taking a deep-dive into how to make property tests interact with web services or database systems.
haskell testing -
Stronger Types! : A Brief Introduction to Refinement Types and Dependent Types (Lightning Talk)
Featuring Eric Bond
Haskell is known for its strong static typing but there are even stronger typing disciplines: Refinement Types and Dependent Types. In this lightning talk Eric Bond offers a brief introduction to both.
haskell dependent-types refinement-types -
Shpadoinkle User Interface Programming (Lightning Talk)
Featuring Isaac Shapira
Shpadoinkle is the simplest, easiest way to write a performant, maintainable web UI in Haskell. Learn how our growing community and ecosystem of tools can help you deliver exceptional user experiences.
haskell web ui -
Performance Proposal: Rhythmr, Or Semi-Automated Audio Loops (Lightning Talk)
Featuring Greg Travis
Rhythmr is an interactive tool to create music from randomly selected audio loops. It presents combinations of loops, and you swipe left or right. As you continue, it improves its guesses to match your preferences.
haskell user-interaction optimization profiling graphics audio -
Building a Web Library Using Super Hard Haskell
Featuring Marcin Rzeźnicki
Have you heard of the Simple Haskell initiative? They've got a point, right? Safety, simplicity, Haskell'98 with maybe some benign extensions. You better hear what you are missing and I'll tell you — you're missing a lot
haskell domain-modelling ghc-rewrite datakinds ffi library-design -
Simplifying Constraint Solving in GHC
Featuring Richard Eisenberg
This example-driven talk focuses on GHC constraint solver. You'll get a glimpse of how GHC works under the hood, learn why it's so hard to get good error messages, and get a sense for the kinds of problems that exist in GHC's type checker.
haskell type-checking -
User Friendly Optics
Featuring Andrzej Rybczak
In this talk, Andrzej presents the
haskell optics libraryopticslibrary and discusses some key differences from thelenslibrary that lead to better user experience. He'll also share how to use it to solve the "Haskell record problem" in a satisfactory way.