你即將離開本站

並前往https://ptthito.com/gossiping/m-1631858174-a-f91/

Re: [問卦] 程式語言鄙視鏈的頂端是誰？

認真回應Agda, Coq 真的頂覺得太難就Idris還是覺得難就Haskell 或他的類似 ... 發信站: 批踢踢實業坊(ptt.cc), 來自: 122.116.14.10 (臺灣) ※ 文章 ...

確定！ 回上一頁

查詢 「Haskell PTT」的人也找了：

  1. Rust 語言 PTT
    2.
  2. Haskell PTT
    3.