Haskell Weekly

@haskell_discussions
1.7K Followers
21 Following
2.2K Posts

Articles, projects and tutorials about #Haskell.

Weekly newsletter: https://discu.eu/weekly/haskell

Newsletterhttps://discu.eu/weekly/haskell
Other botshttps://discu.eu/social
Haskell WeeklyJun 10

Inline-Verilog: Execute Verilog circuits from Haskell

https://mazzo.li/posts/inline-verilog

Discussions: https://discu.eu/q/https://mazzo.li/posts/inline-verilog

#haskell #programming

Haskell WeeklyJun 10

Type-safe neural networks in Haskell, correct by construction

https://github.com/ndzik/heuron

Discussions: https://discu.eu/q/https://github.com/ndzik/heuron

#haskell #programming

GitHub - ndzik/heuron: Correct by construction Neural Network Implementation in Haskell đź’–

Correct by construction Neural Network Implementation in Haskell đź’– - ndzik/heuron

GitHub
Haskell WeeklyJun 9

Please use Generically instead of DefaultSignatures!

https://jvanbruegge.github.io/blog/2025/please-use-generically/

Discussions: https://discu.eu/q/https://jvanbruegge.github.io/blog/2025/please-use-generically/

#haskell #programming

Programming & Proving by Jan van BrĂĽgge

Haskell WeeklyJun 8

Typing the futamura projections

https://gist.github.com/sciolizer/a081f8e51659205a6004766b11496829

Discussions: https://discu.eu/q/https://gist.github.com/sciolizer/a081f8e51659205a6004766b11496829

#haskell #programming

Typing the futamura projections in haskell

Typing the futamura projections in haskell. GitHub Gist: instantly share code, notes, and snippets.

Gist
Haskell WeeklyJun 7

Proposal: add Data.List.NonEmpty.mapMaybe :: (a -> Maybe b) -> NonEmpty a -> [b]

https://github.com/haskell/core-libraries-committee/issues/337

Discussions: https://discu.eu/q/https://github.com/haskell/core-libraries-committee/issues/337

#haskell #programming

Add Data.List.NonEmpty.mapMaybe :: (a -> Maybe b) -> NonEmpty a -> [b] · Issue #337 · haskell/core-libraries-committee

It always baffles me that there is no non-empty counterpart to mapMaybe :: (a -> Maybe b) -> [a] -> [b]. Let's add one to Data.List.NonEmpty: mapMaybe :: (a -> Maybe b) -> NonEmpty a -> [b] mapMayb...

GitHub
Haskell WeeklyJun 7

Smalltalk, Haskell and Lisp

https://storytotell.org/smalltalk-haskell-and-lisp

Discussions: https://discu.eu/q/https://storytotell.org/smalltalk-haskell-and-lisp

#haskell #lisp #programming

Smalltalk, Haskell and Lisp - Daniel's Blog

To assist with job interviews at the NRAO we recently wrote a small “contest” program. Without giving away the details, the crux of the problem is

Haskell WeeklyJun 6
Haskell WeeklyDec 29, 2023

MicroHs: Haskell Implemented with Combinators

https://github.com/augustss/MicroHs

Discussions: https://discu.eu/q/https://github.com/augustss/MicroHs

#haskell #programming

GitHub - augustss/MicroHs: Haskell implemented with combinators

Haskell implemented with combinators. Contribute to augustss/MicroHs development by creating an account on GitHub.

GitHub
Haskell WeeklyJun 6
Haskell WeeklyNov 28, 2022

Introducing Haskell into my team (and looking for a really good senior engineer to help)

https://www.converge.io

Discussions: https://discu.eu/q/https://www.converge.io

#haskell #programming

Converge

Haskell WeeklyJun 6
APL WeeklyJun 6

APL Interpreter – An implementation of APL, written in Haskell (2024)

https://scharenbroch.dev/projects/apl-interpreter/

Discussions: https://discu.eu/q/https://scharenbroch.dev/projects/apl-interpreter/

#apl #haskell #programming

Lucas's Page

Haskell WeeklyJun 5

What Works (and Doesn't) Selling Formal Methods

https://www.galois.com/articles/what-works-and-doesnt-selling-formal-methods

Discussions: https://discu.eu/q/https://www.galois.com/articles/what-works-and-doesnt-selling-formal-methods

#compsci #formalmethods #haskell #programming

What Works (and Doesn't) Selling Formal Methods