Published a new chapter of #categorytheoryillustrated - Types

abuseofnotation.github.io/category-theory-illustra...

#categorytheory #mathematics #haskell

Functional Languages and the Future of Programming (Part 1) Functional programming explained: history, core concepts, and the influence of languages like Haskell, Erlang, and Scala.

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

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

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

Original post on mastodon.online

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 […]

sandbox/LinearLogic.hs at 54537bbadefafa23bc2590a08f560d968dad884d · msakai/sandbox My sandbox repository. Contribute to msakai/sandbox development by creating an account on GitHub.

線形論理の論理結合子を Linear Haskell で解釈しようとしてて、自分が ⅋ (par), ⊥ (bottom), ? (why not) の計算的な意味を直観的に理解できていないことに気が付いた。 特に、命題を資源として解釈する解釈で、これらを自然に解釈することって出来るの? #Haskell
github.com/msakai/sandb...

Linear Haskell 、→ の代わりに ⊸ を考えた瞬間に、タプルが & ではなく ⊗ のように振る舞うの、データ構築子の矢印が → ではなく ⊸ で定義されていることの帰結だと思うんだけど、面白いな。 #Haskell

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

LinearTypes: Spurious multiplicity error when wrapping an empty-case lambda in a data/newtype constructor (#27117) · Issues · Glasgow Haskell Compiler / GHC · GitLab Summary When using -XLinearTypes and -XEmptyCase, a lambda that eliminates Void via case void of {} type-checks...

Linear Haskell 使ってたら、早速変なコーナーケースを踏んだので、報告。 #haskell
gitlab.haskell.org/ghc/ghc/-/is...

The Reader monad is a global variable

Speaking truth to #haskell

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...

Control.Monad.Trans.Cont

そういえば、mtlのControl.Monad.Contを使っていると気づかないけど、transformersのControl.Monad.Trans.Contには限定継続のshift/resetが一応あるんだな。 #haskell
hackage-content.haskell.org/package/tran...

GHC 9.12.4 download — The Glasgow Haskell Compiler

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/...

Haskell for Elm developers: giving names to stuff (Part 7 - Traversable) A series of blog posts for explaining Haskell to Elm developers interested in learning the language that powers the compiler for their favourite language!

New post in the #haskell for @elmlang developer series: it's always traverse! flaviocorpa.com/haskell-for-...

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.

Original post on mathstodon.xyz

A tiny, cool #rust feature I just realized:

So there's this operator `?`, the "try" operator, which allows you to seamlessly deal with a value that may fail. So if you have the following functions:

* `fn may_fail(A) -> Result<B, Err>`
* `fn other_function(B) -> C`

You can write:

```
fn […]

Writing an OS in Haskell bare-metal Raspberry Pi Zero OS

Writing an OS in Haskell - agniv sarkar
https://old.agniv.me/blog/haskell-os/

#Haskell #OS #FP

Readings shared March 24, 2026 The readings shared in Bluesky on 24 March 2026 are: Synthetic differential geometry in Lean. ~ Riccardo Brasca, Gabriella Clemente. #LeanProver #ITP #Math The spectral comb and the Riemann hypothesi

Readings shared March 24, 2026. jaalonso.github.io/vestigium/po... #AI4Math #Autoformalization #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Math

RE: https://fosstodon.org/@zurihac/116040336310097135

Come meet me there!

#categorytheory #haskell

These pesky #haskell communists even have amazing lecture freely available

learnyouahaskell.github.io

GitHub - milesberry/liberator: A drag-and-drop visual programming environment for Haskell, designed for teaching AQA A-Level Computer Science. Build programs by connecting nodes on a canvas instead of... A drag-and-drop visual programming environment for Haskell, designed for teaching AQA A-Level Computer Science. Build programs by connecting nodes on a canvas instead of writing text — then evaluat...

Liberator: A drag-and-drop visual programming environment for Haskell. ~ Miles Berry. github.com/milesberry/l... #Haskell #FunctionalProgramming

i try to do something im happy to put out into the world each day (often i fail!) before i get into my regular work. today i worked on some edits to Learn You a Haskell, just minor edits but still feels good. and the folks maintaining it are super nice!
github.com/learnyouahas... #haskell

Original post on humanwords.cc

i try to do something im happy to put out into the world each day (often i fail!) before i get into my regular work. today i worked on some edits to Learn You a Haskell, just minor edits but still feels good. and the folks maintaining it are super nice! […]

Over the weekend I finished making this (fairly silly) video:

www.youtube.com/watch?v=R_uQ...

#haskell #cad

Linking Smaller Haskell Binaries | Brandon Simmons' website Haskell binaries can get quite large (think ~100MB), especially for projects with many transitive dependencies. Here are two strategies that can help at link time, the latter being more experimental. ...

A blog post by Brandon "jberryman" Simmons “Linking Smaller Haskell Binaries” (2023) brandon.si/code/linking...

#Haskell

[ANN] dataframe 1.0.0.0 It’s been roughly two years of work on this and I think things are in a good enough state that it’s worth calling this v1. Features Typed dataframes We got there eventually and I think we got there i...

Today is a great day for some major news!
DataFrame v1.0.0.0 has been officially released! Step up your exploratory data analysis in #Haskell with Typed data frames, direct connection to HuggingFace data sets, and Python integration through Apache Arrow.

discourse.haskell.org/t/ann-datafr...

Programming Idioms

👨‍💻Programming Idioms — ресурс, який показує, як однакові програмістські прийоми реалізуються в десятках мов: #Python, #C++, #Java, #JavaScript, #Go, #Rust, #Ruby, #Haskell та інших

programming-idioms.org

Who says you can't write high performance 60 FPS code in #haskell?

[Don't @ me about the flickering. I'M WORKING ON IT.]

Friendship ended with `map`.
Now `traverse` is my best friend.

#Haskel #meme

Безумие препроцессора: внедряем do-нотацию для монад из Haskell в C++ Добро пожаловать в чистилище препроцессора ...

#C++ #монады #haskell #do-нотация #ненормальное #программирование #функциональное #программирование #препроцессор #макросы #timeweb_статьи

Origin | Interest | Match