型クラスの実装方法について教えてください

Question

型クラスを扱えるプログラミング言語を作ってみたいのですが、
なかなか実現出来ません。

出来るだけ簡単に型クラスを実装する方法をソースコード付きで教えてください。

Answer 1

javascript のインタープリターの例は如何でしょうか？
Jint: Jint is a Javascript interpreter for .NET.
https://jint.codeplex.com/

ANTLR, Racc, yac/lex といったパーサーの使用例で、おつくりになりたい言語仕様のものを探してみては？
次のページには様々なパーサーの一覧があります。
Comparison of parser generators

Comments

[h_sakurai]

コメントありがとうございます。
今はパーサのライブラリも色々あって楽しいですよね。
自分は独自で書いたり、Scalaのパーサコンビネータを使ったり、
OCamlYaccを使ったりしています。
パーサは作れるのですが、Haskellの型システムを真似てみたいという所で疑問があったので質問しました。

Typing Haskell In Haskellという論文を見つけてそれが良さそうなので読んで見る事にしました。

http://web.cecs.pdx.edu/~mpj/thih/TypingHaskellInHaskell.html
https://github.com/hsk/docs/tree/master/thih