ブートストラッピングでコンパイラを作ろう

>>30
なるほど、コンパイル時に並び替えしてくれるんですね。知りませんでした。
てことはjmpもいらないのか〜。

ず〜っと規制で書き込めませんでしたorz
現状、rowl1の実装を進めています。
アセンブリからdlopen()をコールする為のコードを書いている所です。

そろそろ完成したかな？

リポジトリの更新も止まってるし
てこずってるよう棚

レポジトリ見るとallocとかが実装され始めてるようだね。
1/22から更新がないようだがガンガレ

久しく間があいてしまってすいません。
しばらく趣味に裂く時間がありませんで停滞しておりました。
そろそろペースを戻していきたいと思います。

dlopen()の実装は流石に挫折しましたのでglibcを直接呼ぶ方向にしたいと思います。
がんばります。

これは良いものが出来そうですね。
Linuxが普及する原動力になると思います。
期待しています。

↑なにいってんだこいつ

↓なにいってんだこいつ

これは良いものが出来そうですね。
Linuxが普及する原動力になると思います。
期待しています。

↑なにいってんだこいつ

とりあえず>>1すげぇな・・・・
とてもじゃないが俺には出来ん・・・
でも勉強に見させてもらうよ

>>42
どうもありがとうございます。頑張りますので応援してください。

現在rowl2コンパイラを実装していますが、
Hindley-Milnerの型システム
GC
メタプログラミング機能
などを一気に実装しようとして大分苦しくなってきました。
なので方針を変更して、rowl2では型システムのみ追加することにして高級な機能は先送りに
しようと思います。

>>43
了解。
応援させていただきます。

経過報告です。型システムを黙々と実装中です。
で、単純なHindley-Milnerだと使いにくい言語になると思うんで、何らかの拡張を考えてます。

一つは名前付きのタプルフィールドです。
p : (x : 0.0, y : 0.0);
などと書けて、p.x、p.yとアクセスできるようにしたいと思います。
これは多分kindを使って、健全性・完全性を保ってできると思います。

それから型による多重定義です。
例えば 1 + 1、 1.0 + 1.0、などと書けるようにしたいと思います。
これは安直にやると完全性を壊してしまいそうな気がするので、勉強中です。
もし、よい論文など知っている方がいましたら教えていただけると嬉しいです。

きちんと構文解析してexpressionの型を決めていけばできると思うけど、
もっと簡単にやる方法あるのかな。

応援してる。

型推論の方針は定まりました。健全性と完全性はある程度犠牲にして、
多重定義・多相的な定数リテラルをサポートできるようにしたいと思います。


それから↓に触発されてrowlでのOS作りに挑戦することにしました。

【超高速】C/C++に代わる低級言語を開発したい
ttp://pc12.2ch.net/test/read.cgi/tech/1268843875/

理想とかあまり考えないで、まったり作ります。

まだ何も出来ていないですけど、
rowl/os/rowlos.img
がそれです。QEMUで実行できます。

間違ってもその痛いスレを参考にしちゃだめだよ
どっちかっつーとひげぽんさん目指した方がいい(割とマジで言うけどあの人の技術面でなく取り組み方の方ね）

新しいネタを頂いただけで、言語設計は自分の好きなようにやってこうと思います。
こっちはアセンブリのみで実装という縛りがあるんで、逆にあまり言語仕様で悩まなくていいですね。
ひげぽんさんはホント尊敬してます。特にやる気をあれだけ維持出来るのがすごいです。

ひげぽんなんていろいろ手を出してどれも中途半端
他の人のコードを何年も放置した後とりいれて顰蹙かったり
真似したら駄目

人がどういうやり方してるかあまり気にしても仕方ないので、ひとりでやってる限りは適当にやります。
忠告ありがとうございます。

経過報告です。
型推論の実装は目処が立ったので、バックエンドの実装に入りました。
rowl1では
型付きCore言語→三番地コード→アセンブリ
というパスでやることにします。三番地コードを突っ込んだのは、値管理をスタックに頼らないで、レジスタ割り当てをちゃんとしようと思った為です。

生存解析を三番地コードに実装しました。(liveness.rl)

レジスタ割り当てを実装しました。グラフカラーリングで作りました。
これで、型付きCore→アセンブリが繋がったので、あとは命令や機能をいろいろ追加していきます。

予定：
- 数値演算
- 条件分岐
- レキシカルクロージャ
- ループ
その後は、多重定義あたりやってみます。

経過報告です。
スタックローカルのタプルとかパターンマッチとか実装しました。
ここ数日、快調なペースです。

rowl1の実装と並行してですが、rowl2の実装を開始しました。
ブートストラップ3週目です。

あれ、いつのまにか growl から rowl になったんですね。

すいません、growlという名のアプリが既に存在しましたので。
gitのURL変更はアナウンス忘れですorz

a

ご無沙汰しております。

ブログ立ててそっちで書いているうちにここの存在をすっかり忘れてしまっておりました。
自分でスレを立てておいて半年も放置してしまって大変申し訳ありません・・・。
いろいろと方針変更がありましたが、開発は続けておりましてGC搭載のVMが動くところまで来ました。
http://github.com/nineties

作ると言ったOSやってなかったり、関数型言語じゃなくなってたりなんかいろいろグダグダですいません。

>>59
がんばれー
かげながら応援してるよー

>>60
ありがとうございます。頑張ります。

がんばれ!!!
僕も応援してるよ!!!

>>61
github経由でblogも見た、
感動した

ありがとうございます！

実装を開始して今日で1年経ちました。
これからもがんばりますのでよろしくお願いします。
来年はドキュメントを書いて人に使ってもらえるようにすることが目標です。

頑張れ!!
Twitterもたまに見てますぞ!!

これ>>1は勉強とかのつもりかもしれないけど、やってることって70年代〜80年代のbitやcomputer todayの連載記事（とか別冊本)みたいで
ものすごく読んでいて楽しい、最後まで行ったら全部まとめて一冊にして欲しいとか思う

周りも勉強になるから本当に良スレ
2ちゃんはこうあれば良いと思う

一人で誉め殺し乙
そこまでいくとわざとらしい

>>68
目が曇っちゃうとどうしようもないね

いまきた産業だけど
Javaのシンタックスシュガーを増やすとかそのくらいにしとけばいいのに

おそくなりましたが、あけましておめでとうございます。
現状報告ですが、REPLの実装をしています。
バッファリングしないIOが必要だったりと面倒でちょっと時間がかかりそうな感じです。

>>70
言語作りではなくコンパイラの勉強が目的なので、出来るだけ既存物に頼らないで作ってく予定です。

Pythonとかがスマートポインタやウィークポインタから
ガベージコレクションに乗り換えたけど処理効率より
スコープを隠ぺいすることでコーディングの負担を減らしたいのかな

1すごい

rowlでOS作ってみるお

これ ； デリミタっていうんだけどさ、よく打ち忘れるよね
Rubyだとつけなくてよくなるんだけど

ゴミじゃねーか

天使ちゃんマジ天使

ほ

>>75
;はデリミタじゃないぞ、行コメントだ

行コメントだね

一般的には、;はセミコロンっていうんだけどね。