1. PTT
  2. PLT

[問題] What does ⊥-elimination do?

作者: suhorng ( )   2013-03-05 22:37:07
想請問一下, NJ deduction system 中有這條規則
Γ |- ⊥
作者: suhorng ( )   2013-03-05 23:36:00
另外..Haskell中好像沒有這個 "⊥" type?
作者: CindyLinz (Cindy Wang)   2013-03-05 23:39:00
Haskell 用 data Bottom (後面沒有 =)
作者: suhorng ( )   2013-03-05 23:41:00
CindyLinz: 喔喔好酷! 原來可以不給它 constructor
作者: CindyLinz (Cindy Wang)   2013-03-05 23:53:00
這個「abort」名子聽起來很可怕,其實是個exceptionhandle 嗎? XD
作者: Favonia (00010110110001101010100)   2013-03-06 13:18:00
建議不要用 Haskell 了解這麼嚴謹的東西 xDDDD
繼續閱讀
[問題] 請問如何準備Haskell的考試?adu[問題] 關於 Object augmentationtkcn[新手發問] Haskell 驚嘆號 giintaipeiRe: [問題] scala 的 <:<PkmX[問題] scala 的 <:<mRiverRe: [新手發問]Lispykjiang[問題] call/cc 變數的值 印出的結果應該是？suhorngRe: [新手發問]LispbeatitudeRe: [問題] '#'的意思joshs[問題] Scheme call/ccsuhorng

Links booklink

Contact Us: admin [ a t ] ucptt.com