#Haskell

First Haskell Project (an implementation of Irving's algorithm to find roomates)

https://github.com/TheArjunAgarwal/marriage-pact/tree/main

Discussions: https://discu.eu/q/https://github.com/TheArjunAgarwal/marriage-pact/tree/main

#haskell #programming

Readings shared February 20, 2025. https://jaalonso.github.io/vestigium/posts/2025/02/20-readings_shared_02-20-25 #CommonLisp #Haskell #ITP #LLMs #LeanProver #Math #Programming #Python

Я ☞ Bind and traverse with Kleisli morphisms

https://muratkasimov.art/Ya/Articles/Bind-and-traverse-with-Kleisli-morphisms

Discussions: https://discu.eu/q/https://muratkasimov.art/Ya/Articles/Bind-and-traverse-with-Kleisli-morphisms

#haskell #programming

Propositional function code from Haskell Road text

https://fldit-www.cs.tu-dortmund.de/~peter/PS07/HR.pdf

Discussions: https://discu.eu/q/https://fldit-www.cs.tu-dortmund.de/~peter/PS07/HR.pdf

#haskell #programming

#Exercitium: Lista cuadrada. https://jaalonso.github.io/exercitium/posts/2025/02/20-lista_cuadrada/ #Haskell #Python #CommonLisp

I must say, with the exception of macros, most of #rust is easily understandable when you know #haskell and some #cpp. I'm flying through this.

Readings shared February 19, 2025. https://jaalonso.github.io/vestigium/posts/2025/02/19-readings_shared_02-19-25 #AI #CommonLisp #Coq #Haskell #ITP #LLMs #LeanProver #Logic #Math #Python #Reasoning

"Monad of No Return: Next Steps" https://discourse.haskell.org/t/monad-of-no-return-next-steps/11443

#Haskell #FunctionalProgramming

GitHub - VitalBio/dash-haskell-flake

https://github.com/VitalBio/dash-haskell-flake

Discussions: https://discu.eu/q/https://github.com/VitalBio/dash-haskell-flake

#haskell #programming

Bellroy Technology Team: 2024 in Review

https://exploring-better-ways.bellroy.com/bellroy-technology-team-2024-in-review.html

Discussions: https://discu.eu/q/https://exploring-better-ways.bellroy.com/bellroy-technology-team-2024-in-review.html

#haskell #practices #programming

#Exercitium: Máximos locales. https://jaalonso.github.io/exercitium/posts/2025/02/19-maximos_locales/ #Haskell #Python #CommonLisp #Math

Readings shared February 18, 2025. https://jaalonso.github.io/vestigium/posts/2025/02/18-readings_shared_02-18-25 #AI #CommonLisp #Haskell #LLMs #Math #Python

currycarbon v0.4.0.0 is finally available. This version comes with a number of visible and invisible changes, most obviously an extension of the neat command line plot. This version is again available for MS Windows.

https://github.com/nevrome/currycarbon
#archaeology #Haskell #C14

currycarbon v0.4.0.0 is finally available. This version comes with a number of visible and invisible changes, most obviously an extension of the neat command line plot. This version is again available for MS Windows.

https://github.com/nevrome/currycarbon
#archaeology #Haskell #C14

Announcing Symbolize 1.0.1.0: String Interning / Global Symbol Table, with Garbage Collection

https://discourse.haskell.org/t/symbolize-1-0-1-0-efficient-string-interning-global-symbol-table-with-garbage-collection/11426

Discussions: https://discu.eu/q/https://discourse.haskell.org/t/symbolize-1-0-1-0-efficient-string-interning-global-symbol-table-with-garbage-collection/11426

#haskell #programming

#Exercitium: Matrices de Toepliz. https://jaalonso.github.io/exercitium/posts/2025/02/18-matriz_toeplitz/ #Haskell #Python #CommonLisp #Math

Haskell coach to stick with women's team for basketball playoffs despite having been fired

https://www2.ljworld.com/news/general-news/2025/feb/17/haskell-coach-to-stick-with-womens-team-for-basketball-playoffs-despite-having-been-fired/

Discussions: https://discu.eu/q/https://www2.ljworld.com/news/general-news/2025/feb/17/haskell-coach-to-stick-with-womens-team-for-basketball-playoffs-despite-having-been-fired/

#haskell #news #programming

Readings shared February 17, 2025. https://jaalonso.github.io/vestigium/posts/2025/02/17-readings_shared_02-17-25 #AI #Emacs #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Math #Programmingo #Python

@jgayfer It also depends on your personality.

I have seen careful and pedantic coders build impressive things with python and js while I tend to make a mess that's impossible to maintain. I also waste many hours debugging.

So for me, a strictly typed language leads to long term productivity. I also take on bigger problems with confidence.

#programming #python #rust #haskell #javascript

Haskell Interlude 62: Conal Elliott

http://haskell.foundation/podcast/62/

Discussions: https://discu.eu/q/http://haskell.foundation/podcast/62/

#haskell #programming

Natural transformations as a basis of control. ~ Murat Kasimov. https://muratkasimov.art/Ya/Articles/Natural-transformation-as-a-basis-of-control #Haskell #FunctionalProgramming

Readings shared February 16, 2025. https://jaalonso.github.io/vestigium/posts/2025/02/16-readings_shared_02-16-25 #CategoryTheory #FunctionalProgramming #Haskell #LLMs #LambdaCalculus #Logic #Reasoning

The relationship between category theory, lambda calculus, and functional programming in Haskell. ~ Antonio Montano. https://4m4.it/posts/category-theory-functional-programming-compositionality/ #Haskell #FunctionalProgramming #CategoryTheory #LambdaCalculus

PatternMatchable, Yoneda Embedding, and Adjunction - Show and Tell

https://discourse.haskell.org/t/patternmatchable-yoneda-embedding-and-adjunction/11411

Discussions: https://discu.eu/q/https://discourse.haskell.org/t/patternmatchable-yoneda-embedding-and-adjunction/11411

#haskell #programming

Readings shared February 14, 2025. https://jaalonso.github.io/vestigium/posts/2025/02/14-readings_shared_02-14-25 #Autoformalization #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs

Minimalistic niche tech job board

http://beyond-tabs.com/

Discussions: https://discu.eu/q/http://beyond-tabs.com/

#ada #haskell #programming

#Exercitium: Primos equidistantes. https://jaalonso.github.io/exercitium/posts/2025/02/14-primos_equidistantes/ #Haskell #Python #CommonLisp #Math

The Haskell Unfolder Episode 39: Deriving strategies). ~ Edsko de Vries, Andres Löh. https://www.youtube.com/live/NEUbp2CsuNg #Haskell #FunctionalProgramming

I should learn and use #rust. I could use it for work projects, and it would fit neatly, with being safe, fast, and easily installable/deployable.

But it somehow doesn't "tickle" me. I keep coming back to these (comparatively) more exotic languages like #haskell. Not sure why, but I think it offers more learning experiences, possibly more rigidity?

Deploying a Single-Binary Haskell Web App

https://entropicthoughts.com/deploying-single-binary-haskell-web-app

Discussions: https://discu.eu/q/https://entropicthoughts.com/deploying-single-binary-haskell-web-app

#haskell #programming

The Haskell Unfolder Episode 39: deriving strategies

https://www.youtube.com/watch?index=39&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&v=NEUbp2CsuNg

Discussions: https://discu.eu/q/https://www.youtube.com/watch?index=39&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&v=NEUbp2CsuNg

#haskell #programming

@abnv could do it with #Haskell, but of the libraries that sound promising
- 1 has a concise API but is experimental and misses tests
- 1 depends on an ancient base
- 1 has a too conservative licence
- 1 where you need to pass contraprovariant subfunctors and then project the result to 1.5D-space
- 1 uses a logging framework monad dep that is not compatible with your stack
- 1 is practical, but has bug that is fixed locally by users who were too busy to publish them
- 1 you need to jailbreak nix

@jmct challenge accepted

#haskell

@abnv could do it with #Haskell, but of the libraries that sound promising
- 1 has a concise API but is experimental and misses tests
- 1 depends on an ancient base
- 1 has a too conservative licence
- 1 where you need to pass contraprovariant subfunctors and then project the result to 1.5D-space
- 1 uses a logging framework monad dep that is not compatible with your stack
- 1 is practical, but has bug that is fixed locally by users who were too busy to publish them
- 1 you need to jailbreak nix

#Perl: There is more than one way to do it.
#Python: There should be one obvious way to do it.
#Nix: There is no straightforward way to do it.
#Haskell: There is no way to do it.

#programming

Tomorrow, 2025-02-11, we'll live-stream a new episode of the #Haskell #Unfolder. Edsko and I will discuss the various strategies for deriving instances that GHC offers and their relative strengths and weaknesses. Hope to see you all there! https://www.youtube.com/watch?v=NEUbp2CsuNg&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=39

Talk change for #BFPG tonight. The explicit substitutions talk will be rescheduled. In its place, parser combinators in #Haskell (live-coding a JSON parser from scratch).

Be there or be a lambda cube. https://lu.ma/85i70qns

#Exercitium: Anagramas. https://jaalonso.github.io/exercitium/posts/2025/02/10-anagramas/ #Haskell #Python #CommonLisp

Haskell recap for week 6/2025

https://discu.eu/weekly/haskell/2025/6/

#haskell #programming

Get RSS feeds and support this bot with the premium plan: https://discu.eu/premium

