はてなブックマーク

本書ではTypeScriptの型と部分型関係がなす代数的構造を解説し、型についての強固かつ柔軟なメンタルモデルを構築します。 順序理論、集合論、束論、環論、そして圏論に至るまで、複数の数学理論を利用して多角的にモデルを構築することで、型の直感的な理解を深め、型の互換性に対する自然な推論を可能となるように解説した新しい試みの本です。

宣伝 (本を作成しました) この記事についての発展的研究内容を以下の本としてまとめました。この記事を読んで興味が湧いたら、ぜひ読んでみてください。 はじめに 前回の記事 では TypeScript における型の拡大 (Widening) について解説しました。Narrowing の記事を書く前に (Widening を深く理解するためにも) 必要な知識や考え方がいくつかあると思ったので、今回は型の集合性と階層性について見ていきたいと思います (短いですが内容的に切り出してもかなり興味深いので)。 この記事の最後で別の型の変数同士で代入できるかどうかを示す「Assignability (代入可能性あるいは割当可能性)」について解説しますが、集合と階層の概念で考えることで見通しが非常によくなり、型一般についてもスッキリと理解できることが多くなります。また、never や unknown といっ

はじめに 前回の『TypeScript の Narrowing』の記事では Narrowing について集合論的なアプローチでどのようなものであるかを解説しました。この記事では、より実用的な Narrowing の基本パターンを解説します。 この記事は基本的には TypeScript 公式 Handbook の『Narrowing』のページを参照して解説しています。集合論的な話はすでに前の記事で行ってしまったので、この記事は公式ドキュメントのまとめ的な自分用のアウトプットとなります。 代入による Narrowing CFA での典型的な Narrowing パターンの解説に入る前に、もっと基本的な Narrowing について見ておきます。 前前回の記事を見て入れば Widening を知っているわけですが、実はその過程ですでに Narrowing についても知っています。というのも、ユニ

はじめに この記事では、Widening(型の拡大) の対となる Narrowing(型の絞り込み) について解説します。 Narrowing は多くの記事や解説において 型ガード (type guard) と呼ばれる用語に基づいて解説されますが、Narrowing のキーワードで包括的に解説するのが公式ドキュメントでも行われているやり方です。 実際、型ガードよりも対概念である『Widening(型の拡大)』や『型の集合性』などを加えて Narrowing として考えた方がそれぞれについてよりスッキリと理解することが可能になります (特に判定可能なユニオン型などについてはそうです)。 型集合 おさらいとなりますが 前回の記事 では、型は以下の図 (fig 1) のように具体的な値の集合であると解説しました。単位型 (Unit type) である具体的な値から作られるリテラル型の集合によって

この記事は Zenn の Book の方で公開している『イベントループとプロミスチェーンで学ぶ JavaScript の非同期処理』で収録済みのチャプターから記事として切り出したものになります (チャプター単体でも記事になるものとして判断して公開しています)。 この記事は JavaScript の非同期処理を学習した人間が Promise や非同期処理を介して逆に TypeScript の型注釈を理解しようという試みの記事になります。 実は Promise の型注釈や TypeScript の非同期処理の解説については以下のように既にいくつも有用なリソースがあります。 Promise / async / await | TypeScript入門『サバイバルTypeScript』 イベントループと TypeScript の型から理解する非同期処理 今回は初学者の目線からアウトプットを兼ねて自

はじめに JavaScript の「非同期処理」ってやっぱりかなり難しくないですか？ 自分も色々試行錯誤しましたが、結局「完全に理解した🤓」→「やっぱり何も分からん😭」っていうループの中で泥臭く理解を深めていくしかないようです。 さて、非同期処理の制御をある程度予測できるようになるには、非同期 API を提供する環境のことやイベントループ、マイクロタスクなどの仕組みについて理解する必要があります。 そして環境に埋め込まれた JavaScript Engine のことも理解する必要があります。 今回の記事では、JavaScript Engine の１つである V8 が内部で変換するコードから async/await の挙動を理解するための解説を試みたいと思います。V8 エンジンからアプローチすることで async/await の分かりづらい挙動を掌握して非同期処理を打倒します。 今回の記

はじめに JavaScript の非同期処理を学習してみて「ある程度自信を持って理解できたと言える」状態に到達したので、その感想とまとめの学習ロードマップとその中でどのような知識が必要になるかを紹介したいと思います。 あるいは、自分が実際に学習してきた道筋に基づいているのでショートカットとして参考にしてもらったり、使えるリソースなどの情報が共有できると思います。もしくは「JavaScript 初心者が非同期処理を理解できるようになるまでの道筋」というストーリーで１つのサンプルとして見ていただけるといいかもしれません。 ChangeLog 大きな変更のみをトラッキングしています。 2022-11-16 本の内容を反映させた追記・修正を追加 2022-05-21 構成を修正 「V8 エンジンから考える」の項目を追加 2022-04-30 「イベントループの共通性質」の項目を追加 「ロードマップ

