將單子用於程式推導 FunTh#75

This is a past event

19 people went

Details

「程式推導」是一套經由數學推理將程式「算」出來的技術。程式不是憑空寫出,而是先將要解決的問題描述出來,然後一步步推出解決該問題的程式。

函數編程有良好的數學性質,適合用於程式推導。但由於體認到函數編程仍有不足之處,90 年代的一些研究者們將函數擴充到關聯(relations)。在這套理論中,程式與程式的組合(compose, 在 Haskell 中寫成 (.)) 類似代數中的乘法,除此之外我們還可以取程式的聯集、交集,甚至有相當於除法的運算元。這些都能在推算程式時派上用場。

很可惜地,由於大部分人覺得這套理論太過艱澀,該技術並沒有流行起來。在這次的 Functional Thursday 中,我將嘗試把以往的理論以大家較熟悉的單子 (monad) 重新包裝,希望能讓大家都理解。

分享者:穆信成,中研院資訊所。

⚠️請注意這次地點在:Mozilla Space
台北市信義區信義路五段 106 號 4 樓 A-1

⚠️請欲參加者務必填寫報名
https://forms.gle/dvetFUiUXwfzDfe29

|時間|19:30pm
|地點|Mozilla Space

活動包含主題短講與交誼,歡迎來聊天討論!
也歡迎加入社團 https://www.facebook.com/groups/functioanl.thursday