自作SML処理系「LunarML」の言語機能の実装も佳境に入ってきて(equalityやexception等の厄介な奴らはだいたい片付けた)、残すところは
- withtype (derived form)
- abstype(Successor MLに従いderived formとして実装する予定)
- signature
- functor
くらいとなってきている。
続きを読む
自作SML処理系「LunarML」の言語機能の実装も佳境に入ってきて(equalityやexception等の厄介な奴らはだいたい片付けた)、残すところは
くらいとなってきている。
続きを読む事実上の標準なHaskell処理系であるGHCに貢献するというのが去年掲げた目標だったが、それがようやく実現したので報告する。ついでに、最近のGHC開発状況についても簡単にまとめてみる。
続きを読む「シン・エヴァンゲリオン劇場版」を初日に見てきたがTLに全然感想が流れてこなくて寂しいので自分で書くことにする。ネタバレ注意。
続きを読むどうやら受験シーズンのようなので、高校数学に毛の生えたレベルの話でもしてみようと思う。
続きを読むhyperrefパッケージの\autorefの欠点と、\autorefを使わない代替方法を挙げてみる。
続きを読む2020年も色々あったので振り返りたいと思う。
続きを読む
この記事は M5Stack Advent Calendar 2020 の19日目の記事です。
以前、M5Stackをカメラの有線リモコン化する実験を行った。
今回、(ブレッドボードではなく)プロトモジュールを使った実装と、簡単なタイマーリモコンとして使うためのプログラムを組んだので紹介したい。
続きを読む