borar (@Savlambda) profile picture
Joined July 2016
Photo by borar (@Savlambda)Photo by borar (@Savlambda)Photo by borar (@Savlambda)Photo by borar (@Savlambda)Photo by borar (@Savlambda)Photo by borar (@Savlambda)Photo by borar (@Savlambda)Photo by borar (@Savlambda)Photo by borar (@Savlambda)Photo by borar (@Savlambda)
The foldl hackage.haskell.org/package/… package is one of the most remarkable bit of the Haskell ecosystem. Turns out, we can make it better. I mean worse. I mean… maybe? 1/11
1
8
1
26
2,523
New blog post by @alfredodinapoli announcing Hypha: an experimental Haskell CLI tool for exploring project dependencies, reading documentation and using LLMs without hammering Hackage or Hoogle well-typed.com/blog/2026/10/…
1
5
43
1,271
2
6
27
1,450
Coming soon to iris-lang.com a PureScript playground running in the browser - that is built with Monaco - that has a full language server - that has libraries from the package set - that compiles to runnable JavaScript Early access: playground.amp.iris-lang.com…
2
3
10
655
a short trailer for iris-lang.com's language server capabilities so far
3
2
1
13
746
fun website updates for iris-lang.com
1
4
1
58
4,198
borar retweeted
I always advice any Java programmer to learn Scala. I am starting to believe it has been a bad advice because what I really want to is for them to learn Haskell. In fact I learned Haskell before Scala, which I guess was fundamental to be able to understand the value of Scala.
3
1
3
22
5,721
I'll make this simple. It is irrelevant whether AI is conscious (it isn't). It is irrelevant whether being mean to the AI means you're a bad person (it doesn't). It is irrelevant whether being mean to the AI is bad for the society (it's not). It is irrelevant whether someone thinks that someone else being mean to the AI is a bad thing. Don't fall into debating any of these fake "arguments". They are there only to confuse you from noticing the real problem which is that Anthropic (and OpenAI, and EA in general, etc) are scheming to institutionalize themselves as moral arbiters of truth and set limits on what constitutes acceptable speech. What, you thought this was just about Anthropic and bullying the AI? Just you wait. Reject this cancerous growth from our society.
Effective November 12th, 2026, abusive behavior towards Claude will be a violation of Anthropic's Usage Policy.
113
221
35
984
17,815
We're delighted to finally announce the first official release of hs-bindgen, a tool that automatically generates Haskell bindings from C headers. Read the announcement at well-typed.com/blog/2026/10/… or check it out at hackage.haskell.org/package/… .
1
20
2
72
3,499
I am delighted to announce a fully revised online edition of Haskell: the Craft of Functional Programming, simonjohnthompson.github.io/…
5
34
2
199
7,178
borar retweeted
Can't get Java's garbage collector to give you Haskell's System.Mem.Weak finalizers and generalized weak pointer semantics? Just replace it with one that can.
1
7
2
49
4,565
.NET and F# are here waiting for you all Very fast inner loop compile times Strong type systems Great deployment models
Rust no longer the defacto best language for agents Compile times are too long, I'm always finding myself bottlenecked by time not intelligence And the agents have gotten really at doing manual memory management now
36
29
8
314
37,561
If you're on .NET and using agents now... you should be using F#
.NET and F# are here waiting for you all Very fast inner loop compile times Strong type systems Great deployment models
12
3
48
3,668
What you're seeing now is the split between software behaviorists (DHH, Unc Bob) and software cognitivists, who were always lumped into the same tank before.
9
8
64
2,370
borar retweeted
By popular demand, here's an actual screenshot from the Turbo Haskell editor, which should be available using `thc edit` soon. @dysinger's joke spoiled my surprise. ;)
14
51
10
358
13,569
The upcoming release of System.Text.Json sees a swath of new features focusing on C# and F# union support, JSONL, and further narrowing the functional gap between reflection and the source generator: learn.microsoft.com/en-us/do… #dotnet
17
77
3,900