Search
465 results for “haskell”
-
"linear-locks: locking primitives free of deadlocks"
If you encounter STM's limitations when it comes to lock-free synchronisation, then Linear Haskell-backed locks maybe the solution you want!
https://discourse.haskell.org/t/ann-linear-locks-locking-primitives-free-of-deadlocks/14112
-
In January 2027, I will teach the first instalment of the new BSc course "Functional Programming: continuation course" (joint between Chalmers and UGOT). https://share.google/int8wna1Pjo9T1tGE
Within a month or so, I need to decide on the course literature. I'd be very happy to receive thoughts, suggestions, warnings, etc. about what you think would work, or not.
More details below:Learning outcomes:
Knowledge and understanding:+ Explain and apply fundamental abstractions in functional programming, including lazy/strict evaluation, functors, & monads, and describe how these abstractions can be used to handle state, exceptions, and I/O in a purely functional way.
+ Explain how algebraic properties such as associativity and commutativity enable divide-and-conquer and parallel evaluation in pure functional programs, and discuss how purity and referential transparency support the design of compositional embedded domain-specific languages (EDSLs).Skills and abilities:
+ Design, structure, and implement functional programs and small EDSLs using appropriate type classes, algebraic operators, and data structures for efficient and, where appropriate, parallel computation.
+ Apply functional techniques such as recursion schemes, memoization, and algebraic composition to implement and reason about non-trivial algorithms.
+ Use relevant tools and libraries to develop, test, and document maintainable programs, including performance analysis and identification of common inefficiencies.
+ Structure and solve real-world programming problems in a functional style, integrating abstraction, testing, and reasoning for correctness and efficiency.Judgement and approach:
+ Critically assess the suitability of abstractions and algebraic structures for specific programming problems, through reflection on the trade-offs between abstraction, performance, and resource use.
+ Evaluate program design decisions and correctness using property-based testing, algebraic properties, and equational reasoning.
+ Demonstrate responsibility in program design and collaboration, ensuring modularity, clear documentation, and maintainability. -
hpgsql, a PostgreSQL driver written in pure #Haskell
https://discourse.haskell.org/t/ann-hpgsql-a-pure-haskell-postgresql-driver-no-libpq/14101
-
Problem of the day:
Derive a fused function equal to `dupLast . dupLast` where
dupLast [] = []
dupLast [x] = [x,x]
dupLast (x:xs) = x : dupLast xsExperienced functional programmers might see at a glance what the fused function looks like, but how do we derive it formally from the definition of `dupLast`?
-
Another stream tonight, trying to figure out how to build a MUD server in Haskell. 8:10pm ET
-
I like #Haskell first and foremost because of the language itself. But as supply chain attacks get more common, some may be interested in Stackage, which curates snapshots of Haskell packages with the guarantee, that all packages of a certain snapshot work together. Having a fixed set of packages/versions could be a nice firewall against such attacks that depend on everyone using the latest/greatest all the time.
-
RE: https://functional.cafe/@hungryjoe/116558180680357762
Amazing work by @hungryjoe to display 3D solids in GHCi with the ratty terminal
https://fosstodon.org/@hungryjoe@functional.cafe/116558182359836348
-
RE: https://functional.cafe/@hungryjoe/116558180680357762
Displaying #haskell -defined 3D objects in ghci (you read that right)
-
Exception Annotations: Lay of the Land https://lobste.rs/s/slndvk #haskell
https://well-typed.com/blog/2026/05/lay-annotation-land/ -
Production Haskell by Matt Parsons is on sale on Leanpub! Its suggested price is $40.00; get it for $22.50 with this coupon: https://leanpub.com/production-haskell/c/LeanPublishingDaily20260507 #haskell
-
Exception Annotations: Lay of the Land https://well-typed.com/blog/2026/05/lay-annotation-land/
-
"Exception Annotations: Lay of the Land" by Edsko de Vries.
TL;DR: Use ghc 9.12, don’t call throwIO on an argument of type SomeException, and use your own function instead of displayException if you want to see all exception annotations.
-
You can now try MicroHS in the browser! Check it out:
https://augustss.github.io/MicroHs/web-mhs/
Discourse: https://discourse.haskell.org/t/microhs-in-the-browser/14055
-
The Tokyo #Haskell Meetup will happen on the 19th of May with speakers Luite Stegeman and Farhad Mehta
Discourse: https://discourse.haskell.org/t/haskell-meetup-in-tokyo-19-may/14051
Meetup: https://www.meetup.com/tokyo-haskell-meetup/events/314624400
-
The Lambda Nantes Meetup will happen on the 21st of May, with speakers @clementd and @etorreborre as speakers
https://discourse.haskell.org/t/lambda-nantes-meetup-21-may/14053
-
🚀📚 Oh, look! Yet another language! Functional programmers, put down your #Haskell bibles and embrace Zig! 😂 Because clearly, what we needed was more *comptime* in our lives. 🙄✨
https://pure-systems.org/posts/2026-04-29-functional-programmers-need-to-take-a-look-at-zig.html #functionalprogramming #Zig #comptime #programminglanguages #techhumor #HackerNews #ngated -
Interesting:
“A Case Against Currying”, Emilia H (https://emi-h.com/articles/a-case-against-currying.html).
Via HN: https://news.ycombinator.com/item?id=47477090
On Lobsters: https://lobste.rs/s/w2x9dq/case_against_currying
#Programming #FunctionalProgramming #FP #Currying #Rants #PLDI #Haskell
-
Ug. Managing focus in #Haskell #Brick efficiently feels difficult. I can pepper the code with `focus ==` tests but that seems like a lot of branches that are redundant. So, I'd like to have just one `case` across the current focus, but maybe that's unreasonable.
Anyone got any tips? I'll certainly take efficient focus-sensitive rendering in other contexts as well, I can read lots of languages.
-
Почему я перестал писать bash-скрипты и написал свой язык
Время от времени мне нужно выполнить примитивный сценарий в терминале, но каждый раз это заканчивается очередным гуглежом «bash iterate each file» или «bash file has string». А что если скрипты в терминале можно было бы писать прямо как поток декларативных мыслей?
https://habr.com/ru/articles/1020728/
#скриптовый_язык #bash #функциональное_программирование #REPL #автоматизация #open_source #Rust #Lisp #Haskell
-
Почему я перестал писать bash-скрипты и написал свой язык
Время от времени мне нужно выполнить примитивный сценарий в терминале, но каждый раз это заканчивается очередным гуглежом «bash iterate each file» или «bash file has string». А что если скрипты в терминале можно было бы писать прямо как поток декларативных мыслей?
https://habr.com/ru/articles/1020728/
#скриптовый_язык #bash #функциональное_программирование #REPL #автоматизация #open_source #Rust #Lisp #Haskell
-
Ah, the classic "I forgot disk space is finite" production saga, now with extra #Haskell and #Nginx for maximum complexity! 😅 Because #servers on a #budget and oversized files are truly the heroes we deserve. 🙄🔧
https://alt-romes.github.io/posts/2026-04-01-running-out-of-disk-space-on-launch.html #productionissues #diskspace #HackerNews #ngated -
Ah, the classic "I forgot disk space is finite" production saga, now with extra #Haskell and #Nginx for maximum complexity! 😅 Because #servers on a #budget and oversized files are truly the heroes we deserve. 🙄🔧
https://alt-romes.github.io/posts/2026-04-01-running-out-of-disk-space-on-launch.html #productionissues #diskspace #HackerNews #ngated -
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 state. But, maybe I'm thinking about it all wrong.
The rendering functions are "easy enough" to test, but I feel like most of the real "logic" is in the event handling.
-
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 state. But, maybe I'm thinking about it all wrong.
The rendering functions are "easy enough" to test, but I feel like most of the real "logic" is in the event handling.
-
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 state. But, maybe I'm thinking about it all wrong.
The rendering functions are "easy enough" to test, but I feel like most of the real "logic" is in the event handling.
-
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 state. But, maybe I'm thinking about it all wrong.
The rendering functions are "easy enough" to test, but I feel like most of the real "logic" is in the event handling.
-
Haskell IDE #IHP on immutable KDE Linux
Whoa!
Having tried other container managers to no avail - while I must admit, that I am not experienced in that domain - ... with #kapsule I just got the #haskell IDE #IHP up and running with just two tweaks:
profile add nixpkgs#direnv and
profile add nixpkgs#gnumakeAnd thar she goes :-)
-
🍕💻 Ah yes, the existential crisis of programming languages: do you need to understand #Haskell to grasp their 'lil' quirks, or can you just wing it with your pancreas? 🙃 Spoiler: It's all the same lexing, parsing, and desugaring nonsense, just with a sprinkle of pretentiousness to make you feel like you're doing something revolutionary. 🚀
https://taylor.town/scrapscript-001 #programminglanguages #existentialcrisis #codinghumor #techsatire #lexingparsing #HackerNews #ngated