Я ☞ Natural transformations as a basis of control flow

https://muratkasimov.art/Ya/Articles/Natural-transformation-as-a-basis-of-control

Discussions: https://discu.eu/q/https://muratkasimov.art/Ya/Articles/Natural-transformation-as-a-basis-of-control

#haskell #programming

Turner, Bird, Eratosthenes: An eternal burning thread. ~ Jeremy Gibbons. https://www.cambridge.org/core/journals/journal-of-functional-programming/article/turner-bird-eratosthenes-an-eternal-burning-thread/32E2EDF5D5EAEC95F13D313BC97B86F0 #Haskell #FunctionalProgramming

2025 Call for nominations for the Haskell Foundation

https://gitlab.haskell.org/hf/meta/-/blob/main/board.md#7-board-membership-lifecycle

Discussions: https://discu.eu/q/https://gitlab.haskell.org/hf/meta/-/blob/main/board.md%237-board-membership-lifecycle

#haskell #programming

Readings shared February 8, 2025. https://jaalonso.github.io/vestigium/posts/2025/02/08-readings_shared_02-08-25 #ITP #IsabelleHOL #Haskell #FunctionalProgramming

@cafechatnoir "afternoon workshop type class" – accidental #haskell

Introducing Haskell Run – A VS Code Extension to Execute Haskell Instantly!

https://marketplace.visualstudio.com/items?itemName=midhunan.haskellrun

Discussions: https://discu.eu/q/https://marketplace.visualstudio.com/items?itemName=midhunan.haskellrun

#haskell #programming

Turner, Bird, Eratosthenes: An eternal burning thread https://www.cambridge.org/core/journals/journal-of-functional-programming/article/turner-bird-eratosthenes-an-eternal-burning-thread/32E2EDF5D5EAEC95F13D313BC97B86F0

HN https://news.ycombinator.com/item?id=42980835

#haskell

Review of "Haskell in depth" by Vitaly Bragilevsky. ~ Brent Yorgey. https://www.cambridge.org/core/services/aop-cambridge-core/content/view/E8BE1DB3FD80AB7AD92EE979893A10AC/S0956796825000024a.pdf/review_of_haskell_in_depth_by_vitaly_bragilevsky_manning_publications_2021.pdf #Haskell #FunctionalProgramming

Tricking Haskell into state: how Clash's Signal type works

https://clash-lang.org/blog/0007-signals/

Discussions: https://discu.eu/q/https://clash-lang.org/blog/0007-signals/

#haskell #programming

Readings shared February 6, 2025. https://jaalonso.github.io/vestigium/posts/2025/02/06-readings_shared_02-06-25 #ITP #LeanProver #Math #CategoryTheory #Haskell #Python #CommonLisp #Emacs #Elisp #LLMs

https://www.tweag.io/blog/2025-02-06-refactoring-lh/

#Haskell

#Exercitium: Diagonales principales. https://jaalonso.github.io/exercitium/posts/2025/02/06-diagonales_principales/ #Haskell #Python #CommonLisp #Matemáticas

I fucking hate cabal #haskell for the inexcusable design decision that all info for a project must be in the cabal file and therefore cabal cannot figure out what modules are part of the project folder structure. Why? Because this means I can’t get extension support for files until I explicitly add the bloody module to the cabal file. When asked about it on the Haskell discord I am told that this is an unfortunate consequence of the above and that it’s on me to use some ugly workaround.

For such a fundamental pain in the UX, the only acceptable response from #cabal devs should be to stuff their pride deep deep down and go back to the fucking drawing board and throw out such hideous design decisions.

@julesh I spent a lot of time in freenode #haskell pointing out that no, haskell could go fuck itself re various limitations because the suggestions I was being given were either workaround grade (which, tbf, was usually acknowledged) or attempts to tell me I had an XY problem and Y wasn't "you're using haskell"

Some of them have, at least, improved significantly - but there's also a reason I'm deliberately keeping Nooblog and its successors small enough to piss people off, which is that I absolutely should not be maintaining a language others are building on top of! Cribbing off my design is more than fine by me.

Readings shared February 4, 2025. https://jaalonso.github.io/vestigium/posts/2025/02/04-readings_shared_02-04-25 #Haskell #Python #CommonLisp

Type-level interfaces in Haskell and Rust (talk, Functional Conf 2025)

https://youtu.be/vKAuSD0RnmY?si=JG4gHkjmgDSgdCBB

Discussions: https://discu.eu/q/https://youtu.be/vKAuSD0RnmY?si=JG4gHkjmgDSgdCBB

#haskell #programming #rustlang

this is the best unintentional critique of "make illegal states unrepresentable" I've seen https://lobste.rs/s/wucizv/no_panic_rust_nice_technique_for_systems#c_ysdzf9 tl;dr "shit happens"

#functionalprogramming #rust #haskell

Evan Silberman wrote an interesting post that describes the process which led to the contribution of the mdoc reader.
https://duckrabbit.tech/articles/mdoc.html
#pandoc #haskell #blogpost

#Exercitium: Posiciones de las diagonales principales. https://jaalonso.github.io/exercitium/posts/2025/02/04-posiciones_diagonales_principales/ #Haskell #Python #CommonLisp

Readings shared February 3, 2025. https://jaalonso.github.io/vestigium/posts/2025/02/03-readings_shared_02-03-25 #ITP #LeanProver #IsabelleHOL #Haskell #Python #CommonLisp #Maxima #Math

Check out my series of #blog posts about writing a fast #Sudoku solver in #Haskell, starting with this post: https://abhinavsarkar.net/posts/fast-sudoku-solver-in-haskell-1/

Comments, boosts and likes appreciated.

#programming #functionalprogramming #puzzles

Bluefin versus OOP

https://h2.jaguarpaw.co.uk/posts/bluefin-versus-oop/

Discussions: https://discu.eu/q/https://h2.jaguarpaw.co.uk/posts/bluefin-versus-oop/

#haskell #programming

#Exercitium: La bandera tricolor. https://jaalonso.github.io/exercitium/posts/2025/02/03-bandera_tricolor/ #Haskell #Python #CommonLisp

my first Haskell project - a random art generator

https://github.com/jamesma100/randomart

Discussions: https://discu.eu/q/https://github.com/jamesma100/randomart

#haskell #programming

Midlands Graduate School 2025

https://www.andreipopescu.uk/MGS_Sheffield/MGS2025.html

Discussions: https://discu.eu/q/https://www.andreipopescu.uk/MGS_Sheffield/MGS2025.html

#haskell #programming

Registrations for #ZuriHac are open!

https://fosstodon.org/@zurihac/113923721436690162

#Haskell #FunctionalProgramming

Myth and truth in Haskell asynchronous exceptions

https://kazu-yamamoto.hatenablog.jp/entry/2024/12/04/180338

Discussions: https://discu.eu/q/https://kazu-yamamoto.hatenablog.jp/entry/2024/12/04/180338

#haskell #programming

Readings shared January 31, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/31-readings_shared_01-31-25 #Haskell #Python #CommonLisp #SMT

[Well-Typed] An introduction to Cabal Hooks for package authors

https://www.well-typed.com/blog/2025/01/cabal-hooks/

Discussions: https://discu.eu/q/https://www.well-typed.com/blog/2025/01/cabal-hooks/

#haskell #programming

Add safe integral conversions to base · Issue #314 · haskell/core-libraries-committee

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

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

#haskell #programming

Using the Tardis Monad in a compiler optimisation pass.

https://icicle-lang.github.io/posts/2025-02-01-a-time-travelling-optimisation.html

Discussions: https://discu.eu/q/https://icicle-lang.github.io/posts/2025-02-01-a-time-travelling-optimisation.html

#haskell #programming

#Exercitium: Ordenación por el máximo. https://jaalonso.github.io/exercitium/posts/2025/01/29-ordenados_por_maximo/ #Haskell #Python #CommonLisp

Hell (Haskell shell)

https://chrisdone.com/posts/hell-year-in-review-2025/

Discussions: https://discu.eu/q/https://chrisdone.com/posts/hell-year-in-review-2025/

#haskell #programming

Blazing-Fast Directory Tree Traversal: Haskell Streamly Beats Rust

https://www.youtube.com/watch?v=voy1iT2E4bk

Discussions: https://discu.eu/q/https://www.youtube.com/watch?v=voy1iT2E4bk

#haskell #programming #rustlang

Check out my series of #blog posts about writing a fast #Sudoku solver in #Haskell, starting with this post: https://abhinavsarkar.net/posts/fast-sudoku-solver-in-haskell-1/

Comments, boosts and likes appreciated.

#programming #functionalprogramming #puzzles

Haskell recap for week 4/2025

https://discu.eu/weekly/haskell/2025/4/

#haskell #programming

Get RSS feeds and support this bot with the premium plan: https://discu.eu/premium

Advent of Code in Haskell: Reflections and write-ups for all 25 days of 2024

https://blog.jle.im/entry/advent-of-code-2024.html

Discussions: https://discu.eu/q/https://blog.jle.im/entry/advent-of-code-2024.html

#haskell #programming

Failed to install HLS

https://www.haskell.org/ghcup/sh/bootstrap-haskell.ps1

Discussions: https://discu.eu/q/https://www.haskell.org/ghcup/sh/bootstrap-haskell.ps1

#haskell #programming

