Brainfuck 実装で学ぶ TypeScript 型レベルプログラミング - Object.create(null)

2024/04/14 16 users TypeScript Brainfuck null 技法 実装

およそ 4 年前に「TypeScript で型レベル Brainfuck」という記事を書きました. susisu.hatenablog.com それから 4 年間の間に TypeScript も進化し, 型レベルプログラミングの技法にも大きな変化がありました. 特に顕著な影響があったものでは, TypeScript 4.0 のタプル型の改善 TypeScript 4.1 のテンプレートリテラル... 続きを読む

TypeScript 4.1で密かに追加されたintrinsicキーワードとstring mapped types

2021/01/10 11 users 小文字 Mapped Types 標準ライブラリ 全て大文字

TypeScript 4.1では、Mapped typesにおけるkey remappingやtemplate literal typesに付随する新機能として、標準ライブラリにUppercaseなどの型が追加されました。 上の例から分かるように、Uppercase型は一つの文字列を受け取る型関数で、文字列のリテラル型を渡すとその文字列中の小文字を全て大文字にした文字列のリ... 続きを読む

TypeScript 4.1による型レベルパーサコンビネーター

2020/12/11 17 users

はじめに これはTypeScript Advent Calendarの11日目の記事です。 TS 4.1で導入されたTemplate literal typesが世間で話題ですね。 TypeScriptのTemplate string typesで湧き上がる界隈の様子 - Togetter Template String Types でパス文字列を解析してクエリする - Object.create(null) (ネタ) TypeScript 型パズルで作... 続きを読む

TypeScript 4.1 に更新しました - Techtouch Developers Blog

2020/12/02 10 users Techtouch Developers Blog

この記事はテックタッチアドベントカレンダー2日目の記事です。 1日目は mistyによる Postman をチームで運用していくためにフォーク機能を使ってみた でした。 フロントエンドエンジニアの国定です。久しぶりにポケモンで遊び始めたのですが、PokemonHOME というマルチプラットフォームのクラウドサービスでポケモンを... 続きを読む

TypeScript 4.1 で追加された noUncheckedIndexedAccess とは何か

2020/11/26 7 users TypeScript zenn.dev https 前回

はじめに この記事は #EveOneZenn (Everyday One Zenn) の４日目です。 TypeScript 4.1 で新たに追加された --noUncheckedIndexedAccess オプションを紹介します。 https://devblogs.microsoft.com/typescript/announcing-typescript-4-1 前回： https://zenn.dev/lollipop_onl/articles/eoz-devtools-console-commands ... 続きを読む

TypeScript 4.1 の Template Literal Types がやばい - Qiita

2020/11/20 12 users Template Literal Types

Help us understand the problem. What is going on with this article? 続きを読む

Template String Types でパス文字列を解析してクエリする - Object.create(null)

2020/09/01 12 users Object.create Query foo null 感じ

※この記事に含まれる内容は TypeScript 4.1 のプレビュー版のものです. 今後仕様が変わり動かなくなる可能性もありますのでご注意ください. 話題の template string types で早速遊んでみます. ゴール .foo[1].bar といった形のパス文字列を型レベルで解析してクエリしちゃいます. こういう感じ: type R1 = Query<{ foo:... 続きを読む