home.social

Search

1000 results for “haskell”

  1. RFC: Sunsetting i386 bindists?

    i386 has been a source of pain for a while with musl libc. Should it be retired, or should the bindings switch to glibc and be less portable?

    discourse.haskell.org/t/rfc-su

  2. The Ultimate Functional Programming Humble Bundle features two excellent books by Rebecca Skinner

    * Effective Haskell
    * Haskell Brain Teasers

    Check it out! humblebundle.com/books/ultimat

  3. Check out the current job offers for jobs on Beyond Tabs:

    beyond-tabs.com/jobs?filters={%22languages%22:[%22haskell%22],%22countries%22:[],%22remote%22:false,%22query%22:null}

  4. 🚀 Wow, Bartosz, you've managed to make #Haskell even less comprehensible by introducing "Profunctor Equipment"—because we all needed another reason to avoid functional programming! 🙃 Trust the compiler more than AI? Sure, because when my code breaks, it's way more fun to blame an inanimate syntax stickler than a sentient one. 🤖🔧
    bartoszmilewski.com/2026/05/16 #Profunctor #FunctionalProgramming #CodeHumor #TrustTheCompiler #HackerNews #ngated

  5. 🚀 Wow, Bartosz, you've managed to make #Haskell even less comprehensible by introducing "Profunctor Equipment"—because we all needed another reason to avoid functional programming! 🙃 Trust the compiler more than AI? Sure, because when my code breaks, it's way more fun to blame an inanimate syntax stickler than a sentient one. 🤖🔧
    bartoszmilewski.com/2026/05/16 #Profunctor #FunctionalProgramming #CodeHumor #TrustTheCompiler #HackerNews #ngated

  6. 🚀 Wow, Bartosz, you've managed to make #Haskell even less comprehensible by introducing "Profunctor Equipment"—because we all needed another reason to avoid functional programming! 🙃 Trust the compiler more than AI? Sure, because when my code breaks, it's way more fun to blame an inanimate syntax stickler than a sentient one. 🤖🔧
    bartoszmilewski.com/2026/05/16 #Profunctor #FunctionalProgramming #CodeHumor #TrustTheCompiler #HackerNews #ngated

  7. 🚀 Wow, Bartosz, you've managed to make #Haskell even less comprehensible by introducing "Profunctor Equipment"—because we all needed another reason to avoid functional programming! 🙃 Trust the compiler more than AI? Sure, because when my code breaks, it's way more fun to blame an inanimate syntax stickler than a sentient one. 🤖🔧
    bartoszmilewski.com/2026/05/16 #Profunctor #FunctionalProgramming #CodeHumor #TrustTheCompiler #HackerNews #ngated

  8. @natecox Been learning #haskell on the side and it has been super fun. The downside is the tool chain which is not as clean as cargo or go, but otherwise really great.

    The cool thing about Haskell is that you have to learn a new way of expressing programs. This creates a learning curve, but also makes it super rewarding when you understand a concept and can then apply it.

  9. "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!

    discourse.haskell.org/t/ann-li

  10. In January 2027, I will teach the first instalment of the new BSc course "Functional Programming: continuation course" (joint between Chalmers and UGOT). 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.

    #Haskell

  11. Problem of the day:

    Derive a fused function equal to `dupLast . dupLast` where

    dupLast [] = []
    dupLast [x] = [x,x]
    dupLast (x:xs) = x : dupLast xs

    Experienced 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`?

    #haskell #functionalprogramming

  12. Another stream tonight, trying to figure out how to build a MUD server in Haskell. 8:10pm ET

    twitch.tv/agentultra

    #haskell

  13. Haskell's On-Air Fluster: Nolan's Surprise Appearance Disrupts 'Celebs Go Dating' Narrative

    James Haskell was left red-faced when Coleen Nolan appeared on This Morning shortly after he admitted having a crush on her.

    #JamesHaskell, #ColeenNolan, #ThisMorning, #CelebsGoDating, #LiveTV

    newsletter.tf/james-haskell-em

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

    stackage.org/

  15. Production Haskell by Matt Parsons is on sale on Leanpub! Its suggested price is $40.00; get it for $22.50 with this coupon: leanpub.com/production-haskell #haskell

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

    well-typed.com/blog/2026/05/la

  17. The Tokyo Meetup will happen on the 19th of May with speakers Luite Stegeman and Farhad Mehta

    Discourse: discourse.haskell.org/t/haskel

    Meetup: meetup.com/tokyo-haskell-meetu

  18. The Lambda Nantes Meetup will happen on the 21st of May, with speakers @clementd and @etorreborre as speakers

    discourse.haskell.org/t/lambda

     

  19. :haskell: Heyyy les girls, les gays, les mentally unstable et autre (dys-)functional cryptids ✨

    On me dit que si vous faites ou êtes intéressés par du Haskell, il y a un meetup parisien à la fin du mois où @hecate sera très content'e de vous accueillir !

    meetu.ps/e/Q1L2f/tR1JS/i

    #Haskell #FunctionalProgramming #Programming