모나드 주로 안쓰는 언어 특징

[ㅇㄹ(rerereq)]

bind는 커녕 Option Result조차 없음

[딩코조무사(circircir6174)]

이런거 문법으로 줘봐야 큰의미 없음

[딩코조무사(circircir6174)]

타입이 제대로 돼있기만하면 나머진 알아서됨

[ㅇㄹ(rerereq)]

null throw catch로 스탠다드가 박혀있으면 무시하고 Option같은거 쓰기 쉽지않음

[딩코조무사(circircir6174)]

한놈만 쓰는게 아니라 상호변환이 가능해야지

[ㅇㄹ(rerereq)]

장점을 말아먹게된다니까 Result.defaultValue 같은걸로 값 얻어올때 내부에서 throw 던지면 모나드가 걍 터지자너

[딩코조무사(circircir6174)]

인터페이스로 익셉션을 주고 do 노테이션으로 try catch 표현하면 되잖음

[ㅇㄹ(rerereq)]

하스켈말고 F#같은거 보셈

[딩코조무사(circircir6174)]

내가 이걸 별로 안좋아하는건 특정타입에대해 문법적 애드혹을 넣는 느낌이라 그럼

[딩코조무사(circircir6174)]

일반화된 해법이 분명 있는데 좋게말하면 편의를 봐준거고 다르게보면 기능이 반쪽인거고

[ㅇㄹ(rerereq)]

애초에 Option Result로 전부 짜져있는게 아니면 그 위에 올리는건 그렇게 이쁘지가 않다

[ㅇㄹ(rerereq)]

C에서 객체지향 하는거처럼 어중간함

[딩코조무사(circircir6174)]

나는 throw를 옹호하는게 아닌데

[딩코조무사(circircir6174)]

throw도 문법적 애드혹임 그냥 이런걸 타입으로 강제하고 try catch 구문의 추상인 표현으로 했으면 좋겠다는거

[딩코조무사(circircir6174)]

이렇게 보면 내가 극단이고 님이 어중간한거 아님?

[ㅇㄹ(rerereq)]

나는 기존 C# 인프라 위에 올라가있는 F#을 말하고 싶었음

[딩코조무사(circircir6174)]

throw나 옵셔널같이 편리한걸 언어에서 제공하자 vs 싸잡아서 타입으로 추상화하고 최소한의 기능만 제공하자

[ㅇㄹ(rerereq)]

F#은 자체 모나드 다 지원하는데도 C#에 매여서 짬뽕이거든

[딩코조무사(circircir6174)]

래핑을 졸라게 엄격하게 하도록 강제하면 좋은데

[ㅇㄹ(rerereq)]

선택지가 많은게 꼭 좋은건 아닌거같다