Pklは普通に無限再帰するコードが書けて、stack overflowって言って終了する。一方Dhallは型により必ず終了することが保証されている。

Reply to this note

Please Login to reply.

Discussion

No replies yet.