igrepのブックマーク - はてなブックマーク

CPUエミュレータをRustで自作する - Don't Repeat Yourself
この記事は Rust Advent Calendar 2020 ならびに CyberAgent Developers Advent Calendar 25日目の記事です。今年のはじめの頃になりますが、『CPUの創り方』という本に載っている TD4 という CPU を実装してみました。TD4 は「とりあえず動作するだけの4bit CPU」の略です。この本に載っている CPU エミュレータを実際に実装してみました。ただし、本書には GUI が載っていましたが、それは省略しました。 CPUの創りかた作者:渡波郁発売日: 2003/10/01メディア: 単行本（ソフトカバー）「最近話題の RISC-V などの CPU エミュレータを作ってみたいものの、いきなり作るにはハードルが高い。何か簡単なもので素振りをして CPU の動作の仕組みをまずは知りたい」という方にはかなりオススメできる教材だ
igrep 2020/12/26
rust

CPU
リンク
Rustでもモナドは実装できるのか？（再） - Don't Repeat Yourself
この記事は言語実装Advent Calendar 2020 25日目の記事です。（2022-11-06: 記事の内容を追記していますが、この記事の結論としては「似たようなものは作れるが、完全体にはならない」です）前提知識高階カインド型モナド従来のエミュレーション方法 Generic Associated Types を用いたエミュレーション（new!）型クラスを定義する Functor を用意する Pointed を用意する Applicative を用意する Monad を用意するいくつか型を実装していく現状実装できないもの do 記法 Generic Associated Types（GATs）とは何か追記（2022-11-06）リポジトリ参考文献モナドに関する話題が言語実装アドベントカレンダーの範疇に入るのかわかっていませんが*1、プログラミング言語がお好きな方
igrep 2020/12/26
GADTsとは名前は似てるけど全然違う “GATs というのは先ほども軽く触れたとおり、関連型に何かしらの型パラメータ（A や T みたいなもの）をもたせることができる機能”

Monad

rust
リンク
async/await 時代の新しい HTTP サーバーフレームワーク tide を試す - Don't Repeat Yourself
Rust Advent Calendar 2019 25日目の記事です。 tide は現在開発途中の、 Rust の async/await に対応した HTTP サーバーを構築するフレームワークです。not ready for production yet なので本番にこれを使用するのは難しいかもしれませんが、いろいろな例を見てみた感じとても使いやすそうで、注目に値するフレームワークの一つです。記事を少し読んでみたのですが、どうやら 2018 年に Rust の Network Service Working Group が開発に着手したフレームワークのようですね。現在のステータスを追いかけていないので詳しくはわかりませんが、Rust チームの方々が何かしら関わっているフレームワークということで、少し安心感がもてるかなと私は思っています。async/await が今年無事安定化されたの
igrep 2019/12/25
rust
リンク
1