47 Degrees
47 Degrees is a global consulting and training firm who fundamentally believes that all enterprises can deliver landmark performance and innovate on new business models with data and software. Using battle-tested functional programming and cutting-edge technologies, we unlock these opportunities by modernizing and transforming our clients’ data supply chains to be more real-time, responsive, secure, and automated. In addition to helping upskill teams for our clients, we launched the 47 Degrees Academy. The Academy is an immersive experience with in-depth instructor-led courses with hands-on exercises, webinars, talks, and special events. Our events focus on languages like Haskell, Kotlin, Scala, and Swift, among others, and will take you on a visual journey through concepts, patterns, and applications led by seasoned trainers who are also Functional Programming veterans. We believe that community is the core of what makes us thrive. Our commitment to helping improve functional programming includes investing heavily in creating and contributing to open-source libraries, and hosting large-scale conferences, Meetups, and other events.
-
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 libraryoptics
library and discusses some key differences from thelens
library that lead to better user experience. He'll also share how to use it to solve the "Haskell record problem" in a satisfactory way.