Lambda 不是四個字母的組合：使用圖簡約實現函數式語言
➤ 使用圖簡約實現函數式語言
✤ https://thma.github.io/posts/2021-12-27-Implementing-a-functional-language-with-Graph-Reduction.html
本文介紹瞭如何使用 Haskell 實現一個小型函數式語言，其核心是基於組合子的圖簡約機。實現過程分為三個部分：一個基於組合子的 λ 演算解析器，一個從 λ 演算到組合邏輯組合子的編譯器，以及一個圖簡約器。透過使用 STRef 可變引用，實現了圖的破壞性原地簡約。
+ 這篇文章深入淺出地講解了函數式語言底層的實現原理，對於想了解 Lambda 演算和編譯器原理的人來說很有幫助。
+ 雖然內容有點技術性，但作者的寫作風格清晰易懂，即使對函數式程式設計不太熟悉的人也能大致瞭解。
#程式設計 #函數式語言 #Lambda演算 #Haskell

#Exercitium: Problemas de programación con Haskell de noviembre de 2019. https://jaalonso.github.io/exercitium/2019/11 #Haskell #ProgramaciónFuncional #Matemáticas

#Exercitium: Problemas de programación con Haskell de diciembre de 2019. https://jaalonso.github.io/exercitium/2019/12 #Haskell #ProgramaciónFuncional #Matemáticas

I owe a lot to a few programming languages that taught me how to design a language, both from an engineering standpoint and computer science.

#Lisp & #haskell for what a good programming language might look like.

#Agda, #Idris2, #lean4 to show me how useful dependent types are.

#C++, to teach me what to avoid

#python, #javascript to be such giant examples of shitty languages and give me hope that I can do better.

A Liquid Haskell kick-start. ~ Xavier Góngora. https://ninioartillero.github.io/2025/04/15/lh-kickstart.html #Haskell #FunctionalProgramming

Readings shared July 24, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/25-readings_shared_07-24-25 #AI #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Math

Constructive Impredicativity is a simple concern, which says proofs and hence constructions in intuitionist #logic can't be circular
So we can't use inductive definitions to instantiate dependent types unless they re restricted to specific set ( as that ll be unrestricted. Quantification)
Question- can that set be infinite for an extensional type system like #haskell ?

#Exercitium: Problemas de programación con Haskell de enero de 2020. https://jaalonso.github.io/exercitium/2020/01 #Haskell #ProgramaciónFuncional #Matemáticas

The Haskell Unfolder Episode 47: Pure parallelism. ~ Edsko de Vries, Andres Löh. https://www.youtube.com/live/trDqqZldxQA #Haskell #FunctionalProgramming

Type-level programming for safer resource management. ~ Fraser Tweedale. https://frasertweedale.github.io/blog-fp/posts/2025-07-19-type-nats-and-constraints.html #Haskell #FunctionalProgramming

Inlining in the Glasgow Haskell Compiler: empirical investigation and improvement. ~ Celeste Hollenbeck. https://era.ed.ac.uk/bitstream/handle/1842/43690/Hollenbeck2025.pdf #Haskell #FunctionalProgramming

Four ways of declaring interfaces in Haskell. ~ Marco Perone. https://marcosh.github.io/post/2025/07/22/four-ways-of-declaring-interfaces-in-haskell.html #FunctionalProgramming #haskell

Competitive programming in Haskell: sparse tables. ~ Brent Yorgey. https://byorgey.github.io/blog/posts/2025/07/18/sparse-table.html #Haskell #FunctionalProgramming

Readings shared July 23, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/24-readings_shared_07-23-25 #AI #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Math

Wouldn't it be nice if Scala supported pattern matching in function definitions, just like Haskell or Elixir? #scala #haskell #elixir

Home
"Cloud Haskell: #Erlang-style concurrent and distributed programming in #Haskell. The Cloud Haskell Platform consists of a generic network transport API, libraries for sending static closures to remote nodes, a rich API for distributed programming and a set of platform libraries modelled after Erlang’s Open Telecom Platform.

Generic network transport backends have been developed for TCP and in-memory messaging, and several other implementations are available including a transport for Windows Azure"
https://haskell-distributed.github.io/#:~:text=Cloud%20Haskell%3A%20Erlang,for%20Windows%20Azure

Sockets and Pipes: Connect with Haskell https://leanpub.com/sockets-and-pipes by Type Classes is the featured book on the Leanpub homepage! https://leanpub.com #Haskell #programming #books #ebooks

Sockets and Pipes is not an introduction to Haskell; it is an introduction to writing software in Haskell. Using a handful of everyday Haskell libraries, this book walks through reading the HTTP specification and implementing it to create a web server.

Find it on Leanpub!

#Exercitium: Problemas de programación con Haskell de febrero de 2020. https://jaalonso.github.io/exercitium/2020/02 #Haskell #ProgramaciónFuncional #Matemáticas

Readings shared July 22, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/23-readings_shared_07-22-25 #FunctionalProgramming #Haskell #IMO #ITP #LLMs #Math #Rocq #Rust

Nope I was wrong
Equality of functions in #Haskell - Stack Overflow
It is in general impossible to test functions for equality, since function equality should be extensional, i.e., two functions are equal if they give the same results for all arguments.

But there are other ways to define derivatives in Haskell that uses different types. For example, Automatic Differentiation