TeX の世界を「依存解決」可能にする優れた方法

1. タイムマシンを発明します.
2. 1978年以前にタイムトラベルします.
3. Knuth 教授に「依存関係」記述の仕組みを TeX のコア機能に入れるよう説得します.
4. 素晴らしい世界が実現します.

TUG 2020 で話をすると決めたこともあり,久々に llmk のコードを大幅にいじりました.TOML シンタックスエラーの際に該当位置が明示されるようになったほか llmk_version, generated_target の2つのキーが新たに追加されました.そろそろリファレンスマニュアルも作成したいと思っています

なお TeX 言語の完全展開マクロコーディングのために必要な技法から容易に類推できる範囲での関数型風の書き方は全然苦痛じゃない()

Show thread

私は言うまでもなく手続き型脳なので,ごりごりの “関数型” だと読むもの書くのもかなり辛いけど,その感覚をもって関数型を否定したらまずいのは認識している.

Show thread

手続き型が読みやすいか関数型が読みやすいかは,完全に「慣れ」の問題だと推測していたのだけど,経験が長くても読みづらいままと感じる人がいるとしたら,必ずしもそうではないのかな……

これは,何の界隈であれ今新しく足を踏み入れていて,その中で長くやっていくぞという決心をもつすべての人にとても伝えておきたい感覚(老害)

Show thread

主張し続けることは辛い.それは間違いない.どれだけの人が途中で諦めて主張することをやめたことか.それは知っている.

確かに人の仕事を否定するだけで,自分は何も創作していないというのは不当だという感覚は私にもあって,チートシートを作ったり,TeX Live ガイドを翻訳したり,今度は learnlatex\.org の翻訳プロジェクト参画を計画していたりするけれども,それで「バランスが取れている」かどうかはわからない.

そりゃそうだけど,すごい「コスト」だよな…… それ以外に選択肢がないなら放置するしかないかな.

ほんの数年前の私は TeX 界隈の新参者で,正直怖い思いもしたけども,それはともかくそんなこんなで色々やっているうちに気付いたらあっという間に他者からみたら「TeX 界隈の真っ只中にいる人物」という認識をされるようになっていて,でも私自身はまだ “新参者” 気分なので色々アレなことになる.

悪ノリと陰口ばかりで,まともなコミュニケーションが不足しがちなんじゃないかね.まぁ私もそれに加担している部分あるのは認めるけど.

Show thread

いや引退するって言っているんじゃなく,こんな風にミスコミュニケーションの状態が続くならそれも検討することになるだろうと言っているだけです.そうやって引退していった人はかつて TeX 界隈にもいたし,他の OSS 界隈にもたくさんいたし,歴史の繰り返しに過ぎない.

Show thread

心折れるので,公益を目的とした一切の指摘活動と,もう面倒なのでドキュメント整備の活動も,引退しようかなとなってくるよね.この状態だと.まぁ私の代わりなんていくらでもいるので誰も困らないでしょう.

で,私自身の見解表明だって,もっと詳しい人のチェックの対象になっているわけで,そういう現状の中で個人攻撃を受けるいわれはないはず.私の物言いがきついというのはあるかもしれないけど,それならその箇所を具体的に指摘するべきで,そうでないなら私への人格攻撃としか捉えられない.

Show thread

用語についてはちょっと厳しすぎるぐらいだったけど(私個人の主張は,私だって公的な存在ではなく個人なので,個人の見解を述べただけだけど)例えば「LaTeX で別行立て数式に $$ を使っていい」とかは本当に害があるわけで,それの指摘を封殺されることの正当性は本当に理解できないよ.

Show thread

いや本当におちょくるとか,婉曲にけなしてくる(仮定の話という体ではあるとはいえ「(個人)のせいで(悪い影響)が起きている」と証拠なしで言われるのはかなりなんというか……)のではなく,どうすべきなのか規範を示して欲しさはある.

C, Perl, Vim, TeX

これらの共通点なーんだ?

LuaTeX なら luasocket があるから何とかメッセージングサービスのクライアントも実装できるかもしれないぞ←

Show thread

あっ,違うのかな? あれもしかしてバックエンドで通信が行われて,まじで「トークができる」だったのかな……(誰得機能)

Show thread

イニシエの組版システムでもトーク画面風レイアウトは比較的容易に実現できるらしい.
tex.stackexchange.com/a/239511

Show more
Mastodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!