作者查詢 / cybermeow

總覽項目：發文 | 留言 | 暱稱

作者 cybermeow 在 PTT [ Programming ] 看板的留言(推文), 共12則

限定看板：Programming

首頁

尾頁

[ Programming ]23 留言, 推噓總分: +3

作者: cybermeow - 發表於 2017/10/20 05:08(6年前)

2^F→cybermeow: 單純習慣問題吧 (茶不過因為其他方77.136.18.150 10/20 13:20

3^F→cybermeow: 面目前看起來不錯就算了77.136.18.150 10/20 13:20

8^F→cybermeow: 用inner constructor來做算是有支援77.136.18.150 10/21 00:48

9^F→cybermeow: 但是我看不出來要怎麼應用關鍵在於回77.136.18.150 10/21 00:48

10^F→cybermeow: 傳的type要長怎樣才好不過這可能不好77.136.18.150 10/21 00:48

11^F→cybermeow: 回答吧77.136.18.150 10/21 00:48

16^F→cybermeow: 嗯嗯只是這裡的問題是要計算過後才知道77.136.18.150 10/21 04:11

17^F→cybermeow: 有沒有解而且refine掉感覺跟throw exc77.136.18.150 10/21 04:11

18^F→cybermeow: eption一個意思77.136.18.150 10/21 04:11

[ Programming ]11 留言, 推噓總分: +4

作者: nchwshku - 發表於 2017/06/21 19:29(6年前)

9^F推cybermeow: 用ocsigen架了一個ocaml中文教程網站77.136.87.229 06/24 07:04

10^F→cybermeow: 但進度緩慢 @@77.136.87.229 06/24 07:04

11^F→cybermeow: 才把typing寫完而已77.136.87.229 06/24 07:04

首頁

尾頁