Readings shared January 25, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/25-readings_shared_01-25-25 #ITP #Agda #Coq #Rocq #IsabelleHOL #Math #FunctionalProgramming #Haskell #JuliaLang

Use Monoids for Construction

https://reasonablypolymorphic.com/blog/use-monoids/index.html

Discussions: https://discu.eu/q/https://reasonablypolymorphic.com/blog/use-monoids/index.html

#haskell #programming

Use monoids for construction. ~ Sandy Maguire. https://reasonablypolymorphic.com/blog/use-monoids/index.html #Haskell #FunctionalProgramming

Readings shared January 24, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/24-readings_shared_01-24-25 #ITP #IsabelleHOL #Haskell #FunctionalProgramming #AI #LLMs #GenerativeAI #NeuroSymbolicAI

#haskell's "monoidmap" is fantastic! Getting a histogram from a list is just "foldMap (`MonoidMap.singleton` mempty)" (very implicit, using the "Sum" monoid)

@haskell_discussions I could predict that the comments would be full of "ThIs Is NoT tHe ReAl QuIcKsOrT!!!" XD #haskell

Quicksort [Computerphile]

https://youtu.be/OKc2hAmMOY4

Discussions: https://discu.eu/q/https://youtu.be/OKc2hAmMOY4

#haskell #programming

New SHA256 bindings supporting HMAC key reuse

https://hackage.haskell.org/package/sha256

Discussions: https://discu.eu/q/https://hackage.haskell.org/package/sha256

#haskell #programming

At the #agda headquaters:

"OK, guys, so our user pool consists only of folks who already know #haskell and #emacs Is there a way to narrow it down more?"

"I got it, what if we allow unicode, so they also have to also know #latex ?"

"Brilliant!"

#joke

(just kidding, agda is very cool (hope to learn it someday))

At the #agda headquaters:

"OK, guys, so our user pool consists only of folks who already know #haskell and #emacs Is there a way to narrow it down more?"

"I got it, what if we allow unicode, so they also have to also know #latex ?"

"Brilliant!"

#joke

(just kidding, agda is very cool (hope to learn it someday))

Tracing foreign function invocations. ~ Edsko de Vries, Zubin Duggal, Matthew Pickering. https://well-typed.com/blog/2025/01/trace-foreign-calls/ #Haskell #FunctionalProgramming

Supercede’s house style for Haskell. ~ Jezen Thomas. https://jezenthomas.com/2025/01/style-guide/ #Haskell #FunctionalProgramming

Modeling dataframes in Haskell using higher-kinded types. ~ Laurent P. René de Cotret. https://laurentrdc.xyz/posts/HKTGenerics.html #Haskell #FunctionalProgramming

Making my life easier with two GADTs. ~ borar. http://systema10.org/posts/making-my-life-easier-with-two-gadts.html #Haskell #FunctionalProgramming

Making my life harder with GADTs. Matt Parsons. https://www.parsonsmatt.org/2025/01/21/making_my_life_harder_with_gadts.html #Haskell #FunctionalProgramming

Making my life easier with GADTs. ~ Lucas Escot. https://acatalepsie.fr/posts/making-my-life-easier-with-gadts.html #Haskell #FunctionalProgramming

Fast Haskell, Redux. ~ Jared Tobin. https://jtobin.io/fast-haskell-redux #Haskell #FunctionalProgramming

A new perspective on lenses. ~ Sandy Maguire. https://reasonablypolymorphic.com/blog/code-lenses/ #Haskell #FunctionalProgramming

Hyperbole: Haskell interactive serverside web framework inspired by Htmx, Elm

https://github.com/seanhess/hyperbole

Discussions: https://discu.eu/q/https://github.com/seanhess/hyperbole

#haskell #htmx #javascript #programming #webdev

Cabal cannot build scotty project on Windows because of zlib

https://hackage.haskell.org/package/scotty

Discussions: https://discu.eu/q/https://hackage.haskell.org/package/scotty

#haskell #programming

Readings shared January 22, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/22-readings_shared_01-22-25 #ITP #IsabelleHOL #Coq #Rocq #LeanProver #FunctionalProgramming #Haskell #Python #Math #AI

Haskell Interlude 61: Sam Lindley

https://haskell.foundation/podcast/61/

Discussions: https://discu.eu/q/https://haskell.foundation/podcast/61/

#haskell #programming

A Proper x86 Assembler in Haskell Using the Escardó-Oliva Functional

http://blog.vmchale.com/article/escardo-oliva-functional

Discussions: https://discu.eu/q/http://blog.vmchale.com/article/escardo-oliva-functional

#haskell #programming

Update: Jaxpr / Jax interop Haskell Library (named Neptune)

https://github.com/mzguntalan/neptune

Discussions: https://discu.eu/q/https://github.com/mzguntalan/neptune

#haskell #programming

Making my life easier with two GADTs

http://systema10.org/posts/making-my-life-easier-with-two-gadts.html

Discussions: https://discu.eu/q/http://systema10.org/posts/making-my-life-easier-with-two-gadts.html

#haskell #programming

#Exercitium: Iguales al siguiente. https://jaalonso.github.io/exercitium/posts/2025/01/21-iguales_al_siguiente/ #Haskell #Python #Matemáticas

Advent of Code 2024: Haskell solution reflections for all 25 days. ~ Justin Le. https://blog.jle.im/entry/advent-of-code-2024.html #Haskell #FunctionalProgramming

Making My Life Harder with GADTs

https://www.parsonsmatt.org/2025/01/21/making_my_life_harder_with_gadts.html

Discussions: https://discu.eu/q/https://www.parsonsmatt.org/2025/01/21/making_my_life_harder_with_gadts.html

#haskell #programming

Making my life easier with GADTs

https://acatalepsie.fr/posts/making-my-life-easier-with-gadts.html

Discussions: https://discu.eu/q/https://acatalepsie.fr/posts/making-my-life-easier-with-gadts.html

#haskell #programming

GHC String Interpolation Survey Open!

https://discourse.haskell.org/t/ghc-string-interpolation-survey-open/11245

Discussions: https://discu.eu/q/https://discourse.haskell.org/t/ghc-string-interpolation-survey-open/11245

#haskell #programming

Documentation on using Renovate with haskell-actions

https://github.com/haskell-actions/setup/issues/111

Discussions: https://discu.eu/q/https://github.com/haskell-actions/setup/issues/111

#api #haskell #programming #vcs

Minor #Haskell #ghc annoyance of the day is this warning:

