Type-level programming for safer resource management
Type-level programming for safer resource management I find type-level naturals useful for enforcing proper usage of APIs or protocols that involve transactions, locking, memory (de)allocation, and similar concerns. In this post I demonstrate the main idea and discuss some of the shortcomings when using this technique with Haskell. Overview of the technique § Consider the following API. -- provide
Parsing Layout, or: Haskell's Syntax is a Mess
Hello! Today we’re going to talk about something I’m actually good at, for a change: writing compilers. Specifically, I’m going to demonstrate how to wrangle Alex and Happy to implement a parser for a simple language with the same indentation sensitive parsing behaviour as Haskell, the layout rule. Alex and Happy are incredibly important parts of the Haskell ecosystem. If you’re a Haskeller, you u
Andre's Blog
Part 1 - Introduction In this post, you’ll learn how to build a lightweight Hindley–Milner type checker in Haskell. No advanced theory is required. We’ll apply it to a tiny, LISP-inspired language so you can focus on how inference works. Hindley-Milner inference may seem intimidating, but I believe that it is much more approachable than it first appears. Each concept is quite understandable. It is
Heftia: The Next Generation of Haskell Effects Management - Part 1.1
This article is the revised version. The archive of the pre-revision version is available at: /blog/heftia/heftia-part-1-1/ Part 1.1: Summary of Part 1 and an overview of heftia Part 1.2: The performance of heftia Part 1.3: Discussion on Type Safety in Haskell’s Effect Systems Part 1.4: Future prospects of heftia In this series, I will explain heftia. This is the first part. Summary heftia is the
Implementing Unsure Calculator in 100 lines of Haskell
Implementing a calculator with normal ranges, embedded in Haskell, using a simplified probability monad. #haskell#probability 1 Unsure Calculator The recently trendy Unsure Calculator makes reasoning about numbers with some uncertainty just as easy as calculating with specific numbers. The key idea is to add a new “range” operator (written ~) to the vocabulary of a standard calculator. The range x
Making a multiplayer action game in Haskell ($4817016) · Snippets · GitLab
You are about to add 0 people to the discussion. Proceed with caution.
Use Monoids for Construction :: Reasonably Polymorphic
There’s a common anti-pattern I see in beginner-to-intermediate Haskell programmers that I wanted to discuss today. It’s the tendency to conceptualize the creation of an object by repeated mutation. Often this takes the form of repeated insertion into an empty container, but comes up under many other guises as well. This anti-pattern isn’t particularly surprising in its prevalence; after all, if y
Case Study — Using a JavaScript component inside a Haskell application | The Haskell Programming Language's blog
Mateusz Goślinowski January 08, 2025 [GHC] #javascript #case-study GHC since version 9.8 allows us to create callbacks from JS to Haskell code, which enables us to create full-fledged browser apps. This article shows how to use the JS backend with foreign component libraries. repository: https://github.com/Swordlash/halogen-blog ghc used: javascript-unknown-ghcjs-ghc-9.12.1 (ghcup) Preface Any use
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
pear/doc/ANNOUNCE.md at main · rampion/pear
GitHub - haskell-miso/miso-lynx: :ramen: 🐈 A tasty Haskell mobile framework
Programming & Proving by Jan van Brügge
Typing the futamura projections in haskell
Violating memory safety with Haskell's value restriction
Quasiquoting for Fun, Profit, Expressions and Patterns — Mlabs.city
Packed Data support in Haskell
GitHub - brandonchinn178/string-syntax
In praise of affine optics
An introduction to Cabal Hooks for package authors
Icicle Lang - Destructive Updates - a Stitch in Time
A New Perspective on Lenses :: Reasonably Polymorphic