Yutaka Hara

メモです。What Color is Your Function? – journal.stuffwithstuff.comasync/awaitを実装した言語では、asyncな関数とそうでない関数が区別されるつまり、async funcを受け取るメソッドにnormal funcを渡すことはできない（逆もしかり）そのために、.mapと.mapAsyncみたいに各APIにasync版と非async版が必要になるhttps://blog.yoshuawuyts.com/announcing-the-keyword-generics-initiative/keyword genericsという案なぜasyncな関数と普通の関数は互換性がないのかasync funcはステートマシンにコンパイルされるから（いやまあ別にそういう決まりはないけど、JS/Rust/C#はいずれもそうしている）asyncを使わずに並行処理をやる方法はないのかある。一つはThreadただスレッドだけだと、時間がかかる処理をやっているスレッドは何もせず待っていることになるそういったスレッドばかりだと効率が悪いこのためJavaはvirtual threadという機能を試している一つはスタックフルコルーチンLuaのcoroutine、RubyのFiber、Goのgoroutineasync/awaitと違い関数に色がつかないその代わりコルーチンのスケジューラをランタイムとして持つ必要があるので、サイズを小さくしたい場面では不利Goをwasmで動かすことはできるがRust等と比べるとサイズがでかくなる一つは一級継続継続をゲスト言語レベルで扱える機能があれば、並行処理はユーザランドで好きに書ける（はず）継続にもいろいろあるが、async/await相当を実現するだけならSchemeのような継続でなく、delimitedかつone-shotな継続でよいOCaml Effecsは並行処理の下回りとして導入されたOCaml 5のEffect Handlerを調べてみる - QiitaOCaml 5.0のEffect Handlerのチュートリアルをやりはじめた - Arantium Maestum

asyncを使わずに並行処理をやる方法はないのか

ShiikaはずっとLLVM 12というわりと古いバージョンを使っていたのだけど、さすがにそろそろ上げるか〜ということで16に上げた。Upgrade LLVM to 15+ by yhara · Pull Request #507 · shiika-lang/shiika一番でかい変更は、LLVM 15からOpaque pointer typeがデフォルトになったこと。つまりi8*や%Object*みたいな「◯◯へのポインタ」型が、pointee typeがなくなって全部ただのptrになった。これによってコード生成がシンプルになる…のはそうなのだが、変なLLVM IRを吐いてしまったときにclangでチェックされずに実行時にSEGVすることになるので、どうも不安な気持ちだ。ともあれとりあえず既存のテストが通る状態にはできたのでマージした。

Shiika開発日記: LLVM 12から16に上げた