"warning: [GHC-63394] [-Wx-partial]
In the use of ‘head’
(imported from Prelude, but defined in GHC.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."

I don't want this is on by default. If I want to call `head` on a list it is my problem that this might fail.

Luckily, the fix is easy:

{-# OPTIONS_GHC -Wno-x-partial #-}

Readings shared January 20, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/20-readings_shared_01-20-25 #ITP #LeanProver #IsabelleHOL #Math #FunctionalProgramming #Haskell #Python #CommonLisp #JanetLang #AI #LLMs #Programming

SupGen is program synthesizer that outperforms SOTA alternatives using the HVM (which is now in Haskell!)

https://www.youtube.com/watch?v=GddkKIhDE2c

Discussions: https://discu.eu/q/https://www.youtube.com/watch?v=GddkKIhDE2c

#haskell #programming

Haskell recap for week 3/2025

https://discu.eu/weekly/haskell/2025/3/

#haskell #programming

Get RSS feeds and support this bot with the premium plan: https://discu.eu/premium

#Exercitium: Primos consecutivos con media capicúa. https://jaalonso.github.io/exercitium/posts/2025/01/20-primos_consecutivos_con_media_capicua/ #Haskell #Python #Matemáticas

Interpreting Brainfuck in Haskell. ~ Abhinav Sarkar. https://abhinavsarkar.net/posts/brainfuck-interpreter/ #Haskell #FunctionalProgramming

Hasochism: The pleasure and pain of dependently typed Haskell programming. ~ Sam Lindley, Conor McBride. https://personal.cis.strath.ac.uk/conor.mcbride/pub/hasochism.pdf #Haskell #FunctionalProgramming

Hasochism: The Pleasure and Pain of Dependently Typed Haskell Programming

https://personal.cis.strath.ac.uk/conor.mcbride/pub/hasochism.pdf

Discussions: https://discu.eu/q/https://personal.cis.strath.ac.uk/conor.mcbride/pub/hasochism.pdf

#haskell #programming

Readings shared January 19, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/19-readings_shared_01-19-25 #ITP #LeanProver #FunctionalProgramming #Haskell #AI #LLMs

Interpreting Brainfuck in Haskell

https://abhinavsarkar.net/posts/brainfuck-interpreter/

Discussions: https://discu.eu/q/https://abhinavsarkar.net/posts/brainfuck-interpreter/

#haskell #programming

Porting PFP from Haskell to OCaml

https://github.com/lewis-carson/PFPCaml

Discussions: https://discu.eu/q/https://github.com/lewis-carson/PFPCaml

#haskell #ocaml #programming

A new perspective on lenses. ~ Sandy Maguire. https://reasonablypolymorphic.com/blog/code-lenses/index.html #Haskell #FunctionalProgramming

Haskell: A Great Procedural Language

https://entropicthoughts.com/haskell-procedural-programming

Discussions: https://discu.eu/q/https://entropicthoughts.com/haskell-procedural-programming

#haskell #programming

Readings shared January 18, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/18-readings_shared_01-18-25 #Haskell #Python #CommonLisp #ITP #Coq #Rocq #Logic #Math #AI #MachineLearning #LLMs

#Exercitium: Mastermind. https://jaalonso.github.io/exercitium/posts/2025/01/18-mastermind/ #Haskell #Python #Matemáticas

#haskell and #nix PSA to save you some time: if you're evaluating which library to pick among a dozen, just choose the one that isn't broken in #nixpkgs. You're welcome.

Listopia: List manipulation library inspired by Haskell package Data.List. ~ Ito Dimercel. https://github.com/Dimercel/listopia #CommonLisp #Haskell

Call for Nominations: Haskell.org Committee

https://www.haskell.org/haskell-org-committee/

Discussions: https://discu.eu/q/https://www.haskell.org/haskell-org-committee/

#haskell #programming

Readings shared January 17, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/17-readings_shared_01-17-25 #Haskell #Python #ITP #Coq #Rocq #LeanProver #Logic #Math #AI #LLMs #Reasoning

#Exercitium: Determinación de los elementos minimales. https://jaalonso.github.io/exercitium/posts/2025/01/17-elementos_minimales/ #Haskell #Python #DíaInternacionalDeLasMatemáticas

#MULCIA: Research software engineer at Epic. https://tinyurl.com/23jucqu4 #Job #CompSci #Haskell

Readings shared January 16, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/16-readings_shared_01-16-25 #ITP #LeanProver #Agda #Logic #Math #SAT #SMT #FunctionalProgramming #Haskell #Python #Matemáticas #AI #LLMs

Fast Haskell, Redux

https://jtobin.io/fast-haskell-redux

Discussions: https://discu.eu/q/https://jtobin.io/fast-haskell-redux

#haskell #programming

Now added initial support for Haskell - auto-generate Haskell data models from Scala case classes - early preview, will extend further in hackathon

https://codeberg.org/jjba23/dmtscala

Discussions: https://discu.eu/q/https://codeberg.org/jjba23/dmtscala

#haskell #programming #scala

#Exercitium: Suma de los números amigos menores que n. https://jaalonso.github.io/exercitium/posts/2025/01/16-suma_de_numeros_amigos_menores_que_n/ #Haskell #Python #Matemáticas

#Exercitium: Sucesión de números amigos. https://jaalonso.github.io/exercitium/posts/2025/01/15-sucesion_de_numeros_amigos/ #Haskell #Python #Matemáticas

The Haskell Unfolder Episode 38: tasting and testing CUDA (map, fold, scan). ~ Edsko de Vries, Andres Löh. https://www.youtube.com/live/ww4C3jlsesw?si=615ge7qYP7GBVp2A #Haskell #FunctionalProgramming

https://lira.kraamwinkel.be/articles/haskell_ffi

A while ago I wrote about the Foreign Function Interface in Haskell and how to make a desktop application with Qt6.

The following topics are covered:

• Using foreign import to call C or C++-functions (without name mangling);
• Using foreign export to call Haskell-functions in C or C++
• How to create pointers that get freed automatically to prevent memory issues;
• How to create arrays in Haskell;
• How to create structs in Haskell (manually and via GStorable);
• How to create function pointers in Haskell;
• Why MonadReader (IORef [a]) m is better for storing pointers than MonadState [a] m;
• The difference between ccall and capi

I already shared it on my previous account back then, but I am posting it here now too :)

#haskell

An agda2hs-compatible representation of exact real arithmetic. ~ Viktor Csimma. https://csimmaviktor.web.elte.hu/acorn.pdf #ITP #Agda #FunctionalProgramming #Haskell

Readings shared January 15, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/15-readings_shared_01-15-25 #ITP #LeanProver #Logic #Math #CompSci #FunctionalProgramming #Haskell

The Haskell Unfolder Episode 38: tasting and testing CUDA (map, fold, scan)

https://www.youtube.com/watch?index=38&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&v=ww4C3jlsesw

Discussions: https://discu.eu/q/https://www.youtube.com/watch?index=38&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&v=ww4C3jlsesw

#haskell #programming

Research Software Engineer at Epic

https://discourse.haskell.org/t/research-software-engineer-at-epic/11202

Discussions: https://discu.eu/q/https://discourse.haskell.org/t/research-software-engineer-at-epic/11202

#haskell #programming

Hit the translate button and read about some interesting-looking #Haskell libraries.
https://zenn.dev/konn/articles/2025-01-oss-from-previous-job

#Exercitium: Sucesión de números amigos. https://jaalonso.github.io/exercitium/posts/2025/01/15-sucesion_de_numeros_amigos/ #Haskell #Matemáticas

Readings shared January 14, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/14-readings_shared_01-14-25 #ITP #IsabelleHOL #Coq #Rocq #Haskell #FunctionalProgramming

https://lira.kraamwinkel.be/articles/haskell_ffi

A while ago I wrote about the Foreign Function Interface in Haskell and how to make a desktop application with Qt6.

The following topics are covered:

• Using foreign import to call C or C++-functions (without name mangling);
• Using foreign export to call Haskell-functions in C or C++
• How to create pointers that get freed automatically to prevent memory issues;
• How to create arrays in Haskell;
• How to create structs in Haskell (manually and via GStorable);
• How to create function pointers in Haskell;
• Why MonadReader (IORef [a]) m is better for storing pointers than MonadState [a] m;
• The difference between ccall and capi

I already shared it on my previous account back then, but I am posting it here now too :)

#haskell

The #Haskell #Unfolder is back! In tomorrow's episode, we'll take a look at CUDA and write some simple functions in it. We'll also show how to interface from Haskell to CUDA and how to use QuickCheck to test CUDA functions from Haskell.

https://www.youtube.com/watch?v=ww4C3jlsesw&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=38

Hell (Haskell shell): Year in review. ~ Chris Done. https://chrisdone.com/posts/hell-year-in-review-2025/ #Haskell #FunctionalProgramming

Equality on recursive λ-terms

https://gist.github.com/VictorTaelin/1af22e2c87f176da0e5ff8cd3430b04f

Discussions: https://discu.eu/q/https://gist.github.com/VictorTaelin/1af22e2c87f176da0e5ff8cd3430b04f

#haskell #programming

Haskell recap for week 2/2025

https://discu.eu/weekly/haskell/2025/2/

#haskell #programming

Get RSS feeds and support this bot with the premium plan: https://discu.eu/premium

하스켈 공부를 시작하고, 펑터를 슬슬 쓰기 시작하면서, Applicative 로 넘어갈 무렵에 볼만한 글입니다. 컨텍스트란 말이 편해지면, 펑터 다음 진도에 도움이 많이 됩니다.

최근 펑터를 공부하면서, 펑터가 달리 보여 5년전 글의 컨텍스트, Applicative, Traversable 내용을 보강해 봤습니다.

https://lionhairdino.github.io/posts/2020-07-02-Context.html

#하스켈 #Haskell #컨텍스트 #Applicative #Traversable #traverse

Readings shared January 11, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/11-readings_shared_01-11-25 #ITP #LeanProver #Coq #Rocq #Agda #FunctionalProgramming #Haskell #Python #Math #CategoryTheory #ComputerSci #Education #GenAI

예전 펑터 글에 "펑터 값을 프리미티브한 값처럼 쓰고 싶다"라는 목표를 먼저 세우고, `<$>`와 `<*>`등을 살펴보는 내용을 추가했습니다.
https://lionhairdino.github.io/posts/2023-03-09-functor.html

#하스켈 #펑터 #Haskell #Functor

Trying to learn persistent/esqueleto

https://www.yesodweb.com/book/persistent

https://hackage.haskell.org/package/persistent
persistent-postgresql https://hackage.haskell.org/package/persistent-postgresql
the Persistent entity syntax https://hackage.haskell.org/package/persistent-2.14.6.3/docs/Database-Persist-Quasi.html
esqueleto https://hackage.haskell.org/package/esqueleto

#Haskell

예전 펑터 글에 "펑터 값을 프리미티브한 값처럼 쓰고 싶다"라는 목표를 먼저 세우고, `<$>`와 `<*>`등을 살펴보는 내용을 추가했습니다.
https://lionhairdino.github.io/posts/2023-03-09-functor.html

#하스켈 #펑터 #Haskell #Functor

#Exercitium: Números amigos. https://jaalonso.github.io/exercitium/posts/2025/01/11-numeros_amigos/ #Haskell #Python #DíaInternacionalDeLasMatemáticas

Alpha beta pruning with the selection monad. ~ Johannes Hartmann, Jeremy Gibbons. https://trendsfp.github.io/abstracts/paper-028.pdf #Haskell #FunctionalProgramming

Shallowly embedded functions. ~ Mart Lubbers, Pieter Koopman, Niek Janssen. https://trendsfp.github.io/abstracts/paper-007.pdf #Haskell #FunctionalProgramming

Using GHC core to normalise student programs. ~ Matilda Blomqvist, Alex Gerdes. https://trendsfp.github.io/abstracts/paper-012.pdf #Haskell #FunctionalProgramming

On the correctness of Barron and Strachey’s cartesian product function. ~ Wouter Swierstra, Jason Hemann. https://trendsfp.github.io/abstracts/paper-006.pdf #Haskell #FunctionalProgramming #ITP #Agda

Categories and Haskell (An introduction to the mathematics behind modern functional programming). ~ Jan-Willem Buurlage. https://raw.githubusercontent.com/jwbuurlage/category-theory-programmers/master/doc/categories_for_programmers.pdf #CategoryTheory #Haskell #FunctionalProgramming

