▽Awesome Haskell
●11/26 14:12
telegram-bot-simpleEasy to use library for building Telegram bots in Haskell.Featured Package // Category telegramYesterdayDear Language Designers: Please Copy `Where` from HaskellArticle Popular Story // kiru.ioLast 7 DaysLast 30 Days

▽Haskell Weekly
●11/23 05:00
Issue 447 of the newsletter was published on 2024-11-21. Browse the archives for older issues.The content on this site is licensed under a Creative Commons Attribution 4.0 International license. The code that powers this site is available on GitHub. Powered by version 0.2024.11.21.

▽Haskell for all
●11/16 00:59
Thursday, November 14, 2024The Haskell inlining and specialization FAQThis is a post is an FAQ answering the most common questions peopleask me related to inlining and specialization. I’ve also structured itas a blog post that you can read from top to bottom.What is inlining?“Inlining” means a compiler substituting a function call or avariable with its definition when compiling code. A real

▽Daniel Gratzer
●11/10 01:14
University as a visiting researcher and will start as an assistant professor at Aarhus University inthe spring of 2025. Have a look at my cv or this photo.I study programming languages and type theories through the lens of category theory. While I ambroadly interested in these subjects, my research is focused on dependent type theory and morespecifically on modal or homotopy type theory. For i

▽The H2 Wiki
●10/29 09:38
bluefin-prevents-handles-leaking