#Haskell

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

Haskell Weekly

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

Call for Nominations: Haskell.org Committee

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

José A. Alonso

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

José A. Alonso

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

José A. Alonso

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

José A. Alonso

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

Haskell Weekly

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

Fast Haskell, Redux

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

Haskell Weekly

https://codeberg.org/jjba23/dmtscala

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

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

#haskell #programming #scala

José A. Alonso

#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

José A. Alonso

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

José A. Alonso

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

Lira

:boosts_ok_gay: 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 :)

José A. Alonso

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

José A. Alonso

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

Haskell Weekly

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

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

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

Haskell Weekly

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

Research Software Engineer at Epic

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

DiazCarrete

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

José A. Alonso

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

José A. Alonso

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

Lira

:boosts_ok_gay: 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 :)

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

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.

José A. Alonso

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

Haskell Weekly

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

Equality on recursive λ-terms

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

Haskell Weekly

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

Haskell recap for week 2/2025

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

Lionhairdino

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

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

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

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

José A. Alonso

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

Lionhairdino

#하스켈 #펑터 #Haskell #Functor

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

DiazCarrete

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

Trying to learn persistent/esqueleto

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

Screen capture from the Yesod book.

However, there is one issue that newcomers are often bothered by: why are IDs and values completely separate? It seems like it would be very logical to embed the ID inside the value. In other words, instead of having:

data Person = Person { name :: String }
have

data Person = Person { personId :: PersonId, name :: String }

Well, there’s one problem with this right off the bat: how do we do an insert? If a Person needs to have an ID, and we get the ID by inserting, and an insert needs a Person, we have an impossible loop. We could solve this with undefined, but that’s just asking for trouble. — Screen capture from the Yesod book. However, there is one issue that newcomers are often bothered by: why are IDs and values completely separate? It seems like it would be very logical to embed the ID inside the value. In other words, instead of having: data Person = Person { name :: String } have data Person = Person { personId :: PersonId, name :: String } Well, there’s one problem with this right off the bat: how do we do an insert? If a Person needs to have an ID, and we get the ID by inserting, and an insert needs a Person, we have an impossible loop. We could solve this with undefined, but that’s just asking for trouble.

"One last trick you can do with attributes is to specify the names to be used for the SQL tables and columns. This can be convenient when interacting with existing databases."

Lionhairdino

#하스켈 #펑터 #Haskell #Functor

José A. Alonso

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

José A. Alonso

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

José A. Alonso

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

José A. Alonso

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

José A. Alonso

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

José A. Alonso

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

José A. Alonso

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

José A. Alonso

#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

Haskell Weekly

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

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

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

Haskell Weekly

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

Unable to build botan

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

José A. Alonso

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

Haskell Weekly

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

Case Study — Using a JavaScript component inside a Haskell application

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

#haskell #javascript #programming #webdev

HaskellOrg

@[email protected] · Reply to HaskellOrg's post

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.

José A. Alonso

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

HaskellOrg

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

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

Jons Mostovojs

@[email protected] · Reply to Jons Mostovojs's post

@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

Haskell Weekly

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

GHC 9.12 & Cabal 3.14 releases

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

#haskell #programming #release

Haskell Weekly

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

Haskell recap for week 1/2025

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

José A. Alonso

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

Haskell Weekly

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

McHale (2024) Streaming Compression via Laziness

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

HaskellOrg

GHC 9.12 & Cabal 3.14 released!

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

#Haskell

Abhinav 🌏

#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/

Haskell Weekly

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

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

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

Haskell Weekly

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

Policy regarding taking over Hackage packages

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

Abhinav 🌏

#FunctionalProgramming #Programming

Abhinav 🌏

#FunctionalProgramming #Programming

Lionhairdino

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

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

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

José A. Alonso

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

José A. Alonso

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

José A. Alonso

#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

José A. Alonso

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

José A. Alonso

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

José A. Alonso

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

José A. Alonso

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

José A. Alonso

#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

José A. Alonso

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

Haskell Weekly

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

[Design] Dataframes in Haskell

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

Haskell Weekly

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

[ANN] GHCup 0.1.40.0 released

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

#haskell #programming #release

Haskell Weekly

https://github.com/matthunz/aztecs

Aztecs: A type-safe and friendly ECS for Haskell

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

José A. Alonso

#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

Abhinav 🌏

#programming #linkblogging #blog

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

Haskell Weekly

https://github.com/erebe/greenclip

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

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

Haskell Weekly

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

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/

Abhinav 🌏

#programming #linkblogging #blog

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

MangoIV

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

José A. Alonso

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 Weekly

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

Haskell recap for week 52/2024

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

Haskell Weekly

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

Overloading the lambda abstraction in Haskell

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

Haskell Weekly

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

Overloading the lambda abstraction in Haskell

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

José A. Alonso

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

José A. Alonso

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

Haskell Weekly

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

Category Theory Illustrated

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

José A. Alonso

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

Haskell Weekly

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

