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