Am I followed by anyone who edits the #Haskell wiki? The "haddock comment" link is broken (to readthedocs . io).
wiki.haskell.org/Programming_...
3
0
1
0
#Haskell
Latest posts tagged with #Haskell on Bluesky
Posts tagged #Haskell
Ever got caught with a numeric literal that was too big for a Clash (or otherwise Haskell) Type and didn’t get a warning or an error?
Yeah, us too! So we introduce a new package: `checked-literals` Read more about it in the new post:
clash-lang.org/blog/0009-ch...
#haskell #fpga
0
0
0
0
Linear Haskell 、newtype State s a = State{ runState :: s %1 -> (a, s) } みたいなのを書いた時に record selector である runState の型が State s a %1 -> s %1 -> (a, s) ではなく State s a -> s %1 -> (a, s) になってしまうの、微妙に面倒くさい。 #Haskell
1
0
1
0
Heads-up: Mon Apr 13 (one week away): "FP Launchpad" kickoff-event at IIT Madras
FP Launchpad is a new research center at IITM focusing on all aspects of functional programming.
Schedule, abstracts: fplaunchpad.org/2026/03/30/f...
#OCaml #OxCaml #Haskell #FormalMethods #HardCaml #Bluespec
5
2
0
0
I can't stop thinking about this comment on LLMs in a #haskell discourse thread: "I find this rather scary and I’m a bit confused how so many engineers drop most of their “correctness obsession” in favor of something that resembles more of a gambling machine and is in fact quite addictive."
0
0
1
0
0
0
0
0
Get you a partner who looks at you the way #haskell looks at requiring 60% of the tokens in your program to be `T.pack` and `T.unpack`.
2
0
1
0
Anyone using the brick #Haskell library and what to shore hints / lecture me about how to test functions that "live in" `EventM` ?
In particular, I'd like to be able to take an initial state (generated in whole or part randomly) feed some events (mainly keystrokes) in an then validate the final […]
0
0
0
0
Popularity isn’t everything. Some niche functional programming languages offer unique value!
Take a deep dive into #Haskell, #Scala, and #Erlang in this article by LPI Editor Anrew Oram: lpi.org/gpkl
#programminglanguages #LPI
0
0
0
0
Question 77 of the State of Haskell Survey 2025 “If you could change one thing about Haskell, what would it be?” received 553 answers.
Our brave volunteers Sawa & Hécate teamed up to analyse the survey results.
You can read the report at blog.haskell.org/what-would-y...
#Haskell
10
1
1
0
I love when documentation says something like "This is O(log n), however the log uses a large base (e.g. 64) so in practice it is O(1)".
(Most hash map implementation in #haskell for example)
2
0
0
0
GHC community update March 2026
by @mangoiv@functional.cafe
discourse.haskell.org/t/ghc-commun...
#Haskell
6
0
1
0
As I get proficient with #RustLang, I'm becoming of the opinion that #Haskell is good as a prerequisite for Rust.
Like you can get all fancy with Haskell's type system, but the core language is pretty uncomplicated. It just requires you to think in terms of concepts unfamiliar to more […]
0
0
1
0
With "Haskellers from the trenches", the #Haskell blog lets experienced engineers talk about their subjects of expertise, best practices, and production tales.
We start with @iankduncan.com's "A Couple Million Lines of Haskell: Production Engineering at Mercury"
blog.haskell.org/a-couple-mil...
26
10
1
0
GHC Proposal 744 "Branch weight support" by @iankduncan.com is looking for feedback! Manually annotating the likelyhood of a branch helps the compiler with code layout and optimisations.
github.com/ghc-proposal...
#Haskell
6
0
0
0
Published a new chapter of #categorytheoryillustrated - Types
abuseofnotation.github.io/category-theory-illustra...
#categorytheory #mathematics #haskell
3
3
0
0
Popularity isn’t everything. Some niche functional programming languages offer unique value!
Take a deep dive into #Haskell, #Scala, and #Erlang in this article by LPI Editor Anrew Oram: https://lpi.org/gpkl
#programminglanguages #LPI
1
0
0
0
Popularity isn’t everything. Some niche functional programming languages offer unique value!
Take a deep dive into #Haskell, #Scala, and #Erlang in this article by LPI Editor Anrew Oram: lpi.org/gpkl
#programminglanguages #LPI
0
0
0
0
Haskell's code size surged in the latest month, hitting a record 7.8B bytes—1.3% above last month's 7.7B. Yet weighted stars fell to 448k from 449k, marking the largest monthly drop to date. #Haskell #github
0
0
2
0
I had a little mini-project to convert WireGuard configs to native systemd units (.netdev, .network). After a bunch of troubleshooting, some help from kind folks on here, and digging into wg-quick...I did it! It's probably still rusty around the edges and _absolutely_ still experimental, but it […]
0
0
1
0
線形論理の論理結合子を Linear Haskell で解釈しようとしてて、自分が ⅋ (par), ⊥ (bottom), ? (why not) の計算的な意味を直観的に理解できていないことに気が付いた。 特に、命題を資源として解釈する解釈で、これらを自然に解釈することって出来るの? #Haskell
github.com/msakai/sandb...
1
0
1
0
Linear Haskell 、→ の代わりに ⊸ を考えた瞬間に、タプルが & ではなく ⊗ のように振る舞うの、データ構築子の矢印が → ではなく ⊸ で定義されていることの帰結だと思うんだけど、面白いな。 #Haskell
0
0
1
0
Popularity isn’t everything. Some niche functional programming languages offer unique value!
Take a deep dive into #Haskell, #Scala, and #Erlang in this article by LPI Editor Anrew Oram: lpi.org/gpkl
#programminglanguages #LPI
4
2
0
0
0
0
0
0
7
0
3
0
data Normal a where Normal :: a %1 -> (a %1 -> ()) -> (a %1 -> (a, a)) -> Normal a data Linear a where Linear :: a %1 -> Linear a data Affine a where Affine :: a %1 -> (a %1 -> ()) -> Affine a data Relevant a where Relevant :: a %1 -> (a %1 -> (a, a)) -> Relevant a
Linear Haskell 面白いね。Multiplicity に One (1回消費) と Many (任意回消費) しかなくて、Affine (高々一回の消費) や Relevant (一回以上の消費) がなくて良いのかなと思ったけど、これは破棄や複製の関数を一緒にパッキングしてあげれば表現できるから？ #haskell
github.com/msakai/sandb...
4
1
1
0
そういえば、mtlのControl.Monad.Contを使っていると気づかないけど、transformersのControl.Monad.Trans.Contには限定継続のshift/resetが一応あるんだな。 #haskell
hackage-content.haskell.org/package/tran...
1
0
1
0
The Glorious Glasgow #Haskell Compiler version 9.12.4 is now available! This 4th patch release fixes critical codegen regression, crashes and brings improved backtrace supports.
See the release notes downloads.haskell.org/~ghc/9.12.4/...
13
0
1
0
New post in the #haskell for @elmlang developer series: it's always traverse! flaviocorpa.com/haskell-for-...
11
2
0
0
RE: hachyderm.io/@BoydStephenSmithJr/1162...
Anyone out there with some opinions on both @codeberg and @gitlab particularly for developing #Haskell, #Idris, #Lean, or #Agda ? If you can,, please address my concerns in the quoted toot.
0
0
0
0