Excellent Haskell course!

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

José A. Alonso

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

José A. Alonso

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

José A. Alonso

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

José A. Alonso

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

José A. Alonso

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

Lionhairdino

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

Haskell Weekly

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

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

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

José A. Alonso

#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

José A. Alonso

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

Haskell Weekly

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

How to collect performance statistics with Cabal

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

Haskell Weekly

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

Haskell recap for week 51/2024

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

HaskellOrg

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

HaskellOrg

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

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

HaskellOrg

@[email protected] · Reply to HaskellOrg's post

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!

HaskellOrg

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

Update n°38 from the GHC team at IOG

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 Weekly

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

Haskell Interlude 60: Tom Ellis

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

Haskell Weekly

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

Generalized Dijkstra in Haskell

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

Haskell Weekly

https://github.com/matthunz/aztecs

Aztecs: A type-safe and friendly ECS for Haskell

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

José A. Alonso

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

José A. Alonso

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

José A. Alonso

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

José A. Alonso

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

Haskell Weekly

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

Project: M36 (Relational Algebra Engine)

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

José A. Alonso

#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

José A. Alonso

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

Haskell Weekly

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

Indexing code at scale with Glean

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

Shae Erisson

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

Haskell Weekly

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

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

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

Björn Gohla

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

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.

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

#fedihire

José A. Alonso

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

Haskell Weekly

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

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

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

Haskell Weekly

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

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

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

Haskell Weekly

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

An imperative programmer tries to learn Haskell

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

Haskell Weekly

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

Announcing Decision Drill

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

#haskell #practices #programming

Haskell Weekly

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

Effectful - Build Fast & Reliable Haskell Applications

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

Haskell Weekly

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

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

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

vascorsd

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

Haskell Weekly

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

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

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

José A. Alonso

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

Haskell Weekly

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

GHC 9.12.1 is now available - Announcements

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

José A. Alonso

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

Haskell Weekly

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

Contributing an mdoc reader to Pandoc

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

Haskell Weekly

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

Glasgow Haskell Compiler 9.12.1 Release notes

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 Weekly

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

Haskell recap for week 50/2024

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

José A. Alonso

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

Haskell Weekly

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

Proposal: add `withForeignPtrST` and `touchForeignPtrST`

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

José A. Alonso

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

Haskell Weekly

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

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

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

Haskell Weekly

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

Google Summer of Code 2024 Wrap-up

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

Haskell Weekly

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

Я ☞ Hello, World!

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

Philipp

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

Haskell Weekly

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

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

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

Andres Löh

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.

Haskell Weekly

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

[Well-Typed] 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/

Philipp

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

José A. Alonso

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

Haskell Weekly

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

Solving a ResourceT-related space leak in production

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

J3RN

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

Haskell Weekly

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

Internship opportunity with NASA programming in Rust

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

#haskell #programming #rustlang

Haskell Weekly

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

Haskell Interlude 59: Harry Goldstein

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

Aly-Bocar

#haskell people
I hope you're doing fine !

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

José A. Alonso

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

José A. Alonso

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

Haskell Weekly

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

When is a call stack not a call stack?

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

Haskell Weekly

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

Parser Combinators Beat Regexes

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

Philipp

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

Haskell Weekly

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

The Haskell Programmer's Guide to the IO Monad

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

Björn Gohla

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.

Haskell Weekly

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

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

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

Haskell Weekly

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

Haskell: A Great Procedural Language

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

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

洪民憙 (Hong Minhee)

@[email protected] · Reply to 洪民憙 (Hong Minhee)'s post

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.

Haskell Weekly

https://github.com/haq0/hydra

Hydra, a code counting program written in Haskell.

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

Lionhairdino

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

Jons Mostovojs

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.

Anupam 《ミ》λ≡

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 😆

Boyd Stephen Smith Jr.

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.

kakkun61

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

justsoup

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!

Jesper Agdakx

#Haskell #hackage #packages #agda

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.

Anupam 《ミ》λ≡

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

Philipp

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.

MrBerard 😎👉👉

#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

RanaldClouston

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

A black shaggy labradoodle in a red harness stands on some grass, looking with open mouth at the camera

Timothy Wolodzko

#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

Abhinav 🌏

#programming #functionalprogramming

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/

A transition diagram depicting the JSON syntax.

Haskell Weekly

https://mrmr.io/til/prettier

Why is Prettier rock solid? Haskell!

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

Joe

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

A solid of revolution, specifically a Pawn chess piece, rendered in grey on a blue background

An involute gear, relatively thin, 20 teeth, rendered in grey on a blue background

result of sweeping a kind of "rounded star" shape along a curved line, looks kind of like a line of toothpaste, rendered in grey on a blue background,

A rounded cube, with cylinders cut into it (an example of constructive solid geometry), rendered in grey on a blue background

HoldMyType

I am not fully convinced here , maybe lazy eval is a cult

