# Links

**URL:** https://discourse.haskell.org/c/links/6.md?no_subcategories=false&page=2

[Latest](https://discourse.haskell.org/latest.md) · [Categories](https://discourse.haskell.org/categories.md) · [Tags](https://discourse.haskell.org/tags.md)

**Page:** 3

---

## [Implementing Redis INFO in Haskell](https://discourse.haskell.org/t/implementing-redis-info-in-haskell/14284)

<div class="topic-metadata">

**Author:** [@OlaoluwaM](https://discourse.haskell.org/u/OlaoluwaM)\
**Replies:** 0\
**Last updated:** [June 17, 2026, 4:48pm UTC](https://discourse.haskell.org/t/implementing-redis-info-in-haskell/14284 "2026-06-17T16:48:51Z")

</div>

Wrote about adding support for the INFO command to my Redis server. Let me know what you think!

---

## [Contributing to Haskell Through a Beginner’s Lens](https://discourse.haskell.org/t/contributing-to-haskell-through-a-beginner-s-lens/14278)

<div class="topic-metadata">

**Author:** [@Kleidukos](https://discourse.haskell.org/u/Kleidukos)\
**Replies:** 0\
**Last updated:** [June 16, 2026, 4:27pm UTC](https://discourse.haskell.org/t/contributing-to-haskell-through-a-beginner-s-lens/14278 "2026-06-16T16:27:42Z")

</div>

After becoming a regular contributor to haskell-language-server and even having his Google Summer of Code proposal accepted, Vidit wanted to talk about his experience on approaching Haskell code bases. This is “Contribu…

---

## [Vladislav Zavialov on Dependent Haskell - Type Theory Forall Podcast](https://discourse.haskell.org/t/vladislav-zavialov-on-dependent-haskell-type-theory-forall-podcast/14277)

<div class="topic-metadata">

**Author:** [@jaror](https://discourse.haskell.org/u/jaror)\
**Replies:** 1\
**Last updated:** [June 16, 2026, 2:27pm UTC](https://discourse.haskell.org/t/vladislav-zavialov-on-dependent-haskell-type-theory-forall-podcast/14277 "2026-06-16T14:27:18Z")

</div>

---

## [Haskell Interlude #83: POPL 2026 - Part 2](https://discourse.haskell.org/t/haskell-interlude-83-popl-2026-part-2/14274)

<div class="topic-metadata">

**Author:** [@sperber](https://discourse.haskell.org/u/sperber)\
**Replies:** 0\
**Last updated:** [June 15, 2026, 6:21am UTC](https://discourse.haskell.org/t/haskell-interlude-83-popl-2026-part-2/14274 "2026-06-15T06:21:25Z")

</div>

Today’s Interlude is the second part of a miniseries on this year’s Symposium on Principles of Programming Languages, a.k.a. POPL 2026, hosted by Jessica Foster. In this episode we talk about: symbolic execution monads,…

---

## [Fork-fragile reader-like operations in Haskell](https://discourse.haskell.org/t/fork-fragile-reader-like-operations-in-haskell/14258)

<div class="topic-metadata">

**Author:** [@tomjaguarpaw](https://discourse.haskell.org/u/tomjaguarpaw)\
**Replies:** 8\
**Last updated:** [June 14, 2026, 10:22am UTC](https://discourse.haskell.org/t/fork-fragile-reader-like-operations-in-haskell/14258 "2026-06-14T10:22:45Z")

</div>

Following up from Haskell's missing mutable reference type and A reference implementation of IOScopedRef comes the final instalment in the series: Fork-fragile reader-like operations in Haskell

---

## ["I built a web language with Haskell-like syntax for fun](https://discourse.haskell.org/t/i-built-a-web-language-with-haskell-like-syntax-for-fun/14214)

<div class="topic-metadata">

**Author:** [@Atom1cB1rd](https://discourse.haskell.org/u/Atom1cB1rd)\
**Replies:** 10\
**Last updated:** [June 12, 2026, 6:09pm UTC](https://discourse.haskell.org/t/i-built-a-web-language-with-haskell-like-syntax-for-fun/14214 "2026-06-12T18:09:36Z")

</div>

I’ve been building a web language with Haskell-like syntax and a PHP-like execution model server/client separation in the same file. It’s not complete but it’s functional. Built it mostly for fun rather than to solve any…

---

## [New tutorial series on implementing lambda calculus interpreter in Я](https://discourse.haskell.org/t/new-tutorial-series-on-implementing-lambda-calculus-interpreter-in/14268)

<div class="topic-metadata">

**Author:** [@iokasimov](https://discourse.haskell.org/u/iokasimov)\
**Replies:** 0\
**Last updated:** [June 12, 2026, 3:46pm UTC](https://discourse.haskell.org/t/new-tutorial-series-on-implementing-lambda-calculus-interpreter-in/14268 "2026-06-12T15:46:52Z")

</div>

First three chapters with a fresh look on how to work with AST using functors and natural transformations: https://muratkasimov.art/Ya/Tutorials/Lambda-calculus-interpreter-1/ https://muratkasimov.art/Ya/Tutorials/Lamb…

---

## [Issue 528 :: Haskell Weekly newsletter](https://discourse.haskell.org/t/issue-528-haskell-weekly-newsletter/14263)

<div class="topic-metadata">

**Author:** [@taylorfausak](https://discourse.haskell.org/u/taylorfausak)\
**Replies:** 0\
**Last updated:** [June 11, 2026, 6:02pm UTC](https://discourse.haskell.org/t/issue-528-haskell-weekly-newsletter/14263 "2026-06-11T18:02:25Z")

</div>

---

## [Stackage talk at Haskell Ecosystem Workshop 2026](https://discourse.haskell.org/t/stackage-talk-at-haskell-ecosystem-workshop-2026/14252)

<div class="topic-metadata">

**Author:** [@simonmic](https://discourse.haskell.org/u/simonmic)\
**Replies:** 0\
**Last updated:** [June 9, 2026, 3:41pm UTC](https://discourse.haskell.org/t/stackage-talk-at-haskell-ecosystem-workshop-2026/14252 "2026-06-09T15:41:45Z")

</div>

A Stackage intro/status report by Jens Petersen.

---

## [Mutation Testing in Haskell](https://discourse.haskell.org/t/mutation-testing-in-haskell/14199)

<div class="topic-metadata">

**Author:** [@syd](https://discourse.haskell.org/u/syd)\
**Replies:** 7\
**Last updated:** [June 9, 2026, 8:56am UTC](https://discourse.haskell.org/t/mutation-testing-in-haskell/14199 "2026-06-09T08:56:39Z")

</div>

---

## [Serokell’s Work on GHC: Dependent Types, Part 5](https://discourse.haskell.org/t/serokell-s-work-on-ghc-dependent-types-part-5/14184)

<div class="topic-metadata">

**Author:** [@int-index](https://discourse.haskell.org/u/int-index)\
**Replies:** 9\
**Last updated:** [June 8, 2026, 10:10am UTC](https://discourse.haskell.org/t/serokell-s-work-on-ghc-dependent-types-part-5/14184 "2026-06-08T10:10:04Z")

</div>

---

## [Issue 527 :: Haskell Weekly newsletter](https://discourse.haskell.org/t/issue-527-haskell-weekly-newsletter/14204)

<div class="topic-metadata">

**Author:** [@taylorfausak](https://discourse.haskell.org/u/taylorfausak)\
**Replies:** 0\
**Last updated:** [June 4, 2026, 1:40pm UTC](https://discourse.haskell.org/t/issue-527-haskell-weekly-newsletter/14204 "2026-06-04T13:40:58Z")

</div>

---

## [Homomorphic static analysis](https://discourse.haskell.org/t/homomorphic-static-analysis/14146)

<div class="topic-metadata">

**Author:** [@marcosh](https://discourse.haskell.org/u/marcosh)\
**Replies:** 15\
**Last updated:** [June 1, 2026, 3:45pm UTC](https://discourse.haskell.org/t/homomorphic-static-analysis/14146 "2026-06-01T15:45:47Z")

</div>

Applicatives allow performing static analysis, while monads do not. But what does it mean in practice? Why is it so? And what kind of static analysis is this referring to? And what happens if we use categories instead of…

---

## [Blog: practical uses of monads in Haskell](https://discourse.haskell.org/t/blog-practical-uses-of-monads-in-haskell/14171)

<div class="topic-metadata">

**Author:** [@nicuveo](https://discourse.haskell.org/u/nicuveo)\
**Replies:** 0\
**Last updated:** [May 29, 2026, 3:49pm UTC](https://discourse.haskell.org/t/blog-practical-uses-of-monads-in-haskell/14171 "2026-05-29T15:49:03Z")

</div>

https://nauths.fr/en/2026/05/28/practical-use-of-monads.html Inspired by a question on the r/haskellquestions subreddit, i wrote about the practical aspect of monads for people at a beginner / intermediate level, about …

---

## [Issue 526 :: Haskell Weekly newsletter](https://discourse.haskell.org/t/issue-526-haskell-weekly-newsletter/14163)

<div class="topic-metadata">

**Author:** [@taylorfausak](https://discourse.haskell.org/u/taylorfausak)\
**Replies:** 0\
**Last updated:** [May 28, 2026, 3:15pm UTC](https://discourse.haskell.org/t/issue-526-haskell-weekly-newsletter/14163 "2026-05-28T15:15:45Z")

</div>

---

## [\[Well-Typed Blog\] Faster Cabal Haskell builds by eliminating redundant work](https://discourse.haskell.org/t/well-typed-blog-faster-cabal-haskell-builds-by-eliminating-redundant-work/14160)

<div class="topic-metadata">

**Author:** [@adamgundry](https://discourse.haskell.org/u/adamgundry)\
**Replies:** 0\
**Last updated:** [May 28, 2026, 9:26am UTC](https://discourse.haskell.org/t/well-typed-blog-faster-cabal-haskell-builds-by-eliminating-redundant-work/14160 "2026-05-28T09:26:32Z")

</div>

---

## [Components of natural transformations and vertical composition](https://discourse.haskell.org/t/components-of-natural-transformations-and-vertical-composition/14148)

<div class="topic-metadata">

**Author:** [@iokasimov](https://discourse.haskell.org/u/iokasimov)\
**Replies:** 0\
**Last updated:** [May 22, 2026, 3:17pm UTC](https://discourse.haskell.org/t/components-of-natural-transformations-and-vertical-composition/14148 "2026-05-22T15:17:46Z")

</div>

An extension of Transformations, functors, categories - it’s about components of natural transformations (that surprisingly could be composed vertically). Featuring how to work with some primitives like List, Nonempty L…

---

## [Issue 525 :: Haskell Weekly newsletter](https://discourse.haskell.org/t/issue-525-haskell-weekly-newsletter/14143)

<div class="topic-metadata">

**Author:** [@taylorfausak](https://discourse.haskell.org/u/taylorfausak)\
**Replies:** 0\
**Last updated:** [May 21, 2026, 2:18pm UTC](https://discourse.haskell.org/t/issue-525-haskell-weekly-newsletter/14143 "2026-05-21T14:18:33Z")

</div>

---

## [Haskell Interlude #82: Fraser Tweedale](https://discourse.haskell.org/t/haskell-interlude-82-fraser-tweedale/14133)

<div class="topic-metadata">

**Author:** [@sperber](https://discourse.haskell.org/u/sperber)\
**Replies:** 0\
**Last updated:** [May 19, 2026, 12:53pm UTC](https://discourse.haskell.org/t/haskell-interlude-82-fraser-tweedale/14133 "2026-05-19T12:53:21Z")

</div>

In the new Haskell Interlude, we talked to Fraser Tweedale. Fraser works at Red Hat, and is on the Haskell Security Response Team. We talked about security in the context of Haskell, both technical and organizational iss…

---

## [Issue 524 :: Haskell Weekly newsletter](https://discourse.haskell.org/t/issue-524-haskell-weekly-newsletter/14113)

<div class="topic-metadata">

**Author:** [@taylorfausak](https://discourse.haskell.org/u/taylorfausak)\
**Replies:** 1\
**Last updated:** [May 14, 2026, 10:10pm UTC](https://discourse.haskell.org/t/issue-524-haskell-weekly-newsletter/14113 "2026-05-14T22:10:56Z")

</div>

---

## [Cabal custom scripts and me](https://discourse.haskell.org/t/cabal-custom-scripts-and-me/14111)

<div class="topic-metadata">

**Author:** [@OlaoluwaM](https://discourse.haskell.org/u/OlaoluwaM)\
**Replies:** 3\
**Last updated:** [May 14, 2026, 8:36pm UTC](https://discourse.haskell.org/t/cabal-custom-scripts-and-me/14111 "2026-05-14T20:36:43Z")

</div>

Used Cabal’s custom setup script mechanism to generate release/build info for my redis server. Wrote about it here. Would appreciate any feedback!

---

## [Category transformers](https://discourse.haskell.org/t/category-transformers/14054)

<div class="topic-metadata">

**Author:** [@marcosh](https://discourse.haskell.org/u/marcosh)\
**Replies:** 6\
**Last updated:** [May 9, 2026, 11:36am UTC](https://discourse.haskell.org/t/category-transformers/14054 "2026-05-09T11:36:18Z")

</div>

In this post I start to explore whether it could make sense to work with categories instead of monads in Haskell. More details (but way less commentary) can be found at marcosh/category-transformers: Category transfor…

---

## [Issue 523 :: Haskell Weekly newsletter](https://discourse.haskell.org/t/issue-523-haskell-weekly-newsletter/14048)

<div class="topic-metadata">

**Author:** [@taylorfausak](https://discourse.haskell.org/u/taylorfausak)\
**Replies:** 0\
**Last updated:** [May 7, 2026, 3:09pm UTC](https://discourse.haskell.org/t/issue-523-haskell-weekly-newsletter/14048 "2026-05-07T15:09:58Z")

</div>

---

## [Can monads be used to securely erase data](https://discourse.haskell.org/t/can-monads-be-used-to-securely-erase-data/12510)

<div class="topic-metadata">

**Author:** [@equivalent](https://discourse.haskell.org/u/equivalent)\
**Replies:** 4\
**Last updated:** [May 5, 2026, 12:32am UTC](https://discourse.haskell.org/t/can-monads-be-used-to-securely-erase-data/12510 "2026-05-05T00:32:04Z")

</div>

I’ve always been interested in this question: Can monads be used to securely erase data? There is a link to a GitHub project on this topic: I want to know what you think about this?

---

## [The Bombadil Terminal Experiment](https://discourse.haskell.org/t/the-bombadil-terminal-experiment/14011)

<div class="topic-metadata">

**Author:** [@simonmic](https://discourse.haskell.org/u/simonmic)\
**Replies:** 6\
**Last updated:** [May 4, 2026, 8:38pm UTC](https://discourse.haskell.org/t/the-bombadil-terminal-experiment/14011 "2026-05-04T20:38:20Z")

</div>

A TUI fuzzer.

---

## [Haskell Language Server 2.14.0.0 release](https://discourse.haskell.org/t/haskell-language-server-2-14-0-0-release/14035)

<div class="topic-metadata">

**Author:** [@fendor](https://discourse.haskell.org/u/fendor)\
**Replies:** 0\
**Last updated:** [May 4, 2026, 9:31am UTC](https://discourse.haskell.org/t/haskell-language-server-2-14-0-0-release/14035 "2026-05-04T09:31:33Z")

</div>

---

## [Some updates about Hell in 2026](https://discourse.haskell.org/t/some-updates-about-hell-in-2026/13978)

<div class="topic-metadata">

**Author:** [@chrisdone](https://discourse.haskell.org/u/chrisdone)\
**Replies:** 5\
**Last updated:** [May 3, 2026, 9:09pm UTC](https://discourse.haskell.org/t/some-updates-about-hell-in-2026/13978 "2026-05-03T21:09:19Z")

</div>

---

## [Issue 522 :: Haskell Weekly newsletter](https://discourse.haskell.org/t/issue-522-haskell-weekly-newsletter/14009)

<div class="topic-metadata">

**Author:** [@taylorfausak](https://discourse.haskell.org/u/taylorfausak)\
**Replies:** 0\
**Last updated:** [April 30, 2026, 3:22pm UTC](https://discourse.haskell.org/t/issue-522-haskell-weekly-newsletter/14009 "2026-04-30T15:22:40Z")

</div>

---

## [Interesting LLM policy for the Zig language](https://discourse.haskell.org/t/interesting-llm-policy-for-the-zig-language/14007)

<div class="topic-metadata">

**Author:** [@LaurentRDC](https://discourse.haskell.org/u/LaurentRDC)\
**Replies:** 2\
**Last updated:** [April 30, 2026, 2:09pm UTC](https://discourse.haskell.org/t/interesting-llm-policy-for-the-zig-language/14007 "2026-04-30T14:09:16Z")

</div>

For those who don’t read Hacker News 10x a day, here’s a discussion of the Zig project’s view of LLM contributions: The key quote (emphasis mine): Zig values contributors over their contributions. Each contributor r…

---

## [A first look at token efficiency](https://discourse.haskell.org/t/a-first-look-at-token-efficiency/13981)

<div class="topic-metadata">

**Author:** [@mchav](https://discourse.haskell.org/u/mchav)\
**Replies:** 4\
**Last updated:** [April 30, 2026, 9:07am UTC](https://discourse.haskell.org/t/a-first-look-at-token-efficiency/13981 "2026-04-30T09:07:36Z")

</div>

[Previous page](https://discourse.haskell.org/c/links/6.md?no_subcategories=false&page=1)

[Next page](https://discourse.haskell.org/c/links/6.md?no_subcategories=false&page=3)