SHOEISHA iD

※旧SEメンバーシップ会員の方は、同じ登録情報(メールアドレス&パスワード)でログインいただけます

CodeZine編集部では、現場で活躍するデベロッパーをスターにするためのカンファレンス「Developers Summit」や、エンジニアの生きざまをブーストするためのイベント「Developers Boost」など、さまざまなカンファレンスを企画・運営しています。

CodeZineニュース

関数型言語のコンパイラバックエンド「SaberVM」が発表

  • X ポスト
  • このエントリーをはてなブックマークに追加

  • X ポスト
  • このエントリーをはてなブックマークに追加

 Ryan Brewer氏は、「SaberVM(Saber仮想マシン)」を1月18日(現地時間)に発表した。

 SaberVMは関数型言語のコンパイラバックエンドで、さまざまな用途での実装が可能な抽象スタックマシンであり、クロージャ変換およびホイストされたCPSコードを取り込んで実行するか、AOTがネイティブバイナリにコンパイルして実行される。

 malloc/freeスタイルの内部メモリ管理システムを備えたアリーナであり、寿命が終了するとアリーナのように解放されるリージョンと、引数を受け取らず実行に失敗した命令がプログラムをクラッシュさせることなく、例外ハンドラにジャンプする例外という、2つの主要なシステムによって構成されている。

 SaberVMでは、安全性、表現力、移植性、信頼性を目指しており、全体的には約半分の実装が完了しているという。

関連リンク

この記事は参考になりましたか?

  • X ポスト
  • このエントリーをはてなブックマークに追加
この記事の著者

CodeZine編集部(コードジンヘンシュウブ)

CodeZineは、株式会社翔泳社が運営するソフトウェア開発者向けのWebメディアです。「デベロッパーの成長と課題解決に貢献するメディア」をコンセプトに、現場で役立つ最新情報を日々お届けします。

※プロフィールは、執筆時点、または直近の記事の寄稿時点での内容です

この記事は参考になりましたか?

この記事をシェア

  • X ポスト
  • このエントリーをはてなブックマークに追加
CodeZine(コードジン)
https://codezine.jp/article/detail/18950 2024/01/24 18:01

おすすめ

アクセスランキング

アクセスランキング

イベント

CodeZine編集部では、現場で活躍するデベロッパーをスターにするためのカンファレンス「Developers Summit」や、エンジニアの生きざまをブーストするためのイベント「Developers Boost」など、さまざまなカンファレンスを企画・運営しています。

新規会員登録無料のご案内

  • ・全ての過去記事が閲覧できます
  • ・会員限定メルマガを受信できます

メールバックナンバー

アクセスランキング

アクセスランキング