~lobsters | Bookmarks (24)

clear filters

haskell ×

Call for early adopters of Sel, Botan and one-time-password

haskell.org

cryptography haskell
1
Why `streaming` Is My Favourite Haskell Streaming Library | Blog | jackkelly.name

jackkelly.name

It’s really easy to misuse lazy I/O (e.g., hGetContents) in nontrivial Haskell programs. You can accidentally...
It’s really easy to misuse lazy I/O (e.g., hGetContents) in nontrivial Haskell programs. You can accidentally close a Handle before the computation which reads from it has been forced, and it’s hard to predict exactly when data will be produced or consumed by IO actions. Streaming libraries in Haskell avoid these pr...

haskell
1
Fixing a bug with C++'s >>= operator

astrid.tech

c++cpp functional-programming haskell monads
1
Solving Advent of Code ’23 “Aplenty” by Compiling

abhinavsarkar.net

compilers haskell interpreters parsing programming
1
Calling Haskell from Swift

alt-romes.github.io

haskell swift
2
GitHub - abuseofnotation/termlisp: A lisp dialect based on pattern matching and term rewriting

github.com

haskell lisp show
2
Flora :: [Package]

flora.pm

haskell
1
Bellroy Technology Team: 2023 in Review

bellroy.com

haskell nix practices scaling web
1
More Fixpoints! (Functional Pearl)

acm.org

Haskell’s laziness allows the programmer to solve some problems naturally and declaratively via recursive equations. Unfortunately,...
Haskell’s laziness allows the programmer to solve some problems naturally and declaratively via recursive equations. Unfortunately, if the input is “too recursive”, these very elegant idioms can fall into the dreaded black hole, and the programmer has to resort to more pedestrian approaches. It does not have to be that way: We built variants of common pure data structures (Booleans, sets) where recursive definitions...

compilers haskell pdf
2
Extending destination-passing style programming to arbitrary data types in Linear Haskell

tweag.io

Three years ago, a blog post introduced destination-passing style (DPS) programming in Haskell, focusing on array...
Three years ago, a blog post introduced destination-passing style (DPS) programming in Haskell, focusing on array processing, for which the API was made safe thanks to Linear Haskell. Today, I’ll present a slightly different API to manipulate arbitrary data types in a DPS fashion, and show why it can be useful for s...

haskell plt
1
Why is Prettier rock solid?

mrmr.io

I've always wondered why Prettier is so good. Yes, it learnt from gofmt what to do...
I've always wondered why Prettier is so good. Yes, it learnt from gofmt what to do (note that gofmt doesn't indent, which is the hard part). Yes, it was announced in a real life conference, which helped get the initial momentum behind it. All that is fine, but what was a bit inexplicable to me is its quality. You mi...

haskell plt
1
Dependency solving in Nix

chriswarbo.net

I’ve written a lot about the Nix build system over the past decade, but one complaint...
I’ve written a lot about the Nix build system over the past decade, but one complaint I keep coming across is that Nix requires dependency constraints to be “solved manually”. This is a sort of category-error: sure, it’s true that Nix doesn’t “solve dependency constraints”; in the same way that, say, /usr/bin/env do...

devops haskell nix practices show
1
Pandoc - Releases

pandoc.org

haskell
2
Tyche - Visual Studio Marketplace

visualstudio.com

Tyche, named after the Greek goddess of chance, aims to provide a comprehensive integrated development environment...
Tyche, named after the Greek goddess of chance, aims to provide a comprehensive integrated development environment (IDE) for property-based testing libraries like Hypothesis, Bolero and more. It is implemented as an extension for Visual Studio Code. The Tyche extension is currently in early alpha; we have a prototyp...

haskell ocaml python testing visualization
1
Parse, don’t validate

lexi-lambda.github.io

haskell plt programming
1
How I learned Haskell in just 15 years - duckrabbit solutions

duckrabbit.tech

education haskell
2
Exploring Verse, Haskell, Language Design and Teaching (with Simon Peyton Jones)

youtu.be

haskell people & blogs plt programming video
1
Stevan's notes – Parallel stream processing with zero-copy fan-out and sharding

stevana.github.io

haskell programming
1
Escape from Zurg: An Exercise in Logic Programming

oregonstate.edu

haskell pdf plt
1
8 months of OCaml after 8 years of Haskell in production

dev.to

I've been using Haskell in production for 8 years. I've been using OCaml in production for...
I've been using Haskell in production for 8 years. I've been using OCaml in production for 8 months. It's time to compare those two languages. Syntax Haskell probably has the most elegant syntax across all languages I've seen (maybe Idris is better because dependently typed code can become ugly in Haskell really qui...

coding functional haskell ml ocaml
1
GitHub - augustss/MicroHs: Functional language implemented with combinators

github.com

compilers haskell release
1
Dependent types in Haskell

serokell.io

At Serokell, we have a dedicated team working on GHC. The primary goal is to help...
At Serokell, we have a dedicated team working on GHC. The primary goal is to help add dependent types to Haskell, as outlined in GHC proposal #378, Design for Dependent Types. This is a complex undertaking with a wide range of challenging problems. The aim of this blog series is to provide regular updates on the wor...

haskell
1
Program Design by Calculation

uminho.pt

haskell math pdf plt
1
TSIDs strike the perfect balance between integers and UUIDs for most databases – Foxhound Systems

foxhound.systems

application development custom software databases elm foxhound systems
1

~lobsters | Bookmarks (24)

Tags

Domains

Call for early adopters of Sel, Botan and one-time-password

Why `streaming` Is My Favourite Haskell Streaming Library | Blog | jackkelly.name

Fixing a bug with C++'s >>= operator

Solving Advent of Code ’23 “Aplenty” by Compiling

Calling Haskell from Swift

GitHub - abuseofnotation/termlisp: A lisp dialect based on pattern matching and term rewriting

Flora :: [Package]

Bellroy Technology Team: 2023 in Review

More Fixpoints! (Functional Pearl)

Extending destination-passing style programming to arbitrary data types in Linear Haskell

Why is Prettier rock solid?

Dependency solving in Nix

Pandoc - Releases

Tyche - Visual Studio Marketplace

Parse, don’t validate

How I learned Haskell in just 15 years - duckrabbit solutions

Exploring Verse, Haskell, Language Design and Teaching (with Simon Peyton Jones)

Stevan's notes – Parallel stream processing with zero-copy fan-out and sharding

Escape from Zurg: An Exercise in Logic Programming

8 months of OCaml after 8 years of Haskell in production

GitHub - augustss/MicroHs: Functional language implemented with combinators

Dependent types in Haskell

Program Design by Calculation

TSIDs strike the perfect balance between integers and UUIDs for most databases – Foxhound Systems