要是希臘字母用完可以用日文像是 よ 繼續編,よ-type :twinsparrot:

《Concurrent Programming in ML》也是很不錯,對現有幾乎每一種 concurrent 高階抽象都分析過了
用 effect system 再建模一次好像不錯

尾數為五的二位數的平方可以速算

重整就知道是 100(a^2+a)+25

而 a 是0-9 的小數字

總覺得定義
withLock : (mu : Mutex) -> (a -> b) -> a -> Eff b [MUTEX mu]
好像可行喔

剩下的問題只有這好用嗎

看一篇 inductive families 的 elaborating 是先弄成 description functor

elaboration 是不是因為相較於傳統一次做所有事 form 整個 system 的方法而言,是小片段的混雜不同用途的程式得名啊?

- 去 coscup 演講,大爆炸
- 新工作在寫語言相關的東西
- 用閃卡開始學日文
- 開始看懂 elaboration-zoo 了
- 去草地音樂祭

Higher order function 用在區塊保護上真的不錯,怪不得 kotlin 會被洗到把 block 編譯成準函數www

現在我不太需要書真的有點多,應該超過200了www

清理都是困難

C++ 的 template 有兩個問題
第一 template 裡面不是只有 typename,可以是其他編譯器能夠計算出來的值像是 int
第二它的程式庫自己就是 C++ 寫的,改這個要改的地方太多了,改天吧

我 2015 年的時候對開發的幻想很多都快做到了
我果然是個沒有夢想的人類嗎www

顯示較舊嘟文
g0v.social

去中心化社群架設的去中心化社群網站。宇宙小酒館