これ。2022年中には完成させたいと思ってたので間に合ってよかった。🎅メリークリスマス🎄 #KEEB_PD_TYPING #KEEB_PD #KEEB_PD_R128 pic.twitter.com/MigXrofM8n— yhara (Yutaka HARA) (@yhara) December 25, 2022 ↑演奏動画。先に言っておくと霞襲の組み立てはなにも難しくないです（僕が無駄に手間取っただけ）2月メルカリでkuriharaさんから基板を購入。３月組み立てを開始したっぽい。https://twitter.com/yhara/status/15050543171996303374月せっかくなのでPRK Firmwareを使ってみるかということでSparkFun RP2040 Pro microを入手。AdaFruit KB2040での動作報告を参考にするが、うまく動かない https://twitter.com/yhara/status/15130514222959943715月Pro microが届いたので動作確認する。なんかホットスワップだと思いこんでたことに気づく  https://twitter.com/yhara/status/1530367333927006208lesovozを組み始めたので、いったん後回しに。https://twitter.com/yhara/status/15232415485064519696月はすみさん(PRKの作者、松江市在住)に実機を見てもらう。 コンスルーは2.5mmではなく3.5mmでないとだめでは？という話に https://twitter.com/yhara/status/15384252442095288327月Pro micro付属のピンヘッダで、足を「延長」することを思いつく。 https://twitter.com/yhara/status/1550099183222542336Zincを組み始めたので、いったん後回しに。https://twitter.com/yhara/status/15511451694073118738月cocot46plusを組んでた。https://twitter.com/yhara/status/15638287451520819209月そろそろ再開するかということで5pinのキースイッチを発注。その間にImposter MacroPadを組んでた。https://www.instagram.com/p/Ci9IDkFrjpE/?hl=ja10月届いたキースイッチが微妙に違うことに気づく。CAP V2 Gold BrownのはずがGold Yellowが入っていたので(ややこしいよね)、Brownを送り直してもらうことに。このへんで、いったんRP2040 + qmkという構成を試す。keyboards/ez_maker/directpins/rp2040というのがあるんだけどAdaFruit用なんだよね。SparkFunではどこを変えればいいのかなかなか分からなかったけど、仕様書とかを見つつ最終的にこうなった。https://gist.github.com/yhara/4e645a25b8821063bb0cf455ed283af8で、目処が立ってきたので「どうせならLEDも付けたいな…」という欲が発生。秋月電子でSK6812MINI-Eを発注。11月LEDが届くが、案の定難航。Zincのときも失敗してるんだよなあ。Discordで質問した形跡がある。https://discord.com/channels/376937950409392130/970671137623265321/1040832074216636576pro micro + qmkRP2040 + qmkRP2040 + PRKの順で動かしてったんだったかな。12月ここまでまだ実はLED以外はんだ付けしてない。前述のようにコンスルーではないので、pro microを穴に半挿しして無理やり動作確認していた。とはいえ最終的にはもちろん付けないといけないので、端のキースイッチから順に付けていった。難しいのがpro microと重なる位置のスイッチで、順番的にはキースイッチを先に付けないといけない。でもそうするとそのあとpro microをはんだ付けするときにちょっと邪魔なんだよね。ピンヘッダの足がけっこう長いし。たぶんピンヘッダの足を少し切りそろえるのが正解だったと思うんだけど、今回はそれに気づかず付け始めてしまったので、細いコテ先を買うという力技で解決した。今回使ったのはT18-BR02。先が曲がってるので、今回のような変なケースにぴったりだった。先が細いのでランドが温まるのがかなり遅かったけど、うまくいったのでヨシ。ここまで来れば、あとはキーキャップを付けてキーマップを設定するだけ。あそうだ、ピンヘッダで延長している関係上、pro microがケースから少しはみ出しちゃうんだよね。これをどうしたかというと……、100均でかさ上げに使えそうなものを適当に見繕ったところ、ゲル素材の耐震マットがあったので、これをカッターで切って四隅に付けてみた。透明なのでKEEB_PDの写真でもあんまり目立ってない。「霞」の名の通り、すこし宙に浮いてるような雰囲気もあり、わりと気に入っている。付録：keymap.rbkbd = Keyboard.newkbd.init_direct_pins(  # For SparkFun RP2040 ProMicro  # https://learn.sparkfun.com/tutorials/pro-micro-rp2040-hookup-guide  [2, 3, 4, 5, 6, 7, 8, 9,   29, 28, 27, 26, 22, 20, 23, 21]  # See this if you are using Adafruit Kb2040  # https://github.com/alg0002/PRK_Firmware_keymap_rb/blob/main/Kasumigasane/KB2040/keymap.rb)#kbd.add_layer :default, %i[#  KC_1 KC_2 KC_3 KC_4#  KC_5 KC_6 KC_7 KC_8#  KC_9 KC_0 KC_A KC_B#  KC_C KC_D KC_E KC_F#]kbd.add_layer :default, %i[  KC_M KC_2 KC_3 KC_4  KC_C KC_V KC_B KC_N  KC_O KC_P KC_Z KC_X  KC_T KC_Y KC_U KC_I]rgb = RGB.new(  1,    # pin number  0,    # size of underglow pixel  16,   # size of backlight pixel  false # 32bit data will be sent to a pixel if true while 24bit if false)rgb.effect     = :breathrgb.speed      = 31  # 1-31  / default: 22rgb.hue        = 10  # 0-100 / default: 0rgb.saturation = 100 # 0-100 / default: 100rgb.value      = 10  # 1-31  / default: 13kbd.append rgb kbd.start!

