하스켈쓰는 이유가 하스켈이 쓰고싶어서인 놈들이잖아 ㅋㅋㅋㅋ
타입이나 조져야지

이번에 리니어 로직보니까 a & b (additive conjunction) 이런게 있던데 충격이었음.

a * b 는 a와 b를 동시에 가지고 있고
a + b 는 a와 b 둘 중에 하나만을 가지고 있는데
a & b 는 a와 b를 둘 다 가지고 있으면서도 둘중에 하나만 쓸 수 있음

그러니까 a + b는 값을 만드는 쪽에서 a일지 b일지 결정하는데, a & b는 값을 가져가는 쪽에서 a와 b중 어떤 값을 사용할 지 정할 수 있음. 그런데 둘다 쓰는건 불가능함.

weakening하고 contraction을 금지하면 생기는 일 ㅇㅅㅇ

- dc official App