[%] exception이 꼭 모던하지 않은건 아닌것 같기도하다

[다믜(damhiya)]

어차피 totality 검사도 안하는데 exception좀 던지면 뭐 어때 ㅋㅋㅋㅋㅋ

[다믜(damhiya)]

https://stackoverflow.com/questions/2583337/strictly-positive-in-agda

[다믜(damhiya)]

totality가 상상하던 것보다 조올라 빡센 조건이네;;

[기괴공학도(mecheng98)]

[ㅇㄹ(rerereq)]

모나딕한 핸들링이 안돼서 안좋은거임

[ㅇㄹ(rerereq)]

C나 go처럼 if err != nil 하고있으면 그냥 에러가 명시적으로 보인다수준

[다믜(damhiya)]

ㅇㅇ 무슨 말인지는 앎. 내가 한말은 그냥 "어차피 엄밀하게는 모나드 아닌데 exception 던져도 다를꺼 없다"니까 무시해도 됨 ㅋㅋ