Vivaldi Social

68 posts36 participants7 posts today

bouncepaw's links<a href="https://entropicthoughts.com/haskell-procedural-programming" rel="nofollow noopener noreferrer" target="_blank">Haskell: A Great Procedural Language</a> <a href="https://links.bouncepaw.com/tag/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a>, <a href="https://links.bouncepaw.com/tag/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Exercitium</a>: Mayor producto de las ramas de un árbol. <a href="https://jaalonso.github.io/exercitium/posts/2014/05/22-mayor_producto_de_las_ramas_de_un_arbol/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/exercitium/posts/2014/05/22-mayor_producto_de_las_ramas_de_un_arbol/</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ProgramaciónFuncional</a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Matemáticas</a>

José A. AlonsoFaking ADTs and GADTs in languages that shouldn't have them. ~ Justin Lê. <a href="https://blog.jle.im/entry/faking-adts-and-gadts.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://blog.jle.im/entry/faking-adts-and-gadts.html</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a>

José A. AlonsoUnfolding trees breadth-first in Haskell. ~ Li-yao Xia. <a href="https://blog.poisson.chat/posts/2025-03-30-breadth-first-unfolds.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://blog.poisson.chat/posts/2025-03-30-breadth-first-unfolds.html</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a>

José A. AlonsoReadings shared April 1, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/01-readings_shared_04-01-25" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/04/01-readings_shared_04-01-25</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LLMs</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://mathstodon.xyz/tags/SMT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SMT</a> <a href="https://mathstodon.xyz/tags/Z3" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Z3</a>

Boyd Stephen Smith Jr.Added unfolds to the <a href="https://hachyderm.io/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> version and improved the test coverage to 75%, though I lost coverage on the gfold/gfoldHMu<a href="https://gitlab.com/bss03/nested/-/blob/main/hs/Nested.hs" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://gitlab.com/bss03/nested/-/blob/main/hs/Nested.hs</a>Still good work for the evening, I think.Anyone out there have a good example of using a gfold / gunfold where the functor arguments to Ran/Lan are distinct? I don't remember any from the paper I'm working from, tho I will check again.

TariqIf anyone wants to learn <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> I would recommend this online course from the University of Helsinki <a href="https://haskell.mooc.fi" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://haskell.mooc.fi</a>Th exercises are particularly good - not too easy, not too difficult, but designed to get you to think in Haskell.

Haskell Weekly[Not April Fools] Faking ADTs and GADTs in Languages That Shouldn't Have Them<a href="https://blog.jle.im/entry/faking-adts-and-gadts.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://blog.jle.im/entry/faking-adts-and-gadts.html</a>Discussions: <a href="https://discu.eu/q/https://blog.jle.im/entry/faking-adts-and-gadts.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://discu.eu/q/https://blog.jle.im/entry/faking-adts-and-gadts.html</a><a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a>

Harley EadesOoohh, Scotty + Morpheus for GraphQL + Haskell is super nice! <a href="https://hci.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> <a href="https://hci.social/tags/graphql" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#graphql</a>

vascorsdIt's always sad when reading comments on <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fp</a> languages and people saying "I tried <a href="https://mastodon.social/tags/ocaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ocaml</a>, <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a>, <a href="https://mastodon.social/tags/fsharp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fsharp</a>... and don't like because X", which shows they are interested but then also say "I looked at <a href="https://mastodon.social/tags/scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#scala</a> and it looked complex so I didn't even try it and ran away" 🙃...People, if you can do it in those languages, you can do it in scala. It's the most popular and used in production fp language in the world!Thanks for coming to my teg talk :blobcatcoffee:

Tariqhere's how I did it with a helper function<a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a>---interpreter commands = interpreter' commands 0 0 []interpreter' [] x y result = result interpreter' (c:cs) x y result = case c of "up" -> interpreter' cs x (y + 1) result "down" -> interpreter' cs x (y - 1) result "left" -> interpreter' cs (x - 1) y result "right" -> interpreter' cs (x + 1) y result "printX" -> interpreter' cs x y (result ++ [show x]) "printY" -> interpreter' cs x y (result ++ [show y])

Tariq<a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> advice needed.I'm doing a "challenge" exercise - the idea is to implement a simple interpreter that requires state being maintained (x and y coords for a turtle language)interpreter:: [String] -> [String] (list of commands to list of output strings)I can do it by using a recursive helper function that takes the state vars, initially set to 0.The challenge is to do it without a helper function, to build output [String] directly.What's the `map` idiom where you maintain state?

juxtapose스태키지 큐레이션이 성공할 수 있었던 것은 하스켈이라는 언어와 생태계의 특징도 컸습니다. <a href="https://hackers.pub/@xt/2025/stackage-why" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://hackers.pub/@xt/2025/stackage-why</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Exercitium</a>: Número de pares de elementos adyacentes iguales en una matriz. <a href="https://jaalonso.github.io/exercitium/posts/2014/05/21-pares_adyacentes_iguales/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/exercitium/posts/2014/05/21-pares_adyacentes_iguales/</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ProgramaciónFuncional</a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Matemáticas</a>

Haskell WeeklyDeclarative UIs in a functional language - Felipe Almeida Lessa | Lambda Days 2024<a href="https://www.youtube.com/watch?v=R51tulAtIoE" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.youtube.com/watch?v=R51tulAtIoE</a>Discussions: <a href="https://discu.eu/q/https://www.youtube.com/watch?v=R51tulAtIoE" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://discu.eu/q/https://www.youtube.com/watch?v=R51tulAtIoE</a><a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a>

José A. AlonsoReadings shared March 31, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/31-readings_shared_03-31-25" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/03/31-readings_shared_03-31-25</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a>

Haskell WeeklyFunction Application Needs to Grow a Spine Already<a href="https://thunderseethe.dev/posts/function-application-grow-a-spine/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://thunderseethe.dev/posts/function-application-grow-a-spine/</a>Discussions: <a href="https://discu.eu/q/https://thunderseethe.dev/posts/function-application-grow-a-spine/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://discu.eu/q/https://thunderseethe.dev/posts/function-application-grow-a-spine/</a><a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a> <a href="https://mastodon.social/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programminglanguages</a>

Matthew Turland<a href="https://phpc.social/tags/Malware" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Malware</a> is harder to find when written in obscure languages • The Register <a href="https://www.theregister.com/2025/03/29/malware_obscure_languages/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.theregister.com/2025/03/29/malware_obscure_languages/</a><a href="https://phpc.social/tags/Lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Lisp</a> <a href="https://phpc.social/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://phpc.social/tags/Delphi" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Delphi</a> <a href="https://phpc.social/tags/Golang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Golang</a> <a href="https://phpc.social/tags/Dart" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Dart</a> <a href="https://phpc.social/tags/Python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Python</a> <a href="https://phpc.social/tags/Security" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Security</a>

Haskell WeeklyHorizon Haskell (Road To GHC 9.14) #2: Building GHC from master<a href="https://www.youtube.com/watch?v=sj5Vyl6LUs4" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.youtube.com/watch?v=sj5Vyl6LUs4</a>Discussions: <a href="https://discu.eu/q/https://www.youtube.com/watch?v=sj5Vyl6LUs4" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://discu.eu/q/https://www.youtube.com/watch?v=sj5Vyl6LUs4</a><a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a>

LobstersIntroducing the Haskell Foundation Stability Working Group <a href="https://lobste.rs/s/2mpqub" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://lobste.rs/s/2mpqub</a> <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> <a href="https://blog.haskell.org/stability-working-group/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://blog.haskell.org/stability-working-group/</a>

Recent searches

Search options

Administered by:

Server stats:

#haskell