Haskell Love Conference, online, free!
@_haskellove
Followers
1K
Following
301
Media
240
Statuses
486
#haskelllove https://t.co/vg1yElERCf https://t.co/6KK9yrS6Ql
online
Joined April 2020
w00t, w00t! The last part of the #HaskellLove videos is out! Thanks to @haskellfound for making it possible! We hope to meet you again, the amazing Haskell community! πππ πππ π§΅π§΅π§΅
3
14
37
Andrew Boardman @myShoggoth from the future talks about the history of Haskell, with an emphasis on developments between the past's (present) experience and the current (future). https://t.co/2c4Ge3iqAc
0
1
4
Modern tools make it easy to code with Linear Algebra, but the result is prone to bugs from index mismatches and improperly defined matrices. Ryan Orendorff @codynamorph shows solutions: "Matrix-free" Haskell vs Agda vs Python https://t.co/KUDlp1M8fG
1
0
3
What FP can offer for the music domain? How FP concepts like FRP, composable values can simplify the design of music with code and make it a breeze. Make some basic noises with Anton Kholomiov and see minimal examples of acid techno tunes https://t.co/kzlpG0UsR6
1
0
2
How to make type level programming work for you in a fun and visually appealing way? Learn with Rebecca Skinner @cercerilla how to build a type safe theming API for XMonad so that we can make everything a nice haskell-logo purple. https://t.co/UHmQWybTUD
1
0
8
Strict language extension, Thomas Tuegel @ttuegel explains what it is and what it isn't. See how Strict Haskell allows to reason about strictness and laziness at the type level, and other practices developed while porting a 100 kLoC app from lazy to Strict https://t.co/pqJQglrBAx
1
0
2
We long dreamt of creating software like Lego, assembled easily from reusable blocks. Mainstream languages have failed here. Jan Christopher Vogt @cvogt's stunned that out-of-the-box Haskell naturally delivers on this w/o trickery or crazy features.See how https://t.co/Brpt9aBPYG
1
0
2
Quantum Computing & Haskell - A Linear Love Story? Noon van der Silk discusses the existing landscape for programming quantum computers, and the challenges. See how in Haskell (with linear types), we can go part way to addressing some of these problems. https://t.co/wEvcaulETO
1
0
2
In Haskell, pure functions can throw exceptions, but it differs from exceptions in `IO`. And exceptions get more complicated when the app is concurrent. From basics to the architecture of full-blown apps w/ multiple threads by Ivan Gromakovskii https://t.co/zn0bQjPIVv
1
0
3
Join Veronika Romashkina @vrom911 to explore Haskell puzzlers and experience some surprise, disappointment, excitement, frustration, joy, or just have fun watching Haskell's perfect image being compromised. https://t.co/O1LwVfE6rS
1
1
9
JSON, YAML, XML, Protobuf, etc. Parsing, de/encoding, printing... Dmitrii Kovanikov @ChShersh shows an abstraction for bidirectional conversion in Haskell, how to implement it, how it helps avoid common errors, and how to translate it to other languages. https://t.co/ECjxGlTPCD
1
0
8
Alejandro Serrano Mena @trupill focuses on a critical slice of Haskell, type classes, from the beginning to the myriad of extensions related to it. The goal is to understand the two axes in which type classes make their magic: resolution & elaboration. https://t.co/AGJz4dfoEp
1
2
9
Joseph Morag @MoragJoseph combined his two passions: violin and Haskell. Learn more about his OpenStrings, an expert-system style inference engine written in Haskell for fingerings. https://t.co/Nnwwwcqhi7
1
1
2
A deep-dive on the Alternative typeclass from `Control.Applicative`, which provides a monoid over applicative functors with Chris Penner @chrislpenner. We love monoids, and we love applicatives, what do we get when we combine the two? https://t.co/MNhJJ0u3KK
1
1
5
Continuation-passing style, defunctionalization, and hidden appeal of the algebraic property of associativity in Jeremy Gibbons's @jer_gib talk https://t.co/cJVJxjMMpN
1
1
10
Competitive programming is an exciting mind sport where competitors race to solve difficult programming tasks asap, either individually or as part of a team. Brent Yorgey shows Haskell can shine in this sport! https://t.co/4U5E1frhkE
1
0
1
Alpha-equivalence and capture-avoiding substitution are two fundamental operations in the implementation of the lambda calculus. But, what is the best way to implement these operations in Haskell? Stephanie Weirich @fancytypes shares her experience. https://t.co/VNSU6NV40O
1
0
5
Gershom Bazerman, in "The Best Reliable Software Technique You've Never Used: Unions" explains why the rates of labor organizations are low across the tech sector and why we should care. https://t.co/ZjefnND1rL
1
1
3
Ever wondered why use Haskell to create real-life web apps? Mikael TΓΆnnberg shares the business advantages of using Haskell! https://t.co/Zc4dYLIx9z
1
0
0