[%] 문법 만드는 것부터 힘들다

[기괴공학도(mecheng98)]

중간 언어에서 G-machine 코드를 생성하는 거랑

G-machine 코드를 실행하는 거 테스트 통과했고,

이제 소스에서 중간 언어를 생성하는 걸 만들어야 되는데 ...

적어도 Type Class랑 Parametric Polymorphism이랑 List Comprehension은 구현해야 될 것 같고 ...

그런데 ㅅㅂ 이걸 어떻게 만들지????

적어도 올해 안에는 못 만드니까,

그냥 G-machine 소개하는 글이나 쓸까??

[black7375(220.70)]

ㅇㅇ 갑자기 궁금하긴하다 - dc App

[기괴공학도(mecheng98)]

ㅇㅋ G-machine 글 쓰겠음 - dc App

[익명(220.74)]

json으로 가든가... PEGTL 쓰셈...

[기괴공학도(mecheng98)]

파서 생성기는 만들 줄 아는데, 형식 문법을 고안하는 게 힘드네요. - dc App

[다믜(damhiya)]

typeclass 는 사실 그냥 data랑 같은거임

[다믜(damhiya)]

sort :: Ord a => [a] -> [a] 는 사실 data Ord a = Ord {(lessThan) :: a -> a -> Bool}; sort :: Ord a -> [a] -> [a] 임.

[다믜(damhiya)]

차이점은 data는 value가 여러개 있을 수 있는데, typeclass 인스턴스는 타입마다 1개씩 밖에 못만들게 제한을 걸어둔거

[다믜(damhiya)]

그니까 data 만 제대로 구현하면 typeclass랑 parametric polymorphism은 조금만 손보면 됨

[기괴공학도(mecheng98)]

오오 ㄱㅅㄱㅅ - dc App

[기괴공학도(mecheng98)]

정말 도움이 되는 조언이네요 ㄱㅅ - dc App