Mastodawn

🌘 Verse 微積分：功能式邏輯程式設計的核心演算
➤ 為功能式邏輯程式設計打造清晰的基礎
✤ https://simon.peytonjones.org/assets/pdfs/verse-March23.pdf
本論文介紹了 Verse 微積分 (VC)，一種針對功能式邏輯程式設計的新核心演算。VC 整合了功能式和邏輯程式設計的優點，支援高階函數、邏輯變數、等式約束以及選擇機制，並首次以一種決定性的方式處理這些概念。作者藉由小步驟重寫語義為 VC 建立了形式化語義，並證明瞭其收斂性，使其成為編譯器優化的可靠基礎，並可作為其他功能式邏輯語言的編譯目標。此外，VC 的設計理念是簡潔且正交，每個構造體僅執行單一操作，避免了不必要的複雜性。
+ 這篇文章提出的 Verse 微積分看起來很有潛力，能解決功能式邏輯程式設計中一直存在的複雜性問題。
+ 能夠將邏輯變數和統一整合到重寫系統中，並保留決定性，這是一個非常巧妙的設計！
#程式語言 #功能式程式設計 #邏輯程式設計 #演算

GripNews Apr 1

🌖 為什麼選擇 F#？
➤ 一位開發者對 F# 的探索之旅
✤ https://batsov.com/articles/2025/03/30/why-fsharp/
作者分享了他重新接觸 .NET 平臺，並對 F# 語言產生興趣的過程。F# 是 Microsoft 開發的一種功能式程式語言，目標是 .NET 平臺，並且與 C# 形成互補。文章簡要介紹了 F# 的歷史、特性（如輕量級語法、預設不可變性、類型推斷等），並提供了一些程式碼範例，展示了 F# 的程式碼風格和功能，例如管道操作符、模式比對、記錄和判別聯合類型。作者認為 F# 易於學習，並且在 .NET 開發中具有潛力。
+ 這篇文章讓我對 F# 產生了興趣！一直想嘗試功能式程式設計，但覺得門檻很高，這篇文章讓我感覺 F# 是一個不錯的起點。
+ 作者將 F# 與 OCaml 和 C# 進行比較，對於瞭解 F# 的定位很有幫助。文章中的程式碼範例也很實用，可以快速上手。
#程式語言 #.NET #功能式程式設計

Why F#?

If someone had told me a few months ago I’d be playing with .NET again after a 15+ years hiatus I probably would have laughed at this.1 Early on in my career I played with .NET and Java, and even though .NET had done some things better than Java (as it had the opportunity to learn from some early Java mistakes), I quickly settled on Java as it was a truly portable environment. I had some C# courses in the university and I wrote my bachelor’s thesis in C#. It was a rewrite of Arch Linux’s pacman, running on Mono. This was way back in 2007. ↩

(think)