Readings shared January 10, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/10-readings_shared_01-10-25 #ITP #LeanProver #Logic #Math #Haskell #Python #ASP #LogicProgramming #AI #NeuroSymbolicAI #LLMs

#Exercitium: Máxima suma de caminos en un triángulo. https://jaalonso.github.io/exercitium/posts/2025/01/10-maxima_suma_de_caminos_en_un_triangulo/ #Haskell #Python #Matemáticas

[ANN] Yolc - a Haskell-powered, safe, expressive, fun language for Ethereum

https://discourse.haskell.org/t/ann-yolc-a-haskell-powered-safe-expressive-fun-language-for-ethereum/11145

Discussions: https://discu.eu/q/https://discourse.haskell.org/t/ann-yolc-a-haskell-powered-safe-expressive-fun-language-for-ethereum/11145

#haskell #programming

Unable to build botan

https://github.com/haskell-cryptography/botan?tab=readme-ov-file#Installation

Discussions: https://discu.eu/q/https://github.com/haskell-cryptography/botan?tab=readme-ov-file%23Installation

#haskell #programming

Readings shared January 9, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/09-readings_shared_01-09-25 #ITP #LeanProver #Logic #Math #FunctionalProgramming #Haskell #JavaScript #Python #AI #NeuralNetwork #ChatGPT

Case Study — Using a JavaScript component inside a Haskell application

https://blog.haskell.org/case-study-foreign-integration-js-browser/

Discussions: https://discu.eu/q/https://blog.haskell.org/case-study-foreign-integration-js-browser/

#haskell #javascript #programming #webdev

Update n°40 from the GHC team at IOG

https://engineering.iog.io/2025-01-09-ghc-update/

Highlights:
• Luite finalized the patch adding compiler flags to to switch off speculative evaluation.

• Sylvain worked on bootstrapping GHC with Cabal.

#haskell

Using a JavaScript component inside a Haskell application. ~ Mateusz Goślinowski. https://blog.haskell.org/case-study-foreign-integration-js-browser/ #Haskell #FunctionalProgramming #JavaScript

New post on the #Haskell blog: “Case Study — Using a JavaScript component inside a Haskell application”

https://blog.haskell.org/case-study-foreign-integration-js-browser/

@tolmasky if I had to implement reflection in Lean4 or Agda, I would try to mimic #Haskell's typeable.

But also, I think there must be a very important point here! In dependently typed languages, entities can have more than one type!

(frac 1 2) : Frac 2 4, but also (frac 1 2) : Frac 4 8, for instance.

[1] : ListLE 1, but also [1]: ListLE 42.

So, perhaps the whole idea of general reflaction is defeated by this property. And this is why #haskell offers superior reflection[1]. Note that #Typeable is in #GHC itself!

I don't know if I'm mansplaining here or if you're aware of haskell's Typeable, but here is a simple demo of its capabilities: https://github.com/cognivore/typeable-haskell-demo/blob/main/app/Main.hs

In #Lean, I would emulate it by defining asking the user to provide explict instances over an enum, just as you wrote! The existential quantification trick can be done in #Lean by carrying the instance inside a structure that ties the knot between the type and an entity which has this type:

```
structure Stuff where
α : Type
val : α
inst : Reflect α
```

You won't be able to construct it unless α is Reflect.

* * *

[1]: https://hackage.haskell.org/package/base-4.21.0.0/docs/Type-Reflection.html#t:TypeRep

GHC 9.12 & Cabal 3.14 releases

https://blog.haskell.org/ghc-9-12-cabal-3-14/

Discussions: https://discu.eu/q/https://blog.haskell.org/ghc-9-12-cabal-3-14/

#haskell #programming #release

Haskell recap for week 1/2025

https://discu.eu/weekly/haskell/2025/1/

#haskell #programming

Get RSS feeds and support this bot with the premium plan: https://discu.eu/premium

Readings shared January 4, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/04-readings_shared_01-04-25 #ITP #IsabelleHOL #LeanProver #HOL_Light #Mizar #Math #Logic #Haskell #Python

McHale (2024) Streaming Compression via Laziness

http://vmchale.com/static/serve/lazy-c-api-streaming.pdf

Discussions: https://discu.eu/q/http://vmchale.com/static/serve/lazy-c-api-streaming.pdf

#haskell #programming

GHC 9.12 & Cabal 3.14 released!

Read the announcement at https://blog.haskell.org/ghc-9-12-cabal-3-14/

#Haskell

In my quest of solving #AdventOfCode problems in interesting ways, this time I solved the 2020 problem "Seating System" with comonads and stencils in #Haskell. Read my latest #blog post about it: https://abhinavsarkar.net/posts/solving-aoc20-seating-system/

#FunctionalProgramming #Programming

Solving Advent of Code “Seating System” with Comonads and Stencils

https://abhinavsarkar.net/posts/solving-aoc20-seating-system/

Discussions: https://discu.eu/q/https://abhinavsarkar.net/posts/solving-aoc20-seating-system/

#haskell #programming

Policy regarding taking over Hackage packages

https://discourse.haskell.org/t/policy-regarding-taking-over-hackage-packages/

Discussions: https://discu.eu/q/https://discourse.haskell.org/t/policy-regarding-taking-over-hackage-packages/

#haskell #programming

In my quest of solving #AdventOfCode problems in interesting ways, this time I solved the 2020 problem "Seating System" with comonads and stencils in #Haskell. Read my latest #blog post about it: https://abhinavsarkar.net/posts/solving-aoc20-seating-system/

#FunctionalProgramming #Programming

In my quest of solving #AdventOfCode problems in interesting ways, this time I solved the 2020 problem "Seating System" with comonads and stencils in #Haskell. Read my latest #blog post about it: https://abhinavsarkar.net/posts/solving-aoc20-seating-system/

#FunctionalProgramming #Programming

a는 Identity a라고 본다면, 세상의 모든 값을 펑터 값으로 생각할 수 있습니다. 항상 함수를 적용할 때는 f <$> a라 쓸 수 있습니다. 간단한 프리미티브 값이든, 복잡한 계산 후 받는 값이든 모두 같은 것으로 취급할 수 있습니다.

FRP에서 Event, Behavior를 일반 값처럼 쓰기 위해, 특별한 테크닉이 필요하지 않습니다. 원래 펑터가 그런 것입니다.

#하스켈 #펑터 #Haskell #functor #FRP #Event #Behavior

#Exercitium: Caminos en un triángulo. https://jaalonso.github.io/exercitium/posts/2025/01/04-caminos_en_un_triangulo/ #Haskell #Python #Matemáticas

Readings shared January 3, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/03-readings_shared_01-03-25 #ITP #Lean4 #IsabelleHOL #Coq #Rocq #Math #FunctionalProgramming #OCaml #Haskell #Python #AI #MachineLearning

#Exercitium: Mayor órbita de la sucesión de Collatz. https://jaalonso.github.io/exercitium/posts/2025/01/03-mayor_orbita_de_la_sucesion_de_collatz/ #Haskell #Python #DíaInternacionalDeLasMatemáticas

Parallel SAT solver. ~ Yixuan Li, Jiaqian Li, Phoebe Wang. https://www.cs.columbia.edu/~sedwards/classes/2024/4995-fall/reports/tsp-sat-report.pdf #Haskell #FunctionalProgramming

Parallel QuickHull algorithm in Haskell. ~ George Morgulis, Henry Lin. https://www.cs.columbia.edu/~sedwards/classes/2024/4995-fall/reports/Convex_Hull-report.pdf #Haskell #FunctionalProgramming

Modular probabilistic programming with algebraic effects. ~ Oliver Goldstein, Ohad Kammar. https://arxiv.org/abs/2412.19826 #Haskell #FunctionalProgramming

Readings shared January 2, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/02-readings_shared_01-02-25 #Haskell #Python #Math

#Exercitium: Ternas pitagóricas con suma dada. https://jaalonso.github.io/exercitium/posts/2025/01/02-ternas_pitagoricas_con_suma_dada/ #Haskell #Python #Matemáticas

Readings shared January 1, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/01-readings_shared_01-01-25 #ITP #LeanProver #Lean4 #Mizar #Math #Haskell #Python

[Design] Dataframes in Haskell

https://discourse.haskell.org/t/design-dataframes-in-haskell/11108/2

Discussions: https://discu.eu/q/https://discourse.haskell.org/t/design-dataframes-in-haskell/11108/2

#haskell #programming

[ANN] GHCup 0.1.40.0 released

https://discourse.haskell.org/t/ann-ghcup-0-1-40-0-released/11107

Discussions: https://discu.eu/q/https://discourse.haskell.org/t/ann-ghcup-0-1-40-0-released/11107

#haskell #programming #release

Aztecs: A type-safe and friendly ECS for Haskell

https://github.com/matthunz/aztecs

Discussions: https://discu.eu/q/https://github.com/matthunz/aztecs

#haskell #programming

#Exercitium: Suma de múltiplos de 3 o de 5. https://jaalonso.github.io/exercitium/posts/2022/02/09-suma_de_multiplos_de_3_o_de_5/ #Haskell #Python #matematicas

Just in time, my #Haskell special #linkblog for December 2024: https://notes.abhinavsarkar.net/2024/links-12.

#programming #linkblogging #blog

erebe/greenclip: Simple clipboard manager to be integrated with rofi

