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