看板 [ PLT ]
討論串[心得] 今天收到的挑戰，也上來問問大家
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#1
[心得] 今天收到的挑戰，也上來問問大家
推噓1(1推 0噓 10→)留言11則，0人參與, 最新作者SansWord (是妳)時間14年前 (2010/08/11 15:50), 編輯資訊
0
0
0
內容預覽:
今天午餐有幸跟一群在中研院工作的人吃飯..... 大多數人第一次見面，自我介紹是免不了的..... 不過這樣的自我介紹可能不能介紹興趣喜好之類的東西..... 要介紹我正在研究的東西..... 然後，我就被challenge了:. "請5句話解釋什麼是monad". 大家有什麼Idea嗎?. --.
(還有99個字)
#2
Re: [心得] 今天收到的挑戰，也上來問問大家
推噓1(1推 0噓 2→)留言3則，0人參與, 最新作者xcycl (XOO)時間14年前 (2010/08/12 02:05), 編輯資訊
0
0
3
內容預覽:
試著不精確地講講看 .... 首先是 cateogry 上對照 type theory 是什麼呢？[2]. 對 category 上每個 object A 考慮作 type A, 那麼. 可以將 morphism f : A -> B 寫成. x : A |- f(x) : B. 其中把 x 當作是
(還有1666個字)
首頁
上一頁
1
下一頁
尾頁