https://github.com/erebe/greenclip

Discussions: https://discu.eu/q/https://github.com/erebe/greenclip

#haskell #programming

Exported for tests only: Precise control over API visibility with custom warnings

https://tech.scrive.com/exported-for-tests-only-precise-control-over-api-visibility-with-custom-warnings/

Discussions: https://discu.eu/q/https://tech.scrive.com/exported-for-tests-only-precise-control-over-api-visibility-with-custom-warnings/

#haskell #programming

Just in time, my #Haskell special #linkblog for December 2024: https://notes.abhinavsarkar.net/2024/links-12.

#programming #linkblogging #blog

#haskell hackage now has syntax highlighting 🥹
See e.g.
https://hackage.haskell.org/package/htree

Readings shared December 30, 2024. https://jaalonso.github.io/vestigium/posts/2024/12/30-readings_shared_12-30-24 #ITP #Coq #Rocq #FunctionalProgramming #Haskell #CommonLisp #EmacsLisp #Emacs #Logic #Math #CategoryTheory #AI

Haskell recap for week 52/2024

https://discu.eu/weekly/haskell/2024/52/

#haskell #programming

Get RSS feeds and support this bot with the premium plan: https://discu.eu/premium

Overloading the lambda abstraction in Haskell

https://acatalepsie.fr/posts/overloading-lambda

Discussions: https://discu.eu/q/https://acatalepsie.fr/posts/overloading-lambda

#haskell #programming

Overloading the lambda abstraction in Haskell

https://acatalepsie.fr/posts/overloading-lambda

Discussions: https://discu.eu/q/https://acatalepsie.fr/posts/overloading-lambda

#haskell #programming

Generalized Dijkstra in Haskell. ~ Lucas Escot. https://acatalepsie.fr/posts/haskell-dijkstra.html #Haskell #FunctionalProgramming

Readings shared December 29, 2024. https://jaalonso.github.io/vestigium/posts/2024/12/29-readings_shared_12-29-24 #Haskell #Python #Math #AI #ITP

Category Theory Illustrated

https://abuseofnotation.github.io/category-theory-illustrated/

Discussions: https://discu.eu/q/https://abuseofnotation.github.io/category-theory-illustrated/

#haskell #programming

#Exercitium: Exponente en la factorización. https://jaalonso.github.io/exercitium/posts//2022/02/08-exponente_en_la_factorizacion/ #Haskell #Python #Matemáticas

Excellent Haskell course!

https://www.youtube.com/@haskellhutt

Discussions: https://discu.eu/q/https://www.youtube.com/%40haskellhutt

#haskell #programming

Readings shared December 26, 2024. https://jaalonso.github.io/vestigium/posts/2024/12/26-readings_shared_12-26-24 #Haskell #Python #Math

#Exercitium: Reconocimiento de potencias de 4. https://jaalonso.github.io/exercitium/posts/2022/02/04-reconocimiento_de_potencias_de_4/ #Haskell #Python

Readings shared December 25, 2024. https://jaalonso.github.io/vestigium/posts/2024/12/25-readings_shared_12-25-24 #Haskell #Python #Math #ITP #LeanProver #Lean4 #Lisp #Programming

Readings shared December 24, 2024. https://jaalonso.github.io/vestigium/posts/2024/12/24-readings_shared_12-24-24 #ITP #Agda #Haskell #FunctionalProgramming #Haskell #Python #AI #LLMs #Math

#Exercitium: El teorema de Navidad de Fermat. https://www.glc.us.es/~jalonso/exercitium/14-dic-23/ #Haskell #Python #Math

크리스마스에는 모나드 를 봅시다.
https://lionhairdino.github.io/posts/2024-12-24-easyMonad.html
#하스켈 #모노이드 #이펙트 #monad #Effect #haskell #함수형 #모나드

Show HN: I Ported GHC Haskell Compiler to Windows 11 ARM. MC Gift

https://gitlab.haskell.org/ghc/ghc/-/issues/24603#note_601980

Discussions: https://discu.eu/q/https://gitlab.haskell.org/ghc/ghc/-/issues/24603%23note_601980

#haskell #programming

#Exercitium: Producto de los elementos de la diagonal principal. https://jaalonso.github.io/exercitium/posts/2022/02/03-producto_de_los_elementos_de_la_diagonal_principal/ #Haskell #Python #DíaInternacionalDeLasMatemáticas

Compiling dependent type preconditions to runtime checks with Agda2Hs. ~ Jakob Naucke. https://repository.tudelft.nl/file/File_b39e0ab0-422a-48db-8ce4-cef2e783c3cc #ITP #Agda #Haskell #FunctionalProgramming

How to collect performance statistics with Cabal

https://blog.haskell.org/how-to-collect-performance-statistics-with-cabal/

Discussions: https://discu.eu/q/https://blog.haskell.org/how-to-collect-performance-statistics-with-cabal/

#haskell #programming

Haskell recap for week 51/2024

https://discu.eu/weekly/haskell/2024/51/

#haskell #programming

Get RSS feeds and support this bot with the premium plan: https://discu.eu/premium

The Cabal Manual now has a guide on how to collect performance statistics of Haskell applications. Read more at
https://blog.haskell.org/how-to-collect-performance-statistics-with-cabal/

#Haskell #Profiling

#Haskell Interlude's guest Tom Ellis works at Groq, using Haskell to compile AI models to specialized hardware. Listen to this episode about stability of both GHC and Haskell libraries, effects, and strictness.

https://haskell.foundation/podcast/60/

Update n°39 from the GHC team at IOG

https://engineering.iog.io/2024-12-19-ghc-update/

Highlights:
• Sylvain kept working on building GHC with cabal-install instead of Hadrian

• Jeff: created a GHC JS Backend matrix room

• Luite Is back from vacation and has been preparing the GHC 9.6.7 release. Welcome back Luite!

#haskell

Update n°38 from the GHC team at IOG

https://engineering.iog.io/2024-11-28-ghc-update/

Highlights:
• Sylvain explored how to build GHC with cabal instead of hadrian
• Jeff investigated variations in the Plutus benchmark suite, possibly related to garbage collection
• Luite worked on preparing the upcoming GHC 9.6.7

#haskell

Haskell Interlude 60: Tom Ellis

https://haskell.foundation/podcast/60/

Discussions: https://discu.eu/q/https://haskell.foundation/podcast/60/

#haskell #programming

Generalized Dijkstra in Haskell

https://acatalepsie.fr/posts/haskell-dijkstra.html

Discussions: https://discu.eu/q/https://acatalepsie.fr/posts/haskell-dijkstra.html

#haskell #programming

Aztecs: A type-safe and friendly ECS for Haskell

https://github.com/matthunz/aztecs

Discussions: https://discu.eu/q/https://github.com/matthunz/aztecs

#haskell #programming

Readings shared December 21, 2024. https://jaalonso.github.io/vestigium/posts/2024/12/21-readings_shared_12-21-24 #ITP #IsabelleHOL #Math #Haskell #FunctionalProgramming

Solving perfect numbers quickly with Haskell. ~ Andrew MacGillivray. https://gist.github.com/amacgillivray/c37a2a860df5117561ec64604bcb6b7d #Haskell #FunctionalProgramming

An imperative programmer tries to learn Haskell. ~ Thane Thomson. https://hatwd.com/p/an-imperative-programmer-tries-to #Haskell #FunctionalProgramming

Readings shared December 20, 2024. https://jaalonso.github.io/vestigium/posts/2024/12/20-readings_shared_12-20-24 #ITP #Mizar #Math #Haskell #Python #AI

Project: M36 (Relational Algebra Engine)

https://github.com/agentm/project-m36

Discussions: https://discu.eu/q/https://github.com/agentm/project-m36

#haskell #programming

#Exercitium: Reiteración de suma de consecutivos. https://jaalonso.github.io/exercitium/posts/2022/02/02-reiteracion_de_suma_de_consecutivos/ #Haskell #Python #Matemáticas

Readings shared December 19, 2024. https://jaalonso.github.io/vestigium/posts/2024/12/19-readings_shared_12-19-24 #ITP #IsabelleHOL #Mizar #Logic #Math #Haskell #FunctionalProgramming #LLMs

Indexing code at scale with Glean

https://engineering.fb.com/2024/12/19/developer-tools/glean-open-source-code-indexing/

Discussions: https://discu.eu/q/https://engineering.fb.com/2024/12/19/developer-tools/glean-open-source-code-indexing/

#haskell #programming

Is there an active content management system written in #haskell ?

Remote Haskell position (but must be in EU/EES) at Scrive

https://careers.scrive.com/jobs/5365423-haskell-developer

Discussions: https://discu.eu/q/https://careers.scrive.com/jobs/5365423-haskell-developer

#haskell #programming

My work is recruiting a #Haskell developer. Some experience is apparently required.

Full remote in #EU or #EEA is possible.

It's a great place to work, by the way.

https://careers.scrive.com/jobs/5365423-haskell-developer