マクロパッドを組むのに１年かかった話

SteamのLuck be a landlordというゲームをプレイした。邦題は「幸運の大家様」。スロットをプレイして家賃を稼ぐゲームなんだけど、アイテムをゲットすることでスロットの中身を書き換えられるので、うまいこと強いデッキになるよう構築していく…という感じ。最初は適当にやるしかないんだけど、やってるうちにアイテム同士のシナジー関係がわかってくると俄然楽しくなってくる。例えば宝石を集めるデッキとか、動物を集めるデッキとか、トランプを集めるデッキとか。とはいえスロットの出目は4x5＝20マスしかないので、アイテムを取りすぎてもいけない。たとえば「鍵」はいろんな宝箱を開けられる強いアイテムだが、総数が20を超えていると毎回引けるとは限らないわけだ。一度取得したアイテムは簡単には手放せないが、それでも手段がないわけではないので、チャンスがあれば弱いアイテムを捨ててデッキを圧縮していこう。ゲーム画面はこんな感じ。荒い目のドット絵がいい。アイテムはスロットの出目以外に装備するタイプのものもあって、例えば左に見えている『ギロチン』は『大富豪』を手札から除去でき、除去するたびにボーナスが入るというもの。こういう感じで同じアイテムでもゲームの進行ごとに重要度が変わる楽しさがある。欠点というか注意点としては、日本語訳が微妙で、いったん英語モードにしないとアイテムの効果がよくわからないものがいくつかあった。いいところは後あれだな、トランプの達人とかフルーツのおばさんとか、力の抜けた独特の世界観が好き。

Luck be a landlord ("幸運の大家様")をプレイした

こんばんわ。本記事は言語実装のカレンダー | Advent Calendar 2022 - Qiitaの24日目の記事です。Shiikaは私が作っているRuby風の文法をもつ静的型付け言語です。静的言語はだいたい性能を重視した設計になっていることが多くて、動的言語は書きやすさを重視した設計が多いのですが、「静的だけど書きやすさ重視の設計」にすることで、静的なエラーチェックと書きやすさを両立したいと考えています。「Rubyっぽい手触りの静的言語」を目指しています。2022年の主な進捗パターンマッチenumに対し、match x when Some(y) ... とかでパターンマッチできるようになりました。これがないと始まらないよね。ModuleRubyのModule(Rustでいうとtraitみたいな)を実装しました。実現方法はSwiftのwitness tableというやつを参考にしました。型推論一部の典型的なケースについて型推論を実装し、具体的にいうとブロックパラメータの型と、メソッド単位の型引数をプログラマが書く必要がなくなりました。nums.map<String>{|n: Int| n.to_s} みたいに書かないといけなかったのが、nums.map{|n| n.to_s}で済むようになりました。快適。来年の予定FileやIOクラスなどを足しつつ、Rustとのインテグレーション周りを改善していく予定です。文法面では可変長引数・キーワード引数はいつかやりたい。あとはパッケージマネージャ…？（夢）最後に、プログラミング言語処理系が好きな人の集まりおよびその定期ミートアップ - prog-lang-sys-ja参加者のみなさまには大変お世話になりました。来年もやっていきましょう。

Shiika進捗(2022年)

