JS에서 의존 타입을 쓰고 싶어서 ReScript를 설치해봤는데 안되나보다......🥲
문서 보니까 GADT가 있다고 해서 하스켈처럼 싱글톤 어쩌고 하는 게 되지 않을까 하고 내심 기대했는데 자연수도 못만들더라
If you have a fediverse account, you can reply to this note from your own instance. Search https://hackers.pub/ap/notes/0199f86c-a3c9-7bff-a04a-739060b0f143 on your instance and reply to it.
왜냐면 이 글을 재작성하고 있고 인터랙티브 부분이 복잡해서 타입 안정성은 웬만하면 챙기고 싶은데 타입스크립트도 안되고 ReScript도 안되고 굳이 Idris를 가져다 쓰는 건 오버킬같고...