In a lazy evaluation scheme, the evaluation of an expression is deferred until the
value of the expression is actually needed elsewhere in the computation. That
is, the expression is evaluated on demand. This contrasts with what is called
eager evaluation in which an expression is evaluated as soon as its inputs are
available.
For example, if eager evaluation is used, an argument (which may be an arbi-
trary expression) of a function call is evaluated before the body of the function.
If lazy evaluation is used, the argument is not evaluated until the value is actu-
ally needed during the evaluation of the function body. If an argument’s value
is never needed, then the argument is expression is never evaluated.
Why should we care? Well, this facility allows programmers to construct and
use data structures that are conceptually unbounded or infinite in size. As
long as a program never actually needs to inspect the entire structure, then a
terminating computation is still possible.
For example, we might define the list of natural numbers as a list beginning
with 0, followed by the list formed by adding one to each element of the list of
natural numbers.
Lazy evaluation thus allows programmers to separate the data from the control.
They can define a data structure without having to worry about how it is
processed and they can define functions that manipulate the data structure
without having to worry about its size or how it is created. This ability to
separate the data from the control of processing enables programs to be highly
modular
#haskell
https://john.cs.olemiss.edu/~hcc/csci450/notes/haskell_notes.pdf

Haskell Weekly

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

Anti-Instances in Haskell

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

Haskell Weekly

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

Difference between type variables, unification variables and skolems

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

Abhinav 🌏

#Programming #PLT #ProgramingLanguages #Compilers #Haskell #concurrency

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/

José A. Alonso

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

HoldMyType

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

HoldMyType

defenseless thesis on 🧅s

Abstract:
later
Author :
Me
Assumption :
1. there are no onions , such that number of layers of an onion are 0 .
Law : You have no way to record all you knife ops .
2. Given theory T , for \[x \in T \], x need not be either true or false
if onions here are a functor they are also free monad
\[Op\]- now you peel of a layer from one
\[Op^{-1}\]you can wrap it back too
when you do that , you have a monoid.
How do you write a computable abstract syntax tree (AS A monad computation) for these ops
REFERENCES - LATER
To be contd
#HASKELL

HoldMyType

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

lispwitch

kradvortoj

#anarchism #ancientgreek #anthropology #baduk #bicycling #boardgames #calligraphy #chess #classicalantiquity #classics #climatechange #commonlisp #communism #compilers #cooperatives #culture #deutsch #digitalhumanities #dsa #emacs #español #esperanto #fiction #fancyrats #freeculture #freesoftware #fsf #gamedev #godot #gnu #guile #guix #hcoop #haskell #history #hypertext #internationalsolidarity #javascript #koinegreek #latin #lgbt #linguistics #lisp #lispgames #lispm #logic #math #northcarolina #octodon #philosophy #plt #posca #programming #poetry #queer #rats #scheme #sciencefiction #smalltalk #sml #snowdriftcoop #socialism #tea #trans #typography #unions #vegetarian #weiqi #wikis #www #xanadu #xmpp #yerbamate #yow #zen

Haskell Weekly

https://engineering.fb.com/2015/06/26/security/fighting-spam-with-haskell/

Is Meta decommissioning Sigma?

Discussions: https://discu.eu/q/https://engineering.fb.com/2015/06/26/security/fighting-spam-with-haskell/

Haskell Weekly

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

Overloading the lambda abstraction in Haskell

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

Haskell Weekly

https://www.cs.yale.edu/publications/techreports/tr1049.pdf

Haskell, Ada, C++, Awk: An Experiment in Prototyping Productivity (1994) [pdf]

Discussions: https://discu.eu/q/https://www.cs.yale.edu/publications/techreports/tr1049.pdf

#cpp #haskell #lisp #programming

das-g

Hallo Fediversum!

Obwohl ich bereits einen Account auf @[email protected] hatte, bin ich #neuhier. 👋

#Vorstellung: Als #WiMa an einer 🎓Fachhochschule 👨‍🏫betreue ich Übungen & 👩‍🔧Praktika, 👨‍💻entwickle #Software und 👨‍🔬betreibe angewandte "#Forschung". In meiner Freizeit trage ich zu 🗺️#OpenStreetMap bei und lerne & spreche 💚#Esperanto. Ich interessiere mich für #funktionale_Programmierung & #funktionale_Programmiersprache|n wie #Haskell und für das Beibringen des #Programmieren|s.

das-g

Saluton Fediverso!

Kvankam mi antaŭe havis konton ĉe @[email protected], mi estas 👋#nova_ĉi_tie.

#Sinprezento: Mi laboras kiel 👨‍🏫 #instruisthelpanto & 👨‍💻 #programisto/👨‍🔬"#esploristo" ĉe 🎓fakaltlernejo. Libertempe mi kontribuas al 🗺️ #OpenStreetMap kaj (evidente) mi estas 💚#Esperantisto. Mi interesiĝas interalie pri #funkciaj_programlingvoj kiel #Haskell kaj pri #instruado de #programado.

Christopher League