タグ「型システム」

タグ型システム

新着順人気順 5 users 10 users 50 users 100 users 500 users 1000 users

(1 - 25 / 43件)

TypeScriptの型を展開してホバー表示してくれるVSCode拡張「Prettify TypeScript」が便利

2024/11/02 241 users TypeScript ジェネリクス VSCode拡張型定義

TypeScriptは強力な型システムが魅力です。しかし、複雑な型定義は理解が難しいです。特にライブラリの型定義などはジェネリクスや交差型などがネストしていることも多く、すぐに把握するのが難しい場合があります。 Visual Studio Code（以下VSCode）でTypeScriptの開発をしている際、型にカーソルをホバーすると型情... 続きを読む

TypeScriptは型安全じゃないからすばらしい - まめめも

2024/10/07 308 users TypeScript n月刊ラムダノート新刊 t.co 発行

「TypeScriptではじめる型システム」という記事をn月刊ラムダノートに寄稿しました。新刊を発売しました "『n月刊ラムダノート』Vol.4 No.3（2024）発行のお知らせ https://t.co/PGppk1aRRA— lambdanote (@lambdanote) 2024年10月4日どんな内容？ TypeScriptの極小サブセットに対する型検査器を書き、それを通して型シ... 続きを読む

tsc の代替実装は作れるのか - mizdra's blog

2024/05/25 14 users rust tsc mizdra's blog 実用移植版

tsc の代替実装を作る話、とりわけ Rust や Go で tsc を高速化した移植版を作る話について。非常に野心的で面白いと思いつつ、正直僕は実用レベルまで達したものが本当に登場するのか疑問に思っている。今ある型システムもそうだし、新機能として追加されるものにも追従する必要がある。当然、実用レベルとして使っても... 続きを読む

関数型ドメインモデリングドメイン駆動設計とF#でソフトウェアの複雑さに立ち向かおう

2024/05/23 7 users 関数型ドメインモデリングソフトウェアドメイン駆動設計

ドメイン駆動設計と関数型プログラミングを組み合わせることで、顧客満足度の向上、開発サイクルの短縮、無駄な作業の削減を実現できます。本書では、ビジネスドメインの例とF#のコードで、ビジネスに焦点を当てた、柔軟で高品質なソフトウェアを構築する方法を紹介します。たとえば、F#の型システムを使って複雑なドメ... 続きを読む

エラーや非同期処理をより安全に扱うための TypeScript ライブラリ Effect-TS

2024/04/29 122 users TypeScript concurrency 低レイテンシ

TypeScript の型システムを活用して、本番のアプリケーションにおける実用的な問題を解決することを目指しています。Effect-TS は、以下のような特徴を備えています。並行性（concurrency）：Fiber ベースの並行モデルにより、高いスケーラビリティと低レイテンシを実現コンポーザビリティ（composability）：小さく再... 続きを読む

TypeScriptで知ってコードの安全性が上がったtips集

2024/03/20 241 users Linter TypeScript Tips TIPS集向上

TypeScriptを用いた開発では、その型システムを活かしてランタイムエラーを事前に防いだり、実装漏れを防いだりとコードの安全性の向上を図ることができます。本記事では、個人的に知ったおかげでコードの安全性が増した！と感じたtipsをまとめました。 ※ なお、linterを用いたコードの安全性向上も非常に有効ですが、... 続きを読む

「型システム入門」の先へ：TypeScriptの型システムのいくつかの側面 | 雑記帳

2023/12/08 80 users TypeScript 側面言語実装雑記帳型システム入門

この記事は TypeScript Advent Calendar 2023 の8日目の記事です。言語実装勢にも役立つ内容を含んでいるかもしれないので、言語実装 Advent Calendar 2023 にも登録しています。 TypeScriptで型システムに興味を持った人が「型システム入門」を読んだという話を時々聞きます。「型システム入門」は、Types and Program... 続きを読む

関数型プログラミングと型システムのメンタルモデル

2023/10/26 276 users メンタルモデル関数型プログラミング

