Posted on November 7, 2024 Tags: Agda New paper: “Algebraic Effects Meet Hoare Logic in Cubical Agda”, by myself, Zhixuan Yang , and Nicolas Wu , will be published at POPL 2024. Zhix...
https://doisinkidney.com/posts/2024-11-07-algebraic-free-monads.html
If you, like me, are using corfu to get in-buffer completion and extend it with orderless to make it even more powerful, you might have noticed that you lose the orderless style as soon as you...
https://magnus.therning.org/2024-05-04-orderless-completion-in-lsp-mode.html
In this episode, Andres Löh and Matthías Páll Gissurarson interview José Nuno Oliveira, who has been teaching Haskell for 30 years. José talks about how Haskell is the perfect language to in...
tl;dr You may not believe it, but Nix documentation is getting better. Nixpkgs and NixOS still need more time. TABLE OF CONTENTS Overview Motivation Statistics Retrospective Thoughts on ...
Today, 2024-05-01, at 1830 UTC (11:30 am PDT, 2:30 pm EDT, 7:30 pm BST, 20:30 CEST, …) we are streaming the 24th episode of the Haskell Unfolder live on YouTube . > THE HASKELL UNFOLDER E...
https://well-typed.com/blog/2024/05/haskell-unfolder-episode-24-generic-unfolds
SUMMARY: Thufir Hawat is the real traitor. He set up Yueh to take the fall. This blog post began when I wondered: > Hawat knows that Wellington Yueh has, or had a wife, Wanna. ...
I'm strangely fascinated and often amused by crooked politicians, and Rod Blagojevich was one of the most amusing. In 2007 Barack Obama, then a senator of Illinois, resigned his office to run f...
GHC 9.10.1-RC1 IS NOW AVAILABLE BGAMARI - 2024-04-27 The GHC developers are very pleased to announce the availability of the release candidate for GHC 9.10.1. Binary distributions, source distr...
http://haskell.org/ghc/blog/202404127-ghc-9.10.1-rc1-released.html
The Nix daemon uses a custom binary protocol — the nix daemon protocol — to communicate with just about everything. When you run nix build on your machine, the Nix binary opens up a...
ghc-debug is a debugging tool for performing precise heap analysis of Haskell programs (check out our previous post introducing it ). While working on Eras Profiling , we took the opportunity to ...
The principle of explosion is that in an inconsistent system everything is provable: if you prove both and not- for any , you can then conclude for any : $$(P land lnot P) to Q.$$ This is, to...
I've just learned that Oddbins, a British chain of discount wine and liquor stores, went out of business last year. I was in an Oddbins exactly once, but I feel warmly toward them and I was sorry...
I've recently needed to explain to nontechnical people, such as my chiropractor, why the recent ⸢AI⸣ hype is mostly hype and not actual intelligence. I think I've found the magic phrase that ...
https://blog.plover.com/tech/gpt/chat-gpt-is-a-talking-dog.html
Posted on 2024-04-21 by Oleg Grenrus Safe coercions in GHC are a very powerful feature. However, they are not perfect; and already many years ago I was also thinking about how we could make th...
https://oleg.fi/gists/posts/2024-04-21-a-note-about-coercions.html
A few days after I published Hackage revisions in Nix I got a comment from Wolfgang W that the next release of Nix will have a callHackageDirect with support for specifying revisions. The co...
https://magnus.therning.org/2024-04-20-update-to-hackage-revisions-in-nix.html
Posted on 2024-04-18 by Oleg Grenrus Recently I came up with a criteria for a good warning to have in a compiler: > If compiler makes a choice, or has to deal with some complicat...
https://oleg.fi/gists/posts/2024-04-18-warnings-criteria.html
Last year, at the end of winter, we wrote our impressions of the trends and evolution of infrastructure and configuration management after attending FOSDEM and CfgMgmtCamp . We’re at it again...
Avi Press is interviewed by Joachim Breitner and Andres Löh. Avi is the founder of Scarf, which uses Haskell to analyze how open source software is used. We’ll hear about the kind of shitstorm...
INTRODUCTION PenroseKiteDart is a Haskell package with tools to experiment with finite tilings of Penrose’s Kites and Darts. It uses the Haskell Diagrams package for drawing tilings. As well ...
https://readerunner.wordpress.com/2024/04/08/penrosekitedart-user-guides/
GHC 9.6.5 IS NOW AVAILABLE ZUBIN DUGGAL - 2024-04-16 The GHC developers are happy to announce the availability of GHC 9.6.5. Binary distributions, source distributions, and documentation are av...
http://haskell.org/ghc/blog/20240416-ghc-9.6.5-released.html
GHC 9.10.1-ALPHA3 IS NOW AVAILABLE BGAMARI - 2024-04-15 The GHC developers are very pleased to announce the availability of the third alpha release of GHC 9.10.1. Binary distributions, source d...
http://haskell.org/ghc/blog/20240415-ghc-9.10.1-alpha3-released.html
Specialization is an optimization technique used by GHC to eliminate the performance overhead of ad-hoc polymorphism and enable other powerful optimizations. However, specialization is not free, ...
https://well-typed.com/blog/2024/04/choreographing-specialization-pt1
Posted on 2024-04-12 by Oleg Grenrus inspection-testing was created over five years ago. You may want to glance over Joachim Breitner A promise checked is a promise kept: inspection testing )...
TL;DR If you’d like a job with us, send your application as soon as possible. We are looking for a Haskell expert to join our team at Well-Typed. We are seeking a strong all-round Haskell dev...
https://well-typed.com/blog/2024/04/haskell-development-job-with-well-typed
Every year I try to solve some problems from the Advent of Code (AoC) competition in a not straightforward way . Let’s solve the part one of the day 19 problem Aplenty by compiling the prob...
https://abhinavsarkar.net/posts/compiling-aoc23-aplenty/?mtm_campaign=feed
Roman, known better online as effectfully, is interviewed by Wouter and Joachim. On his path to becoming a Plutus language developer at IOG, he learned English to read Software Foundations, ha...
This is the second installment of the in-depth series of blog-posts on developing native macOS and iOS applications using both Haskell and Swift/SwiftUI. This post covers how to call (non-trivial...
https://well-typed.com/blog/2024/04/calling-haskell-from-swift
GRAPHS, KITES AND DARTS Figure 1: Three Coloured Patches NON-PERIODIC TILINGS WITH PENROSE’S KITES AND DARTS (An updated version, since original posting on Jan 6, 2022) We continue our i...
https://readerunner.wordpress.com/2022/01/06/graphs-kites-and-darts/
We have been exploring properties of Penrose’s aperiodic tilings with kites and darts using Haskell . Previously in Diagrams for Penrose tiles we implemented tools to draw finite tilings usi...
https://readerunner.wordpress.com/2023/04/26/graphs-kites-and-darts-empires-and-superforce/
We continue our exploration of properties of Penrose’s aperiodic tilings with kites and darts using Haskell and Haskell Diagrams . In this blog we discuss some interesting properties we have...
https://readerunner.wordpress.com/2023/09/12/graphs-kites-and-darts-and-theorems/
Posted on 2024-04-01 by Oleg Grenrus In programming languages with sophisticated type systems we easily run into inconvenience of providing many (often type) arguments explicitly. Let's take a...
https://oleg.fi/gists/posts/2024-04-01-implicit-arguments.html
GHC 9.10.1-ALPHA2 IS NOW AVAILABLE BGAMARI - 2024-03-29 The GHC developers are very pleased to announce the availability of the second alpha release of GHC 9.10.1. Binary distributions, source ...
http://haskell.org/ghc/blog/20240329-ghc-9.10.1-alpha2-released.html
Evaluation of Retrieval-Augmented Generation (RAG) systems is paramount for any industry-quality usage. Without proper evaluation we end up in the world of “it works on my machine”. In the re...
https://tweag.io/blog/2024-03-21-evaluating-retrieval-in-rag-framework/
In this episode, András Kovács is being interviewed by Andres Löh and Matthias Pall Gissurarson. We learn how to go from economics to functional programming, how GHC's runtime system is superi...
When I describe the Yesod web framework, one of the terms I use is the boundary issue. Internally, I view Yesod as an organized, structured, strongly typed ecosystem. But externally, it's dealing...
Posted on 2024-03-17 by Oleg Grenrus IMPLEMENTATION I wish there were an early exit functionality in the ST monad. This need comes time to time when writing imperative algorithms in Haskell. ...
https://oleg.fi/gists/posts/2024-03-17-st-with-early-exit.html
Today I got very confused when using callHackageDirect to add the openapi3 package gave me errors like this > Using Parsec parser > Configuring openapi3-3.2.3... > CallStack (from HasC...
https://magnus.therning.org/2024-03-14-hackage-revisions-in-nix.html
GHC 9.10.1-ALPHA1 IS NOW AVAILABLE BGAMARI - 2024-03-13 The GHC developers are very pleased to announce the availability of the first alpha release of GHC 9.10.1. Binary distributions, source d...
http://haskell.org/ghc/blog/20240313-ghc-9.10.1-alpha1-released.html
This is an answer to a recent request for comments issued by CISA, the United States “Cybersecurity and Infrastructure Security Agency”, about software identifiers. Unfortunately I wasn’t a...
https://tweag.io/blog/2024-03-12-nix-as-software-identifier/
I like using one machine and setup for everything, from serious development work to hobby projects to managing my finances. This is very convenient, as often the lines between these are blurred. ...
https://www.joachim-breitner.de/blog/812-Convenient_sandboxed_development_environment
Wouter and Niki interview Jose Calderon, the new Executive Director of the Haskell Foundation. Jose tells why he applied for the job, how he sees the foundation developing over the coming years, ...
The siren song of domain-specific languages I’ve seen a lot of engineering teams mistakenly believe that they can author domain-specific languages for less technical users on a budget. In par...
https://www.haskellforall.com/2024/02/the-siren-song-of-domain-specific.html
Unification-free ("keyword") type checking From my perspective, one of the biggest open problems in implementing programming languages is how to add a type system to the language without signif...
https://www.haskellforall.com/2024/02/unification-free-keyword-type-checking.html
In the past I've noticed that Warp both writes to stdout at times and produces some default HTTP responses, but I've never bothered taking the time to look up what possibilities it offers to ch...
After seven years of service as member and secretary on the GHC Steering Committee, I have resigned from that role. So this is a good time to look back and retrace the formation of the GHC propos...
https://www.joachim-breitner.de/blog/811-GHC_Steering_Committee_Retrospective
We're going to build up a deadlock together. If you're unfamiliar with Rust and/or its multithreaded concepts, you'll probably learn a lot from this. If you are familiar with Rust's multithreadin...
https://www.snoyman.com/blog/2024/01/best-worst-deadlock-rust/
Functional Programming (FP) and Object Oriented Programming (OOP) are the two most important programming paradigms in use today. In this article, we'll discuss these two different programming par...
https://mmhaskell.com/blog/functional-programming-vs-object-oriented-programming
INTRODUCTION Andrej Bauer has a paper titled The pullback lemma in gory detail that goes over the proof of the pullback lemma in full detail. This is a basic result of category theory and most...
https://derekelkins.github.io/posts/the-pullback-lemma-in-gory-detail-redux.html
PENROSE KITE AND DART TILINGS WITH HASKELL DIAGRAMS Revised version (no longer the full program in this literate Haskell) Infinite non-periodic tessellations of Roger Penrose’s kite and dart...
https://readerunner.wordpress.com/2021/09/13/diagrams-for-penrose-tiles/
Comments are often a simple item to learn, but there's a few ways we can get more sophisticated with them! This article is all about writing comments in Haskell. Here's a quick outline to get you...
STACKAGE LTS 22 HAS BEEN RELEASED The Stackage team is happy to announce that Stackage LTS version 22 was released last month, based on GHC stable version 9.6.3. LTS 22 includes many package ...
https://www.stackage.org/blog/2024/01/announce-lts-22-nightly-ghc-9.8
INTRODUCTION It is not uncommon for universal quantification to be described as (potentially) infinite conjunction1 . Quoting Wikipedia’s Quantifier_(logic) page (my emphasis): > For a f...
https://derekelkins.github.io/posts/universal-quantification-and-infinite-conjunction.html
In this article we're going to write the easiest program we can in the Haskell programming language. We're going to write a simple example program that prints "Hello World!" to the console. It's ...
In the last post , we investigated the switch combinator, and saw how it can give us the ability to work with “state machine�-sorts of things in our functionally reactive programs. ...
https://reasonablypolymorphic.com/blog/yampa-routing/index.html
Yesterday we looked at arrowized FRP in Yampa, and saw how it the proc notation is to arrows as do is for monads. While these syntaxes don’t give you any new power, notation nevertheless ...
https://reasonablypolymorphic.com/blog/yampa-switching/index.html
It was pointed out to me that I have not blogged about this, so better now than never: Since 2021 I am – together with four other hosts – producing a regular podcast about Haskell, the HASK...
https://www.joachim-breitner.de/blog/810-The_Haskell_Interlude_Podcast
INTRODUCTION The purpose of this article is to answer the question: what is the coproduct of two groups? The approach, however, will be somewhat absurd. Instead of simply presenting a constructi...
https://derekelkins.github.io/posts/what-is-the-coproduct-of-two-groups.html
In the last part , we got a feel for how FRP can help us with real-time programming tasks, especially when contrasted against implicit models of time. However, the interface we looked at yesterda...
https://reasonablypolymorphic.com/blog/arrowized-frp/index.html
I’ve been writing some Haskell lately, for the first time in a year, and it’s a total blast! In particular, school is out for the holidays, so I had some spare time, and thought Iâ...
I'm writing this in case someone else is getting strange errors when trying to use amazonka-s3 with localstack . It took me rather too long finding the answer and neither the errors I got from ...
https://magnus.therning.org/2023-12-09-getting-amazonka-s3-to-work-with-localstack.html