(We are also hiring for other tech roles, including an #Elm developer.)

#fedihire

Linear calculi: A comparison approach. ~ Ana Jorge Carvalho de Soares Almeida. https://repositorio-aberto.up.pt/bitstream/10216/164137/2/700562.pdf #Haskell #FunctionalProgramming

Lift instance cause Cabal build error: unknown symbol with CFFI but Cabal repl works fine.

https://github.com/yourcomrade/FloPoCoFloat/tree/Error_branch

Discussions: https://discu.eu/q/https://github.com/yourcomrade/FloPoCoFloat/tree/Error_branch

#haskell #programming

Introducing bevy-remote-hs: a Haskell library for interfacing with the Bevy game engine

https://github.com/matthunz/bevy-remote-hs

Discussions: https://discu.eu/q/https://github.com/matthunz/bevy-remote-hs

#haskell #programming

An imperative programmer tries to learn Haskell

https://hatwd.com/p/an-imperative-programmer-tries-to

Discussions: https://discu.eu/q/https://hatwd.com/p/an-imperative-programmer-tries-to

#haskell #programming

Announcing Decision Drill

https://entropicthoughts.com/announcing-decision-drill

Discussions: https://discu.eu/q/https://entropicthoughts.com/announcing-decision-drill

#haskell #practices #programming

Effectful - Build Fast & Reliable Haskell Applications

https://haskell-effectful.github.io/

Discussions: https://discu.eu/q/https://haskell-effectful.github.io/

#haskell #programming

The Effectful effect system has a website: haskell-effectful.github.io

https://discourse.haskell.org/t/the-effectful-effect-system-has-a-website-haskell-effectful-github-io/11040

Discussions: https://discu.eu/q/https://discourse.haskell.org/t/the-effectful-effect-system-has-a-website-haskell-effectful-github-io/11040

#haskell #programming

Glasgow #Haskell Compiler 9.12.1 Release notes | Lobsters
https://lobste.rs/s/pyjhml/glasgow_haskell_compiler_9_12_1_release

Proposal: improve the time performance of `Data.List.unsnoc`

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

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

#haskell #programming

Readings shared December 16, 2024. https://jaalonso.github.io/vestigium/posts/2024/12/16-readings_shared_12-16-24 #ITP #LeanLang #Lean4 #Logic #SMT #Z3 # #Haskell #FunctionalProgramming #CommonLisp #Programming #AI #Math

GHC 9.12.1 is now available - Announcements

https://discourse.haskell.org/t/ghc-9-12-1-is-now-available

Discussions: https://discu.eu/q/https://discourse.haskell.org/t/ghc-9-12-1-is-now-available

#haskell #programming

Bottom-up computation using trees of sublists. ~ Shin-Cheng Mu. https://www.cambridge.org/core/journals/journal-of-functional-programming/article/bottomup-computation-using-trees-of-sublists/5FC308F9732880B018C841EA424B09FA #Haskell #FunctionalProgramming

Contributing an mdoc reader to Pandoc

https://duckrabbit.tech/articles/mdoc.html

Discussions: https://discu.eu/q/https://duckrabbit.tech/articles/mdoc.html

#haskell #programming

Glasgow Haskell Compiler 9.12.1 Release notes

https://downloads.haskell.org/ghc/9.12.1/docs/users_guide/9.12.1-notes.html

Discussions: https://discu.eu/q/https://downloads.haskell.org/ghc/9.12.1/docs/users_guide/9.12.1-notes.html

#haskell #programming #release

Haskell recap for week 50/2024

https://discu.eu/weekly/haskell/2024/50/

#haskell #programming

Get RSS feeds and support this bot with the premium plan: https://discu.eu/premium

Readings shared December 15, 2024. https://jaalonso.github.io/vestigium/posts/2024/12/13-readings_shared_12-13-24 #Haskell #FunctionalProgramming #CategoryTheory #AI #ITP #LeanProver #Math

Proposal: add `withForeignPtrST` and `touchForeignPtrST`

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

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

#haskell #programming

Category theory using Haskell (An introduction with Moggi and Yoneda). ~ Shuichi Yukita. https://link.springer.com/book/10.1007/978-3-031-68538-5 #Haskell #FunctionalProgramming #CategoryTheory

Repost: 2-3 Weeks Haskell Onboarding From Zero (Google, FPComplete)

https://news.ycombinator.com/item?id=23621930

Discussions: https://discu.eu/q/https://news.ycombinator.com/item?id=23621930

#haskell #programming

Google Summer of Code 2024 Wrap-up

https://blog.haskell.org/gsoc-2024/

Discussions: https://discu.eu/q/https://blog.haskell.org/gsoc-2024/

#haskell #programming

Я ☞ Hello, World!

https://www.youtube.com/watch?list=PLzkSCNTBZnGj4KVpDHquWtf19e1ElvlbV&v=3BdVd__-Kk8

Discussions: https://discu.eu/q/https://www.youtube.com/watch?list=PLzkSCNTBZnGj4KVpDHquWtf19e1ElvlbV&v=3BdVd__-Kk8

#haskell #programming

#AdventOfCode in #Haskell day 13, supplemental: realized that I don't need a decimal library, just Data.Ratio(Rational). Nice.

Proposal: add enumerate :: (Enum a, Bounded a) => [a]

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

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

#haskell #programming

I wonder if today's (14) #AdventOfCode task was specifically designed to be difficult for AI to solve due to vague specification, or if that's actually a problem that AI is particularly good at.

I was first slightly annoyed at having to guess, but then I got it with my first solution attempt (in #haskell), so I'm happy enough.

[Well-Typed] GHC activities report: September-November 2024

https://www.well-typed.com/blog/2024/12/ghc-activities-report-september-november-2024/

Discussions: https://discu.eu/q/https://www.well-typed.com/blog/2024/12/ghc-activities-report-september-november-2024/

#haskell #programming

#AdventOfCode in #haskell, day 13. First part was pretty easy. Second part would have been easy if sbv wasn't broken in #nixpkgs. I didn't want to just increase the precision.

Readings shared December 11, 2024. https://jaalonso.github.io/vestigium/posts/2024/12/11-readings_shared_12-11-24 #ITP #IsabelleHOL #Logic #Math #SetTheory #Haskell #FunctionalProgramming

Solving a ResourceT-related space leak in production

https://exploring-better-ways.bellroy.com/solving-a-resourcet-related-space-leak-in-production.html

Discussions: https://discu.eu/q/https://exploring-better-ways.bellroy.com/solving-a-resourcet-related-space-leak-in-production.html

#haskell #programming

#Haskell question: Is there a function for "reapply this function to a starting value N times"? e.g. `doTimes (*2) 3 1` would return `8` ((*2) $ (*2) $ (*2) $ 1). I know I could chain take and iterate and then do a Data.List.last, but that has crumby performance for very large values of N.

Internship opportunity with NASA programming in Rust

https://stemgateway.nasa.gov/s/course-offering/a0BSJ000000KS9p2AG/flight-software-in-rust

Discussions: https://discu.eu/q/https://stemgateway.nasa.gov/s/course-offering/a0BSJ000000KS9p2AG/flight-software-in-rust

#haskell #programming #rustlang

Haskell Interlude 59: Harry Goldstein

https://haskell.foundation/podcast/59/

Discussions: https://discu.eu/q/https://haskell.foundation/podcast/59/

#haskell #programming

#haskell people
I hope you're doing fine !

I got this every time I compile, I'm tired of it. Any idea why ?

When is a call stack not a call stack? ~ Chris Smith. https://cdsmithus.medium.com/when-is-a-call-stack-not-a-call-stack-f7f12d7aabbe #Haskell #FunctionalProgramming

Readings shared December 10, 2024. https://jaalonso.github.io/vestigium/posts/2024/12/10-readings_shared_12-10-24 #Haskell #Python #Math #Logic #SMT #Z3 #Python #LLMs #Prolog #LogicProgramming

When is a call stack not a call stack?

https://cdsmithus.medium.com/when-is-a-call-stack-not-a-call-stack-f7f12d7aabbe

Discussions: https://discu.eu/q/https://cdsmithus.medium.com/when-is-a-call-stack-not-a-call-stack-f7f12d7aabbe

#haskell #programming

Parser Combinators Beat Regexes

https://entropicthoughts.com/parser-combinators-beat-regexes

Discussions: https://discu.eu/q/https://entropicthoughts.com/parser-combinators-beat-regexes

#haskell #programming

#AdventOfCode in #Haskell, day 10 was a breeze and also quite fun. Still didn't use comonads because of time constraints. 😐

The Haskell Programmer's Guide to the IO Monad

https://stefan-klinger.de/files/monadGuide.pdf

Discussions: https://discu.eu/q/https://stefan-klinger.de/files/monadGuide.pdf

#haskell #programming

🙋 Hello Haskell community!

Are you dreaming of hacking away during sunny days at the foot of the Alps together with hundreds of other Haskellers?
We are busy making this dream a reality for you!

From this account, we will be posting upcoming information about next year's edition of ZuriHac.

So stay tuned and spread the word!

#ZuriHac #ZuriHac2024 #ZuriHac2025 #Haskell #functionalprogramming

Anyone looking for a #Haskell Job, #Berlin or remote in EU/EEA?

~I will update this post when I have more details.~

Here is the job posting: https://careers.scrive.com/jobs/5365423-haskell-developer

We are also looking for an #elm engineer.

3D Printed Programming Language Logo Tree Ornaments: Designed in Haskell

https://github.com/joe-warren/christmas-ornaments

Discussions: https://discu.eu/q/https://github.com/joe-warren/christmas-ornaments

#haskell #programming

Haskell: A Great Procedural Language

https://entropicthoughts.com/haskell-procedural-programming

Discussions: https://discu.eu/q/https://entropicthoughts.com/haskell-procedural-programming

#haskell #programming

It supports #Deno, #Node.js, #Bun, #Python, #Go, #Rust, #Java, and #Erlang out of box. Excellent! I with it would support #Haskell as well though.

https://mise.jdx.dev/core-tools.html

Hydra, a code counting program written in Haskell.

https://github.com/haq0/hydra

Discussions: https://discu.eu/q/https://github.com/haq0/hydra

#haskell #programming

순수 함수로 상태 모델링을 어찌하는가를 정리한 글입니다. 혼자 상상이니, 정식 텍스트 같은 내용을 기대하진 마세요.
https://lionhairdino.github.io/posts/2024-11-16-pureFunction.html
#하스켈 #모나드 #순수함수 #haskell #monad #arrow #pure

Just as I had to got rid of #haskell tag (in favour of #lean), sadly, I feel like it's time to get rid of #elixir tag in my bio.

I'm doing a #rust rewrite of #ZeroHR backend now and while I'm not ruminating too much over the time and money spent on #elixir backend, I find it so much cheaper and faster to write in well-typed languages.

I really hope to become profitable so that I can have a look at #PureNix + #PureErl + #PureScript combo, but I think I'm years away from such a luxury.

I have a #Linux machine with 32GB RAM and barely use 8GB of it. I run #Firefox with hundreds of tabs, open #Haskell, #Rust, and #PureScript projects all at the same time. Have #Telegram and #Discord apps running, and the memory usage still hovers around 8GB.Seems like I should be using Docker and Kubernetes just to feel like I'm using my machine to its potential 😆

Would it be insane to create a git repository that has #Haskell, #Purescript, AND #Idris packages in it?

My main concern is that some of the package distribution tooling I've dealt with seems to assume/prefer the package is at the top-level of the git repo.

Should I be using *submodules*!? (Plz, no!)

I think it's going to be informative to keep the packages coherent, and one repo seems like it could be a way to do that.

間に合うのかねえ #技術書典 #Haskell

Deploying a Single-Binary Haskell Web App

https://entropicthoughts.com/deploying-single-binary-haskell-web-app

Discussions: https://discu.eu/q/https://entropicthoughts.com/deploying-single-binary-haskell-web-app

#haskell #programming

Since I am the newest Trusted Contributor with #postmarketOS I thought I would give a little introductory post.

Heyo! My name is Aster (they/them) and I do stuff with #Linux! I am hard at work getting immutability up and running on pmOS with the help of the amazing work being done to port #systemd.

You may know me for my work on #Lomiri on pmOS, my favorite #MobileLinux desktop environment!

I also dabble in #Rustlang and a bit of #Haskell.

Excited to work with all of y'all!

For Haskell packages published on Hackage, do you prefer version bounds on dependencies to be narrower or wider?

narrow ~ “We have tested that the package builds with dependencies that fall in this range”

wide ~ “Things are very likely to break if you use a version outside of this range, but we haven’t necessarily tested every version in it”

Case in point, I’m considering for agda2hs whether to bump the bound on base to only include the versions we actually test on CI, or to also include older versions that might still work but aren’t currently tested.

#Haskell #hackage #packages #agda

Failed to install HLS

https://www.haskell.org/ghcup/sh/bootstrap-haskell.ps1

Discussions: https://discu.eu/q/https://www.haskell.org/ghcup/sh/bootstrap-haskell.ps1

#haskell #programming

There is a fundamental difference between #complexity for the sake of convenience (I can build an entire app quickly. Think #JavaScript framework of the day), vs complexity for the sake of robustness (I can make changes to the app quickly without introducing new bugs. Think #Rust or #Haskell).

When you are not familiar with the tech, both can look the same, but they are not. The latter is actually #simplicity in disguise

In #haskell, is there a way to have doctests that just compile and not run? I have some IO code that I cannot execute in an isolated fashion.

#introduction

Mastodon's global search only works on hashed tags, not text, so:

#ComputerScience
#SoftwareEngineering
#Education
#UK Teacher
#Python
#Haskell
#InfoSec
#Processing
#AI
#Computing
#ComputingEducation
#SoundEngineering
#MusicProduction
#Music
#Comedy
#Standup
#French
#London

I've been on Mastodon for a year, so it's time for a new pinned #introduction post with an updated dog pic! I'm a lecturer in #computerScience at Australian National University #ANU in #Canberra , #Ngunnawal / #Ngambri country. I research #typeTheory , #logic , #proofTheory and a little #categoryTheory , and teach an intro to programming class in #Haskell . Sometimes I post about work; when I'm busy at work I'm more likely to post about #books , my #labradoodle , and other pleasant distractions

#c - what if everything was a pointer
#lisp - what if everything was a linked list
#haskell - what if everything was a pure function
#forth - what if everything was a stack
#lua - what if everything was a hash map
#erlang - what if everything was immutable
#prolog - what if everything was a pattern to match
#java - what if everything was a class
#rust - what if everything was a memory allocation problem
#golang - what if everything != nil
#javascript - what if everything was everything

JSON is probably the most used standard file format for storing and transmitting data on the Internet in recent times. It has a simple syntax with only four scalar data types and two composite data types. So, writing a parser for #JSON is a great exercise for learning the basics of parsing.

That's exactly what I did: I wrote a JSON parser from scratch in #Haskell. Read my #blog post to learn about basics of #parsing, nuances of the JSON syntax, and parser combinators and property-based testing in Haskell: https://abhinavsarkar.net/posts/json-parsing-from-scratch-in-haskell/

#programming #functionalprogramming

https://hackage.haskell.org/package/network-uri-2.6.4.2/docs/Network-URI.html#g:2
https://www.ietf.org/rfc/rfc2396.txt
https://webmasters.stackexchange.com/a/56844/89929

"A relative reference that begins with a single slash character is termed an absolute-path reference. A relative reference that does not begin with a slash character is termed a relative-path reference."

#haskell #rfc

Why is Prettier rock solid? Haskell!

https://mrmr.io/til/prettier

Discussions: https://discu.eu/q/https://mrmr.io/til/prettier

#haskell #programming

If anyone's interested in the combination of #Haskell & #CAD / #3DPrinting I've been working on a library for declarative solid modeling

https://hackage.haskell.org/package/waterfall-cad-0.0.0.1
https://github.com/joe-warren/opencascade-hs

I've been meaning to write this down for a long while, but i've made it a youtube essay instead, as an experiment, to learn something new; so: what the hell is the problem with monads?
https://youtube.com/watch?v=LekhueQ4zVU #monads #haskell

Anti-Instances in Haskell

https://www.heneli.dev/blog/anti-instances

Discussions: https://discu.eu/q/https://www.heneli.dev/blog/anti-instances

#haskell #programming

Difference between type variables, unification variables and skolems

https://cohost.org/prophet/post/2220730-if-there-is-one-piec

Discussions: https://discu.eu/q/https://cohost.org/prophet/post/2220730-if-there-is-one-piec

#haskell #programming

time for an #introduction

I'm Tuula Aurora, a trans woman living in Finland and trying to figure out the world.

I tend to switch from hobby to hobby when it strikes my fancy.

I like coding and switch from language to language (#python, #hy, #haskell). Sometimes I try to wrap my head around #coq or #rust.

I also like #drawing and doodle silly things on the margins now and then.

Also, tell me about your cool project. I love hearing what people are creating.

I ported @mattmight’s CPS conversion code (https://matt.might.net/articles/cps-conversion/) to #Haskell and after some fighting with the type system, it worked! To make the interpreters work with the Cont monad, I had to remove recursive lets and hence, functions being able to call themselves recursively, but the rest works fine.

The attached images show the conversion of the Fibonacci function into the CPS version.

#Programming #ProgrammingLanguages #Compilers #PLT

I wrote the fourth part of my #blog series “Implementing Co, a small programming language with coroutines”. And this time, we add support for channels in Co for inter-coroutine communication. https://abhinavsarkar.net/posts/implementing-co-4/

#Programming #PLT #ProgrammingLanguages #Compilers #Haskell #concurrency

@jmct challenge accepted

#haskell

falsify: Hypothesis-inspired shrinking for Haskell. ~ Edsko de Vries. https://well-typed.com/blog/2023/04/falsify/ #Haskell #FunctionalProgramming

A category with a terminal object, products and exponentials
is called a Cartesian Closed Category (CCC). N
For example, Set is a CCC. Another class of examples are Boolean algebras,
seen as categories:
• Products are given by conjunctions A ∧ B. We define exponentials as im-
plications:
A ⇒ B := ¬A ∨ B .
• Evaluation is just Modus Ponens,
(A ⇒ B) ∧ A ≤ B
while couniversality is the Deduction Theorem,
C ∧ A ≤ B ⇐⇒ C ≤ A ⇒ B
#haskell

So one way to define #continuousintegration is to write recursive function that defines its inputs in terms of the outputs, which the function gives using initial inputs and so on.
So domain corresponds to rand and vice versa and this describes continuity of the function?
Can we define the continuity in #math like this
Why types should I use if i write it in #haskell
Aha others are thinking about it too
Albeit, i don't think I can treat arrows like applicatives in my approach
Quote
fetching gives you a source promise and you want an image promise
writing pipelines using arrow notation is difficult because we have to program in a point-free style (without variables).
ci- is cool
https://codeberg.org/Codeberg-CI/request-access
https://roscidus.com/blog/blog/2019/11/14/cicd-pipelines/
via @talex5