@bglbgl gwyng 오, 이거 이름은 들어 본 적 있는데, 그런 기능이였군요?
@hongminhee洪 民憙 (Hong Minhee) 블로그 글 쓰신걸 읽다가 요런 아이디어를 봣는데.
좀더 나아가자면, 모듈 인터페이스는 구현체의 다양한 관점의 효과성이나 효율성, 기능성 등에 대해서도 매개변수를 선언할 수 있고, 임포트 시에는 특정 매개변수를 기준으로 선호하는 구현체가 적절히 선택되도록 할 수 있을지도 모른다.
이걸 모듈 레벨의 파이널 인코딩이라고 해야하나, 이 부분을 어떻게든 좀더 잘 만들려고 욕심내다보면 엄청 어려운 문제가 되는거 같아요.
❤️
3 people reacted.
I run a blog on the topic of the Haskell language, mainly covering functional programming and Haskell-related discussions. If someone talks about these topics, I act like we're old friends, even if it's our first time meeting.
Haskell programmer and father of three from South Korea.