追記：いくらなんでもあまりにも長いので、配列演算に焦点を絞ってより「Rustっぽさ」の気持ちを強調した姉妹編を書きました。手っ取り早く雰囲気を掴みたい方はこちらもどうぞ。 TL;DR GHC 9.0 から Haskell に入った線型型（Linear Types）の機能を一部割とガッツリ使ってみたので、Linear Haskell の現在の使い心地と将来の展望を報告するよ。 使おうと思えば使える段階にあるけれど、一部バグもあるし、まだ言語機能面で実装が追い付いていない部分もあって、快適に書けるようになるにはもうちょっと掛かるよ。それでも実用しようと思えばできるレベルにあるよ。 RustのようになるにはLinear Constraintsに期待。 更新履歴 2023/12/15 11:45 姉妹編へのリンク追加。 2023/10/01 12:30 線型性を納得してくれない場合の \eta-展

プログラミング指南 - Code Knowledge ゲーム制作に関するプログラミング等を主に書き溜めていきます。ただ、どちらかと言えば日記的な書き方が続くと思いますが、そこは温かい目で見て頂ければ。あと、ちょっとしたサンプルやツールのダウンロードも出来るようにしておきます。 先日 X (Twitter) でこんなポストを頂きました。 Z80関連の情報を収集していたら、内藤さん(@NAITOTokihiro)の記事がヒット😃https://t.co/JcQKSeTLpn ループは速い方が嬉しいですよね😆 ということで、自分も考えてみました☺️ 数値上はDJNZより速い12clockですけれど、メモリーウェイトは如何程に影響あるものなのでしょうか…🤔 pic.twitter.com/fotBvfVn3Y — D.M.88 (@DM46374635) September 29, 2023

Raspberry Pi財団が「Raspberry Pi 5」を2023年9月28日(木)に発表しました。Raspberry Pi 5CPUにはArm製CPU「Cortex-A76」や独自開発のI/Oコントローラー「RP1」が搭載されており、CPUとGPUの性能がRaspberry Pi 4と比べて2～3倍に向上したとされています。 Introducing: Raspberry Pi 5! - Raspberry Pi https://www.raspberrypi.com/news/introducing-raspberry-pi-5/ Raspberry Pi財団が開発しているRaspberry PiシリーズはノートPCなどと比べて安価に入手できることから教育機関やハードウェア愛好家から大きな支持を得ています。Raspberry Pi 5はRaspberry Piシリーズのフラッグシッ

どんぐり陸士長 @Dongurihou 皆様こんにちはこんばんはそしておはようございます。韓国出身ですが帰化人です(天安門事件の大陸人と一緒にするなWinnie-the-Pooh台湾加油！)元自衛官で今はトレーラー運転手やってます！思いついた事を色々呟きますがよろしくお願い致します(あと歴史大好きです) プロフ画は@youyakuya様が描いて頂きました！ どんぐり陸士長 @Dongurihou とある青年 (エレクトロニクスの知識を活かせる電機メーカー落ちてもうた……なんか多角化してる花札会社に唯一受かったし、近いからそこに行こうか) 花札会社 「君機械をメンテナンスする部署に行ってな」 数年後 青年「めちゃくちゃ暇やないか！！！！……あーぁ、そこいらの機械で玩具作ったろ」 社長「お前それ持って社長室に来いや」 青年「オワタ」 社長「お前それを商品化してみろ」 青年「はぁ……」 140万