Union型

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

Pythonでアノテーションを使用する方法 1. 変数のアノテーション 2. 関数の引数と戻り値のアノテーション 3. 型ヒントの拡張 4. アノテーションの利用 5. アノテーションの制約 Pythonでアノテーションを使用する方法 Pythonのバージョン3では、アノテーション（型ヒント）を使用することで、変数や関数の引数、戻り値の型を明示的に指定することができます。 これにより、コードの可読性や保守性が向上し、IDEや型チェッカーが型情報を利用して静的解析を行うことが可能になります。 アノテーションはPythonの型ヒントシステムを利用しており、実行時には型チェックを強制するものではあり…

こんにちは、すべての型をバクソクにしたいypresto (プレスト) です。 バクラク請求書受取の開発チームのエンジニアをしています。LayerXには1月に入社しまして、初のブログです。 ベッテク月間の7月11日32時の投稿となります。 5月11日の話になりますが、TSKaigi 2024で30分の登壇をさせていただきました。先日こちらのアーカイブ動画が公開されましたので、よろしければご覧ください！ youtu.be TypeScriptの型とパフォーマンス (TSKaigi 2024) - Speaker Deck 登壇の内容について 今回の登壇では、TypeScriptを使ったプロジェクト…

TypeScriptで数値と文字列の要素で構成された配列をUnion型で表現 数値と文字列の以外の要素もUnion型で表現できるのか TypeScriptで数値と文字列の要素で構成された配列をUnion型で表現 TypeScriptでは、数値と文字列の要素で構成された配列をUnion型で表現することができます。 これを行うためには、配列の要素の型をnumber | stringと指定します。 以下はその例です。 // 数値と文字列の要素を持つ配列を定義 let mixedArray: (number | string)[] = [1, "hello", 42, "world"]; // 配列の…

Rubyをはじめとする「動的型付け」のプログラミング言語は、ソースコード中に型に関する記述が陽に出てこないことが特徴で、プログラムの実行前に（静的に）型検査をすることはありません。しかし、このようなプログラミング言語においても、大規模な開発における品質の向上や開発体験の改善、実行の高速化のために、静的な解析を活用しようという試みは多くなされてきました。この記事では、動的型付けの言語のための型検査の歴史を簡単に振り返って、現在私が開発しているRuby向けの型検査器Steepとその基盤となっている型記述言語RBSについて説明し、今後の展望を議論します。 著者：松本宗太郎さん（@soutaro） R…

はじめに 「私…全ての手動作成AWSリソースを生まれる前に消し去りたい。全ての宇宙、過去と未来の全ての手動作成AWSリソースを…この手で！」 そんなことを思われた経験はないでしょうか？私は常に思っています。 こんにちは。ソーシャル経済メディア「NewsPicks」のSREチームの安藤です。 先日の JAWS-UG CDK支部 #14 にて、テーマが「IaC Generator祭り」だったこともあり、以下のタイトルでLT発表させていただきました。 www.docswell.com 上記の発表はAWS CDKのコミュニティのライトニングトークということもあり簡単なTIPS紹介が中心だったので、本記…

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

こんばんは。TSKaigi2024にオンライン参加したのでちょっとだけ感想を。 カンファレンス的なものの参加ってめちゃくちゃ久しぶりなのですが、イベント参加したら何か書けと偉い人も言ってる気がするので簡単な感想と聞きながら書いてたメモで。 変に矢印とか入れちゃったんで箇条書きになってないとか、話の内容と個人の感想が混じってたりするんですがそのあたりは許してくださいということで。（だから最初からmarkdown的なもので書けと…） LTもいくつか聞いたんですが、そこは省略で。 Keynote: What's New in TypeScript MicrosoftのTypeScript Princ…

Software Design (ソフトウェアデザイン) 2024年05月号を読んで、Union型を使うときの網羅性チェック時にsatisfiesを使う方法を知った Software Design (ソフトウェアデザイン) 2024年05月号 [雑誌]技術評論社Amazon satisfies とは、TypeScript 4.9 で導入された新しい演算子 as constと組み合わせてwideningを防ぎつつ、型チェックも可能にする type User = { name: string; age: number; } const user = { name: "John", age: 30,…

自分向けのまとめです。 Intersection(&) RBSにはIntersection型があります。Object & _Each[Integer]のように&で繋げている型のことです。 その前にUnion(|)とは String | Symbolのように、|で繋いだ型をUnion型と言います。こちらは理解は簡単です。 「String もしくは Symbol のどちらか一方」という解釈になります。使用頻度は多めです。 Intersectionの使い方 それをふまえてObject & _Each[Integer]は何を意味しているのでしょうか？ 「Objectかつ_Eachインターフェースを持つ…

Ask Epic:Verse回答祭り第４回（完結編）です。今回はVerseの型システムに関係する質問がメインです。 今回まとめた分はマニアックな質問が多く、土屋自身がついていけてない物もありました（結果誤訳してる可能性があります）。多くのユーザ－がVerseの言語仕様に強い興味を持っていて、回答側もそれに答えようとしている雰囲気が伝わればと思います。 MaxVerseはいつやってくる？ https://forums.unrealengine.com/t/ask-epic-verse-march-28-10-00-am-et/1765393/82?u=t.tutiya Ｑ：VerseがSimon…