Qiita Conference 2023 Autumun での発表資料です発表時間の見積もりが下手で後半全然説明できませんでした、すみません！続きを読む

初めてのTypeScript

2023/05/31 52 users TypeScript プログラマー本書パク入門書

TypeScriptの本格的な入門書。TypeScriptは、世界で最もよく使われ、かつ最も好まれているプログラミング言語の1つです。本書では、JavaScriptの基礎的な知識のあるプログラマーを対象に、「型」や「型システム」の基本から、明快かつ包括的にTypeScriptを解説します。TypeScriptはバグやタイプミスを防ぎ、コードを読み... 続きを読む

TypeScriptにおける配列の共変性

2022/12/15 130 users TypeScript ＡＮＩＭＡＬ String 配列 Dog

const animal: Animal = { animal: "string", }; const dog: Dog = { animal: "string", dog: "string", }; いま，Dog <: Animalです． <:という記号は2つの型のあいだに書いて，「左の型が右の型のサブタイプである」と読みます． TypeScriptの型システムは構造的なので，2つのオブジェクトがサブタイプ関係にあるには... 続きを読む

TypeScriptの安全性の穴

2022/06/07 6 users TypeScript 共通認識安全性無い所

TypeScriptの型システムは不完全です。型システム上しょうが無い所も、どうしてそうなってるのって所もあります。この記事では共通認識となっているようなものから、あまり認知されていないものも含め、TypeScriptの安全性の穴になり得る所を紹介します。続きを読む

なぜRustなの？と言われた時のために

2022/02/13 202 users rust メモリ言語コミュニティコンセプト

20 秒で概要当記事では、Rust における以下の 4 つのいいところを特徴を紹介します。他の言語と比較しながらコンセプトを学ぶことで、なぜ今 Rust を学ぶべきかを理解できます。 Rust はメモリ安全な言語です Rust はリッチな型システムがあります Rust はエラー処理が分かりやすい Rust は健全なコミュニティの有るエ... 続きを読む

型安全Storageの実装を通して学ぶ! TypeScriptの型

2021/12/12 11 users TypeScript 難題実装プログラミング言語言語

まえがき TypeScriptの型システムは、他のプログラミング言語にはないユニークな機能を多く備えています。これは、動的型付け言語であるJavaScriptで書かれたコードの振る舞いを(静的)型によってモデル化するという難題に対する答えであり、結果としてTypeScriptの型は比肩するものがないほど強力な表現力を持つことにな... 続きを読む

Rubyの型システム勉強会を開催した

2021/10/14 13 users Ruby kokuyouwind Leaner 機運黒曜

Leaner 開発チームの黒曜(@kokuyouwind)です。週末のゾンビランドサガLIVEを楽しみに今週を生き抜いています。 Rubyの型システム勉強会実施背景先日のRubyKaigi Takeout 2021で機運が盛り上がったこともあり、社内で Ruby の型システムを活用していきたいよねという話が出てきました。前回書いた記事で RBS Collect... 続きを読む

Python の型システムの上で Immutable な Python プログラムを作る - 病みつきエンジニアブログ

2020/08/23 86 users プログラまえがき immutable 補足本稿

まえがき今年の PyCon JP 2020 にて「Python 3.9 時代の型安全な Python の極め方」というタイトルで登壇させていただきます。本稿は、発表の補足となる「型ヒントを使って Immutable な Python を実現する方法」について紹介したものです。 Python の型ヒント Python には「型ヒント」という機能があり、型をプログラ... 続きを読む

TypeScript の型システム / Type system of the TypeScript - Speaker Deck

2020/07/31 18 users TypeScript Speaker Deck

string number undefined null { x: number, y: number } string[] [ string, number ] type Hoge = { x: number, y: number }; & type HogeProps = { x: number }; type HugaProps = { y: number }; // 2 const props: HogeProps & HugaProps; const props: { x: number, y: number }; & structural typing props 続きを読む

(1 - 25 / 43件)

次の25件 »