[%] guessing game

[다믜(damhiya)]

원래 random 라이브러리가 있는데 설치가 안되 있길래 그냥 적당한 함수 넣어서 떼움

근데 이거 딱히 dependent type하고는 상관이 없다 ㅋㅋㅋ

[다믜(damhiya)]

특징은 Applicative, Monad 용으로 구분된 함수들이 없고 전부 통합됨. ex) return -> pure, (>>) -> (*>)

[기괴공학도(mecheng98)]

상속이 없음??

[다믜(damhiya)]

ㄴㄴ 상속 있는데, 하스켈 처럼 똑같은 함수인데 이름만 다른 함수들이 없음

[다믜(damhiya)]

모나드 정의에 Applicative 상속하고 >>=만 있음. return은 없고 그냥 Applicative에서 받은 pure만 쓰는거

[다믜(damhiya)]

정확히는 별도로 정의 해놓기는 했는데 사용을 지양하는 것 같음

[기괴공학도(mecheng98)]

상속까지 있다고 ㄷㄷ

[다믜(damhiya)]

하스켈도 되잖아

[기괴공학도(mecheng98)]

디펜던트 타입을 이용해서 상속을 정의함? 아니면 따로 상속이 있음?

[다믜(damhiya)]

아니 그게 아니라 그냥 Applicative m => Monad m where 같은거 말하는건데

[기괴공학도(mecheng98)]

혼자 디펜던트 타입으로 타입 클래스랑 상속 정의하는 걸로 망상함 ㅋㅋ

[ㅇㄹ(rerereq)]

그냥 하스켈이네

[다믜(damhiya)]

ㅇㅇ

[기괴공학도(mecheng98)]

ㅊㅊ

[whatugonnado(sibal214)]

코드 스샷 뭐로 뜬거임? 이뻐보인다

[다믜(damhiya)]

https://carbon.now.sh/

[whatugonnado(sibal214)]

ㄱㅅ