Nintendo Switchで『TUNIC』をプレイした。TUNIC ダウンロード版 | My Nintendo Store（マイニンテンドーストア）Steamのウィッシュリストに入れてたんだけど、座椅子でゲームしすぎると腰を壊すことがわかったのでSwitch版にした。Switchは椅子に座らないといけない位置に設置してあるので大丈夫（携帯モード？それは…)TUNICとは小キツネが主人公のアクションゲーム。巷ではソウルライク、ゼルダライクと言われてるようだけど両作ともプレイしたことがないのでそのへんはなんとも。最序盤は剣すら持ってなくて、敵は強いしどうなることかと思ったけど、徐々に操作にも慣れてきてなんとかBエンドまでクリアできた。(実はAエンドはクリアしてないのは内緒)良かったところ謎解きとアクションのバランスがいいところ。それと、至るところに仕掛けがあるところ。プレイ中は自分のプレイと、他人のプレイ動画の鑑賞(主にLayerQさんの)を交互にやっていた。「あーそこ実は宝箱あるんだよね〜」とにやにやしたり、「えっそんなとこ登れるの！？」とびっくりしたり。【前置き】TUNIC をふつうに実況プレイ No.000【小ギツネのふしぎな冒険】 - YouTube気になったところ(以下ネタバレあり）謎解きとアクションのバランスがいい…のは中盤までで、最終的に謎解き100%になっちゃうんだよね。といいつつラスボスの第二形態で音を上げるような腕前なんでこれ以上難しくなっても困るといえば困るんですけど。あとは謎の文字を見て、すわ言語学オリンピックか！？と思ったんだけど、独自言語でなかったのが少し残念…ってこれはさすがにマニアすぎですね。

TUNICをプレイした

Shiikaなんかいろいろやった。主なのはこのへんかな。メソッドの型引数の型推論https://github.com/shiika-lang/shiika/pull/415Timeクラスの追加https://github.com/shiika-lang/shiika/pull/413で、v0.7.1をリリースした。11月は非互換を入れて、次のリリースはv0.8.0にする予定。本『オメガ城の惨劇』を読んだ。SAIKAWA Sohei's Last Caseという物騒な副題が付いてる通り、『すべてがFになる』の犀川先生が出てくる森博嗣のミステリ。あとは、う〜ん何書いてもネタバレになってしまうな。ゲームOrdinal Markupをクリアした。クリアっていうか、裏ステージ(incrementyverse)が途中までしか作られてないので、その端まで行った。incremental gameの中でもかなりとっつきにくい部類に入ると思う。他人にはおすすめしづらいけど最後までやる程度には面白かった。

2022年10月

そのうちやりたいなと思ってたVampire Survivorsをプレイした。面白かった。これは今年のベストゲームだなあ。一週間ちょいで実績全埋めするペースでやってたら腰痛になりかけたし、目を閉じると経験値アイテムの残像が見える始末。スクリーンショットを見ればわかるようにインフレするアクションゲームなんだけど、単に敵と弾をたくさん出せば面白いかというとそうじゃないんだよね。敵が弱すぎると単なる作業になっちゃうし、強すぎても楽しくない。クリアできるかできないか、というギリギリのラインでないといけない。Vampire Survivorsの場合はこのへんの調整がよくできてて、その秘密の一つは「ユーザに難易度調整を任せる」という仕組みだ。各ステージはHyper/Hurry/Mirrorみたいな強化モードがあって、通常モードでは簡単すぎる場合の対策になっている。また1回のプレイでは最大１２種類の武器・アイテムを入手できるが、これも「序盤に強いもの」と「終盤に強いもの」があり、後者を揃えようとすると自然と前半はぎりぎりの戦いになる…みたいな。環境についてM1 MacBookProでプレイした。ときどきGC中みたいな固まり方をすることがあるけど、まあまあストレスなく遊べた。最初はキーボードでやってたけど、Switchのプロコンが使えることがわかってからはそっちでやっていた。M1 Macでも動くのかわからなかったのでとりあえず有線でつないでみたらすぐに認識してくれて簡単だった。Steamクライアントがそのへんをやってくれるんだねえ。なんかメニューで決定ボタン押すと二重に押される？みたいな現象があったけど、ゲーム中は快適だった。最後の実績について「Queen Sigmaで10万キル」が最後まで残った。せっかくなのでクリアした方法を書いておく。ステージGallo Tower + Hyper + Hurry + Mirror (30分ステージなら他のとこでもいいかも)アルカナ最初にXX(武器が少ないほど有利), XIII(Curse等が増える), VIII(アイテム引き寄せ)を取るあとはまあなんでもいいのかな？今回はVictory Swordに効くIXとXMにした。メインデフォルト武器のみ。キャラ選択画面で武器数を1にしておくこと(でないとレベルアップ毎に次の武器を聞かれるので面倒)サブとにかくCurseを稼ぐ。Sigmaはほぼリロール仕放題なのでやりやすいはずまずSkull O'ManiacとTorrona's Boxを取る残り4枠を適当に(しかし速やかに)埋める。Victory Swordに効くのはSpinach、Candelabrador、Bracer、Duplicator、Empty Tomeの5種。ただしステージに落ちているものは後回しにする。あとは、経験値が早く貯まるCrownとAttractorbも良いかも。落ちているGold RingとMetaglio Right(「←」の方ね)を取るこれらのレベルを上げ終わったらSilver RingとMetaglio Leftを取るまあとにかくアルカナXXが強いね。このビルドでCurseが最終的に+558%になって、敵は異常な速度で動くし、画面はチカチカするし、Sole Solutionが発動するたびに背景が宇宙になって、"終わり"にふさわしいカオスだった。

Vampire Survivorsをプレイした

月報を再開する。面倒になってきたという理由でやめてみたのだけど、一月ごとに進捗をまとめる作業がないと「進んでる感」を感じられなくてよくない、ということがわかってきた。あとは締切のない趣味開発だとしても大まかな計画があったほうが、「今月末には○○ができているはず」という期待ができてよい。Shiika型推論定期ミートアップ 第33回 - yharaの頭の中"Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"という論文の型推論アルゴリズムをShiikaで実装した。 https://github.com/yhara/BidirectionalTypechecking 実装したというかRust版の移植だけど。最初はRust版を読むだけで理解できたらいいなと淡い期待を抱いてたんだけどさすがに無理だったので論文のほうもざっくり目を通した。で、肝心のShiikaに使えるかどうかだけど、Shiikaはメソッド呼び出しという概念があるのでそのままでは適用できなそうだった。しかし改めて推論したい箇所を整理してみると、いくつかの頻出パターンの推論をやるだけでだいぶ快適になることがわかったので、それをやることにした。Timeクラス定期ミートアップ 第34回 - yharaの頭の中組み込みのTimeクラスの設計をした。localtimeだけでよければ簡単に使えて、タイムゾーンを扱う場合もそれなりに対応できる、というところを目指すつもり。実装も始めたけど、無限にyak shavingが発生している。https://github.com/shiika-lang/shiika/issues/409proc macroの解説記事を書いたりした。syn crateを使ってproc_macroを書く (part.1 解析編)syn crateを使ってproc_macroを書く (part.2 生成編)10月の予定Timeクラスを完成させる。if letがないと辛すぎるというのがわかったので、それを入れる。それに伴い、普通の変数宣言もlet必須にするかも？大きい非互換なのでやるなら早めにしたい。method_tyargsの型推論

2022年9月

part.1の続きです。 コードを生成する必要なデータが取れるようになったので、コード生成部を書いていきます。最初に概形を示します。#[proc_macro]pub fn shiika_method_ref(input: TokenStream) -> TokenStream {    let _spec = parse_macro_input!(input as ShiikaMethodRef);    let mangled_name = "a";    let function_definition = "b";    let parameters = "c...

syn crateを使ってproc_macroを書く (part.2 生成編)

こんにちは。yharaです。私はShiikaというプログラミング言語を作っているのですが、その過程でこんなコードを書くことがありました。extern "C" {    #[allow(improper_ctypes)]    pub fn Meta_Array_new(receiver: *const u8) -> SkAry<SkObj>;}pub fn meta_array_new(receiver: *const u8) -> SkAry<SkObj> {    unsafe { Meta_Array_new(receiver) }...

syn crateを使ってproc_macroを書く (part.1 解析編)

Evolveがめっちゃ面白いのに放置ゲーwikiにページがなかったので簡単な攻略を書く。https://pmotschmann.github.io/Evolve/最序盤Evolveという名前にふさわしく、DNAとRNAから始まる。操作は、クッキークリッカーみたいなものと思えばだいたい分かるだろう。2022年現在は日本語未対応なので、英和辞典を引きながら頑張ろう。しばらくするとDNAやRNAを自動生成するボタンが出てくる。ただしこれらは無限に増えるわけではなく、上限が決まっている。表示が「RNA 125/500 20.09/s」となっていたら、RNAは1秒に20.09だけ増えるが、500でストップするということ。文字が赤いボタンは、現在の上限以上のリソースが必要なため今のままでは押せるようにならないという意味。まずは上限を増やすボタンを探そう。しばらくすると進化の方向を選ぶ選択肢が出てくる。このゲームでは人間だけでなく、水生生物、昆虫、果ては植物やキノコを知的種族に進化させて文明を築くことができる。各種族はそれぞれ固有の特徴を持つが、どれを選んでもゲームの大まかな展開に違いはない。食べ物を確保しよう種族が決まったら、木を切り石を集めて集落を作ることになる。最初はすべてあなたが行う必要があるが、村人がやって来れば仕事を任せることも可能だ。そのあとは、食べ物を安定して確保することが何よりも重要だ。特に農業を行う種族は天候によって収穫に変動があるので、悪天候が続いても枯渇しないくらいの備蓄を持とう。それさえ守れば、その他のリソースについては収支がプラスである限りそこまで神経質に管理する必要はなく、ブラウザを開いたまま数時間放置したりしても問題はない（念のため、Settings - Save as Fileでこまめにセーブしておいたほうが良いとは思うが）。大事なことそのあとは、ネタバレを避けるためあまり多くは語りたくないのだが…一つだけ大事なことを書いておく。「Plasmidの消費は慎重に！」今はまだ何のことかわからないと思うが、Plasmidはゲームスピードに大きく影響するわりに入手頻度の低いボーナスアイテムなので、適当に消費しないのが賢明だ。最初のリセットどこを目指すかは、ゲームなので自分の好きに決めればよいのだが、いちおう想定されているルートを以下に貼っておく。https://pmotschmann.github.io/Evolve/wiki.html#resets-gameplayこれによると、「絶対に押すなよ」という雰囲気の危ないボタンが最初のゴールであるようだ。その他Militaryについて。戦闘は必須ではないが、敵が襲ってくるイベントはあるのである程度の備えはあったほうがよい。

Evolve Incremental 日本語攻略記事

こんばんは。yharaです。メリークリスマス！本記事は言語実装 Advent Calendar 2021最終日の記事です。昨日は@sisshiki1969さんのrurubyのガベージコレクタとアロケータでした。 Shiikaの2021年Shiikaは私が作っている静的型付け言語です。今年はenum、パターンマッチ、Maybe型といろいろ機能を足しました。来年はModuleと型推論をやる予定で、そこまでできると当初考えていた言語仕様が一通り揃います。いやー楽しみですね。はやくShiikaで実用的なプログラムを書きたい。 全てがオブジェクトShiikaはRubyの影響を強く受けて...

Shiikaの型システム - メタクラスとジェネリクス

本稿はRubyアドベントカレンダー2021-2の1日目の記事です。今年の3月に作ったsimple_twitterというgemの紹介をします。https://github.com/yhara/simple_twitter simple_twitter gemとはTwitter APIのクライアントです。twitter gemと比較して、Twitter API v1/v2に両対応している極めて薄いラッパーであるという特徴があります。 Twitter API v2TwitterのAPIには長らく使われてきたv1と、新しく作られたv2の2種類が存在します。v2はhome...