メモです。

• JSDocで型を定義してTypeScriptの恩恵を受ける

いいこと聞いた。

BiwaSchemeはTS使ってないけど、JSDocの記法で型を書けばtscで型チェックできるってことか。

• TypeScript: Documentation - JSDocリファレンス
• Use JSDoc: @typedef

発表資料です。

• 定期ミートアップ 第2回 - prog-lang-sys-ja

雑談

• vimの:terminal + |& less -Rが快適

前回のあらすじ

今までいわゆるスニペット系のvimプラグインは使わずに来たのだが、Rustを書くようになって

• Default::default()とタイプするのが面倒
• collect::<Vec<_>>とタイプするのが面倒
• use std::collection::HashMap;とタイプするのが面倒

…のように、スニペットの必要性が分かるようになった。

どのようなプラグインがあるかは以下がとても参考になった。

処理系Slackで定期ミートアップをやろうという話になったので、せっかくだからShiikaについて相談したいことを話してみた。以下は発表資料。

Shiikaとは

• 雑に書ける静的型付け言語がほしい
• 既存の静的言語は「性能」とか「ローレベル」にチューニングされているが、それらを捨ててLL的な方向に振る
• Ruby的な書きやすさ＋静的型チェック
• 動的言語の楽しさとは別に、型からデザインする楽しさというのがある

ALETH42を組み立てた。キー数が少ないのでキーマップ調整に手間取ったけど、まあまあいい感じになってきた。今は自宅で仕事するときに使っている。

Keyboard: ALETH42
Switch: Kailh speed silver (+ rose pink)
Keycap: MDA Pineapple#KEEB_PD #KEEB_PD_R40 pic.twitter.com/Hm31kyejT6

— yhara (Yutaka HARA) (@yhara) April 18, 2021

↑はじめての#KEEB_PD。

発端

もともとは分割キーボードにしか興味がなかったのだが、nillpoさんのKUMOキーボード(この３枚目)を見てrow-staggeredな一体型のよさに目覚めてしまったのだ。とはいえKUMOはもう手に入らないので諦めていたところ、タイミングよくALETH42が登場して、作ってみることにした。

この件について処理系Slackで相談したところ、いろいろなことが分かった。

背景

自作言語Shiikaに分割コンパイルを実装して、LLVM bitcode (.bcファイル) を2個作ってclangコマンドでリンクしようとしたところ、以下のような警告が出るようになった。

warning: overriding the module target triple with x86_64-apple-macosx10.15.0 [-Woverride-module]
1 warning generated.

自作のRubyスクリプトに簡単なGUIを付けたくて少し調査してみた。

shoes3, shoes4, fxruby, tkあたりを少し見てみたが、2021年現在ではgtk3 gemを使うのが一番楽そう。なんといってもインストールが簡単。

インストール

$ gem install gtk3

Macの「サービス」からRubyスクリプトを起動する手順。

まず以下を参考に、Automator.appを起動し、「シェルスクリプトを実行」を登録する。

• Mac OSの「サービス」メニューからシンボリックリンクを作れるようにする ‹ Mac ‹ emwaiblog

入力の引き渡し方法は「引数として」を選択。

シェルスクリプト部分を以下のように変更。

qmkの環境構築をしてたら、tmuxが起動しなくなった。

/Users/yhara % tmux
[exited]
^[[?62;4c^[[ITERM2 3.3.12n%

brew upgradeを^Cで止めたりしたせいか…？と思ったが、ps aux | grep tmux してみたら起動中のtmuxが一つあった。

killall tmux で当該プロセスを止めたら無事起動できるようになった。(参考)

Rust + LLVMで自作プログラミング言語Shiikaを作っているのだが、開発中に遭遇するエラーには以下の種類がある。

1. rustcがエラーを吐く(＝.rsに問題がある)。
2. rustcは通ったが、Shiikaのエラーが出る(＝.skに問題があるorバグで問題があると誤判定している)。
3. rustcは通ったが、llcがエラーを吐く(＝.llの生成に問題がある)。
4. llcが実行ファイルを生成したが、実行すると期待通りに動かない。

一番面倒なのはもちろん最後のケースだが、これもさらにいくつかの種類に分けられる。

1. 期待通りに動かないが、最後まで実行はできる(＝Shiikaで書いたプログラムに間違いがある)。