never型

こんにちは。トグルホールディングス、プロダクトエンジニアのid:xtetsuji です。 トグルホールディングスエンジニアアドベントカレンダーの14日目の記事です！ 2003年から20年ほど、サーバで Perl を書いてログ処理や簡単なWebアプリケーションを書いたりする仕事をしていたのですが、2023年夏にトグルホールディングへジョインして TypeScript を書いています。 この記事では、正規表現の基礎は既知のものとして進めます。 正規表現「Perl から来ました」 Perl から来た人がつい書いてしまうのが正規表現。私も正規表現にたくさん助けられました。 JavaScript も当初…

never 型は値を持たないことを表現する型です。 never 型の値はあらゆる値に代入可能です。 const s: string = 1 as never; const b: boolean = 1 as never; never 型に代入できるのは、never 型のみです。 let nev: never; nev = "foo"; // ng nev = 1; // ng nev = "any" as any; // ng nev = undefined; // ng nev = "never" as never; 生成不可能な値の型は never 型に推論されます。 type Never…

こんにちは、Xイノベーション本部の米久保です。 こちらは、電通総研テックブログ アドベントカレンダー2024の12月10日の記事です。 はじめに 認知負荷 認知負荷理論 ソフトウェア設計と認知負荷理論 認知バイアス エラー まとめ 参考文献リスト はじめに ITエンジニア同士で会話するときに、「メンタルモデル」や「認知負荷」などの認知科学に由来する用語をよく耳にするようになりました。ソフトウェア開発は結局のところ人間によって行われる社会的な営みなので、人間の心のクセ、つまり認知特性に注目することはその活動をより良いものにする上で重要です。 デザインの領域では人間中心デザイン（Human-cen…

TypeScript の基本的な型定義をまとめました。 この記事は以下の構成になっています。 型注釈 型推論 基本の型定義 プリミティブ型 文字列 数値 boolean null undefined 配列 オブジェクト 関数 高度な型定義 リテラル型 any 型 unknown 型 never 型 タプル 列挙型 ユニオン型 インターセクション型 型エイリアス インターフェース 型エイリアスとインターフェースの違い ジェネリクス 型アサーション Promise readonly インデックスシグネチャ as const オプショナルチェーン 型ガード typeof keyof 型注釈 型注釈は…

2024-11-11 追記ここから ---- TS 5.8で、その１のインデックスアクセス型の方はサポートされそう。その２の方はその対応が入ってもサポートされない。 追記ここまで ---- 最初にまとめ 現在のTypeScript（2024-09-19時点のバージョン5.6.2）では Generics と Control Flow Analysis は、いい感じには連携しないということを学んだ。 どういうこと？その１ Genericsを使って型安全にやりたいなぁと思って、こんなコードを書いてみてもコンパイルエラーになる。 type Mapping = { a: boolean, b: stri…

「型がわかんねぇ」から卒業したい これまでPHPやPythonなど動的型付言語しか扱ってこなかったのであまり型について意識してこなかった。 はじめてJavaに触れたときは、型注釈が書かれていることへの強烈な違和感と気持ち悪さを感じたのを今でも覚えている（若干トラウマ）。 しかし、業務でTypeScriptに触れることになり、否が応でも静的型付言語に慣れなければならなくなったので、これを機に型と友達になろうと思う。 TypeScriptの型 TypeScriptには下記の型がある。 boolean number string Array Object tuple enum any Union L…

※本記事は、ChatGPTによる意訳+翻訳を活用し、レイアウト調整したものです。 ※感想は、オリジナルです。 原文 意訳+要約 なぜJavaScriptよりTypescriptが優れているのか ChatGPTへのQA Ｑ：一概にTypescriptが優れているとは言えないのではないでしょうか？ Ｑ：JavaScriptの難易度が高すぎるのが起因してる気がします JavaScriptの難しさが引き起こす問題点 TypeScriptの利点 感想＋雑記 原文 Why Typescript is better than JavaScript - DEV Community 意訳+要約 なぜJavaSc…

Software Design 2024年05月号を読んで、ちょこっとずつ感想を書いてます。 gihyo.jp 表紙 ハムスターになった…？！（これはこれでかわいい） 猫からうさぎに変わったのも、5月だったっけ…？ 今年はげっ歯類…！ということは、そのうちにヌートリアとかカピバラとかも？ 第1特集 型を制する者はTypeScriptを制す もっとTypeScriptの力を引き出そう 設計を変革するUnion型、構造的部分型 型についてガッチリやってくれそうで、この先読むのが楽しみ…！ 第1章：TypeScriptの力を引き出すための基本 普及した理由とメリット、学習の戦略 ......雫石 卓…

RBSのdocs/syntax.mdに記載されている untyped, void, top, bot の違いを理解したけど、また忘れそうなのでブログにまとめておく。 untyped どんな型でも代入できて、その変数を型検査の対象にしない場合に使う。 # ruby class User def greet(user) user.something end end # rbs class User def greet: (untyped) -> void end something メソッドの定義は存在しないのに、Steepの型検査でエラーは出ない。 No type error detected.…

弊社で毎月開催し、PHPエンジニアの間で好評いただいているPHP TechCafe。 2023年5月のイベントでは「型定義」について語り合いました。 弊社のメンバーが事前にまとめてきた情報にしたがって、他の参加者に意見を頂いて語り合いながら学びました。 今回はその内容についてレポートします。 rakus.connpass.com PHPと型 静的型付け言語 動的型付け言語 一般的な誤解 PHPの型 単一の式が持つ型 型システムで扱える型 never型について void型について self,parent,static型について resource型について evalでresource型を宣言すると…