はじめに 今回は、fish shell の学習の大詰めとして、環境変数である PATH に新しくコマンドサーチ対象ディレクトリを登録する、つまり「パスを通す」方法への最終解答を紹介します。 Changelog 2022/03/09 追記 「set -Ux の問題」について書いていた項目に間違いがあったので修正しました。 2022/03/12 追記 「変数のスコープルール」の項目を追加し、エクスポートルールの部分を修正しました。 付加的な項目を「研究」にまとめました。 2022/03/13 追記 v3.4.0 がリリースされ、調整された fish_user_paths の項目を修正しました。 スコープ関連も追記しました。 パスや環境変数についての話は鬼門で、意外とちゃんと設定するのが難しいです。自分もなかなか上手く行かずに調査を繰り返しました。 fish 関連の記事をいくつか書きましたが、「

はじめに 以下の URL にて npm や TypeScript を使ったプラグイン開発に関する記事を書いた際に npm に関するわからなかったこと、主に「npm の依存関係と package-lock.json」について調べてみました。 そもそも Obsidian のプラグイン開発において Github のリポジトリから clone したリポジトリで手動でビルドする必要があり、npm i で必要なパッケージが node_modules というディレクトリにインストールされるということは知っていたが、node_modules ディレクトリになぜこんなにも多くのパッケージがインストールされているのか疑問だった。package.json ファイルの dependencies の項目に記載されているパッケージが動作に必要で devDependencies は開発に必要なパッケージであるということ

はじめに 前回、上記の記事で「npm の依存関係と v7 のロックファイル」について調べた。 その後色々と調べたり試しているうちに、勘違いしていたことや分かっていなかったことがいくつもあったため、それらについてのまとめを作成したいと思う。 ChangeLog 2022-11-29 npm ci についての記述を追加 v8 と v9 についての記述を追加 pnpm などのシンボリックリンクベースのディレクトリ構造についての記述を追加 2022-03-30 リントミスを修正 誤字脱字・分かりにくい日本語などを修正 全体的に補足をいくつか追加 2022-03-31 Phantom dependencies についての記述を追加 そもそも 前回の記事では chalk や cowsay などパッケージを実際にインストールして、ロックファイルの構造や依存関係のことを調査した。その調査の結論としては、「

はじめに 久しぶりの Zenn の記事ですが、Obsidian October 2021 のイベント開催を記念して Obsidian でのプラグインの作り方を紹介したいと思います。偶然なのですが、ちょうど自分も初のプラグインを作成しコミュニティプラグインとしてリリースしたので、自分自身のアウトプットも兼ねてプラグイン開発について ゼロから 説明する記事にしたいと思います。 今回は、初心者の方がプラグインを作ってみたいと思った時に役立つ開発のやり方と公開までのロードマップを初歩から解説します。長い話になるので複数回の記事にする予定で、これが第一回目となります。 イベントの詳細については下のリンクから確認してください。 対象読者 Obsidian のコミュニティ開発に興味ある方 Obsidian に限らずツールのプラグイン開発に興味ある方 ノンプログラマーだけど開発をやってみたい方 今回の記事

はじめに 前回のOHZフローについての記事から更に応用的運用を行うためのフローについての Book につながる内容です(現在作成中)。 今回は Obsidian 内部のナレッジベースからAnkiへとフラッシュカード化する方法とそのプラグインを紹介します。前回は OHZ フロー(Zenn & Hugo in Obsidian)だったので、今回も暫定的にOTA(Obsidian To Anki)フローと呼んで名称の簡略化と概念化を行います。 Obsidian とこの記事で紹介するプラグインの両方とも開発の中途段階なので今後様々な変更があると思われます。注意してください。 現在の環境は以下です。 Obsidian: insider v0.10.4 Obsidian_to_Anki: v3.4.1 また著者も研究途中の場所があるのでその部分には触れていません。今後この記事を更新する際に順次追加する

はじめに Zenn や Hugo を Obsidian で利用して運用するためのアイデアとその方法をまとめました。スクラップ上でまとめたもの を記事化してます (追加の内容あり)。 日本ではまだ広く知られていない PKM 周りの概念や新たなツールの紹介も含むの分かりづらいところや説明が長くなってしまう部分もありますが興味を持っていただければ幸いです。 また、ここで紹介するやり方は Obsidian の公式で紹介されてないような応用的な使い方になるので潜在的な問題があるかもしれません。自己責任の元で適宜各ディレクトリのバックアップを行いながら環境構築をしてください。(自分の環境では現在のところ特に問題は発生していません)