Haskell

5 readers
1 users here now

**The Haskell programming language community.** Daily news and info about all things Haskell related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more... ### Links - Get Started with Haskell

founded 2 years ago
126
 
 

The Haskell ecosystem has accumulated a wealth of developer tools over the years. Some of them, such as Hoogle and HLint, have existed for nearly two decades, while others, such as the Haskell Language Server and Retrie, are much more recent. GHC has changed substantially in that time, and this presents a significant challenge to tooling authors saddled with the burden of keeping their tools up to date...

127
 
 

Since 2015, FP Complete has been developing Stack and its associated backend infrastructure, and have donated the hardware resources, time, and expertise needed to make the services available to the community. Stack and Stackage have enabled Haskell development workflows that were not possible before, and the careful attention paid to developer usability has been very clear...

128
129
 
 

The GitHub repo of the #haskell basement and foundation packages was just archived, while it currently has 3764 indirect reverse dependencies including cryptonite, pandoc, and accelerate. I don't know why and I don't know what will happen now, but I am concerned.

130
 
 

In this farewell interview with David Thrane Christiansen, the outgoing Executive Director of the Haskell Foundation, hosts Wouter Swierstra and Matthías Páll Gissurarson use the opportunity to reflect on his tenure as ED, the recent history of the Haskell Foundation, where the HF is going and what consider if you want to apply for the role of Executive Director of the HF.

131
 
 

News about the Haskell programming language from 2023-09-14.

132
 
 

On the HF Slack instance, a user dropped by with a request: can programs that fail due to missing files be better about reporting to users which file was missing? The user in question is providing feedback about how many programs in Haskell can be improved in one fell swoop, but they’re not really in a position to fix it themselves. Concretely, they’re using dhall-to-json, which displays the following when it tries to open a broken symlink: : openFile: does not exist (No such file or directory...

133
 
 

Hi all, I’ve been working for some time on the Eclair compiler (written in Haskell) and I am now at the point where I need to test the LLVM IR my compiler is generating. How would you approach testing this generated code?

134
 
 

In this episode, Andres and Edsko will talk about Edsko's visit to ICFP (the International Conference on Functional Programming), the Haskell Symposium, and HIW (the Haskell Implementors' Workshop) from 4-9 September 2023 in Seattle. We will highlight a few select papers from these events.

This will be streamed today, 2023-09-13, at 1830 UTC.

135
 
 

Serokell’s team has implemented part 1 of visible forall and improved name resolution and type checking of type patterns. Find out the details in our blog post.

136
 
 

DatatypeContexts as implemented today in GHC are much more reasonable than I thought.

https://discourse.haskell.org/t/datatypecontexts-has-something-changed-since-it-was-marked-deprecated/7560/7?u=jaror

#haskell

137
138
 
 

Some notes about the UK air traffic control meltdown

139
140
 
 

This post demonstrates how to outlaw specific return types from servant APIs. Perhaps we have types that are intended for backend use only, or maybe the types are legal in one API but illegal in another yet the backend code is a monolith. Whatever the reason, we can encode a type-level assertion over a servant API that produces a compile-time error if we ever accidentally add a sensitive type to the API.

141
 
 

It is finally time to take a look at how GHC introduces thunks to implement laziness. We first consider ways that thunking can sometimes be viewed as an optimization, then try to understand the source of unnecessary thunking in most Haskell programs.

142
 
 

Read about recent contributions to HLS development, release management and performance improvements thanks to work by Well-Typed.

143
 
 

A lot of the Rust Haskell interop examples out there are for small, synchronous libraries. They also tend to omit how to actually package the Rust library. We'll take a look at challenges and solutions for how to integrate a Tokio-based Rust library with Haskell.

144
 
 

In this interview with Serokell, Lead Software Developers фе RELEX Solutions, Mats Rauhala and Martin Potier, shared with us their reasons for choosing Haskell for their project and their experience implementing it.

145
 
 

Dear Haskell Community, Since May, 2022, I’ve had the honor and pleasure of serving as the Executive Director of the Haskell Foundation. As many of you know, I’ve had a deep and abiding interest in dependently-typed programming, formal verification, compile-time metaprogramming, and programmer tooling. A rare opportunity came by to work on all of these at once, and I will be returning to a full-time developer role at the beginning of October...

146
 
 

News about the Haskell programming language from 2023-08-31.

147
 
 

This will be streamed today, 2023-08-30, at 1830 UTC.

148
4
submitted 2 years ago* (last edited 2 years ago) by jaror@kbin.social to c/haskell@kbin.social
 
 

The GHC developers are happy to announce the availability of GHC 9.4.7. Binary
distributions, source distributions, and documentation are available at
downloads.haskell.org.

149
 
 

I gave a talk on monads to some friends yesterday and recorded it for anyone who's interested. They are current and retired programmers, so the talk may suit others in that line of work.

I was encouraged to put this together after they heard about my functional programming lectures at Winchester University (UK). This video gathers together the material on monads and presents it at a faster pace, so it may be more suitable for experienced programmers than absolute beginners.

Thanks to those who joined in this video, for their questions, observations, and general patience.

A PDF file of the slides can be downloaded here.

I welcome questions, corrections, improvements etc..

150
 
 

To better understand some counterintuitive evaluation puzzles, we explore the notion of “demand” as it exists in Haskell and discuss how it influences GHC’s choice of evaluation strategy.

view more: ‹ prev next ›