TypeScriptを導入する意味と限界、型レベルプログラミングの紹介 - Qiita

2024/06/10 167 users Qiita TypeScript 型レベルプログラミング

はじめに JavaScript/TypeScript初学者を抜けたあたりの方に向けてTypeScriptの利点や限界、型レベルプログラミングについて紹介します。 TypeScriptはJavaScriptをラップしたライブラリであり、静的な型情報をつけることができます。また、それらの型情報をもとに型を推論し、型違反な代入やプロパティへのアクセスなど... 続きを読む

ゼロランタイムで fetch に型をつけたい

2023/05/18 49 users fetch import from フルパス ライブラリ化

まだライブラリ化してないのと、フルパス対応してないけど、いじれば使えると思う。 これは何 こういう感じに fetch に型がついて動く import { type TypedFetch, JSON$StringifyT, JSON$ParseT } from "./typed-fetch"; const stringifyT = JSON.stringify as JSON$stringifyT; // こんな感じの記法で型情報を与える co... 続きを読む

テストを実行してRubyの型情報を集めるやつを作った - スペクトラム

2023/04/01 17 users スペクトラム Ruby イントロダクション 前例 テスト

イントロダクション 「テストを走らせて型情報を収集すればいいんじゃない？」そのアイデア自体は話題に上がることが多かったかと思われますが、観測範囲では前例がないように見えます。そこで、実際に作ってこそ見える世界があると思い動くものを実装してみました。 Orthoses::Trace github.com orthosesはRBSを生成す... 続きを読む

TypeScriptの型情報を使ったサポート対象のブラウザが実装してないメソッドの利用をエラーにするESLintルール

2023/03/18 14 users TypeScript eslint メソッド 実装 エラー

eslint-plugin-typescript-compatはTypeScriptプロジェクト向けのESLintルールです。 このESLintではサポートしているブラウザが、実装していないメソッドを検知してLintエラーにしてくれます。 JavaScriptではメソッドの静的解析は難しい(メソッド名が同じでも独自実装の可能性があるため)ですが、TypeScriptの型情報を... 続きを読む

マイクロソフト、JavaScriptに型宣言を追加しつつトランスパイラ不要の「Types as Comments」をJavaScript仕様策定会議のTC39に提案へ

2022/03/10 104 users トランスパイラ アノテーション 注釈 エディタ 変数

マイクロソフト、JavaScriptに型宣言を追加しつつトランスパイラ不要の「Types as Comments」をJavaScript仕様策定会議のTC39に提案へ マイクロソフトのTypeScript開発チームは、JavaScriptのコードにTypeScript互換のアノテーション（注釈）を加えることで変数や関数などの型を宣言し、エディタなどのツールで型情報を... 続きを読む

VSCode で TypeScript の交差型のプロパティを省略せずに見れるようにする - Mobile Factory Tech Blog

2021/12/02 11 users TypeScript vscode プロパティ 交差型 プロ

VSCode でホバーして型情報を見ようとすると、交差型はプロパティが展開されません プロパティの型を展開する Mapped Types を通すことで省略せずにプロパティを見ることができます。プロパティが交差型になっていることもあるので、再帰的にプロパティを Mapped Types に通すような型を定義しておいて、通すことでプロ... 続きを読む

Ruby 3.0.0RC1が登場、型の記述や静的型推論ツールなど新機能。12月25日の正式リリースに向け － Publickey

2020/12/22 18 users Publickey ＲＢＳ 記述 正式リリース Ruby

Ruby 3.0.0RC1が登場、型の記述や静的型推論ツールなど新機能。12月25日の正式リリースに向け Ruby 3では、型の記述や静的型推論ツール、並列処理などの新たな機能が追加されます。 型の記述では、型情報を記述するための「RBS言語」が用意されるようになりました。このRBSで型情報のコードを記述しておくことで、Rubyの... 続きを読む

RuboCopで型情報を利用した解析を試している - pockestrap

2019/11/06 21 users Pocke PoC rubocop pockestrap 変数

3行 RuboCopで「この変数はString」とかの情報を含めて解析させられないか試している まだPoCだけど、なんとなくは動いている https://github.com/pocke/rubocop-typed を見て 何をしているの rubocop-typed というプロジェクトで、RuboCopで今までできていなかった解析ができないか試しています。 github.com RuboCopの... 続きを読む

TypeScriptの型情報を利用したCustom Transformerの現状確認 - Islands in the byte stream

2019/03/04 15 users TypeScript AST Qiita エントリ 操作

TypeScriptのコンパイラ・プラグインとして振る舞いASTの操作を行えるcustom transformer (AST preprocessor) が実装されたのは TypeScript 2.4 (2017年) でした。 そのときの様子は次のエントリに非常によくまとまっています。 [TypeScript 2.4] custom transformer を利用して実行時に型情報を参照可能にする - Qiita ... 続きを読む

Rubyに型を付けるHaskellというgemを作ったヨ！

2014/12/06 148 users ふるまい 引数 Haskell 共存 恩恵

あいさつ Rubyの振る舞いを汚染する事無く型の恩恵をゆるふわ受けられるgemを作りましたヨ Giuhub Rubygems （ここでいう型とはRubyのクラスの事. ） いつも通りのメソッドにプラガブルな型情報を付け加えるだけで引数と返り値の型保証が出来ます、それ以外のメソッドの記法やふるまいはあなたの知っているRubyのままです. （型なしメソッドと型ありメソッドの共存も可能） MatzことR... 続きを読む

TypeScriptのd.tsパースして型情報を抜き出すの作った - mizchi's blog

2014/05/18 26 users TypeScript d.ts mizchi 気合 https

2014-05-18 TypeScriptのd.tsパースして型情報を抜き出すの作った 土日使って気合で作った。 mizchi/dts-parser とりあえずlib.d.tsがパースできたのでだいたいのものはパースできると思う。 パース結果のファイルサイズが大きすぎてバイナリ扱いされてて笑った。 https://raw.githubusercontent.com/mizchi/dts-parse... 続きを読む

型情報(宣言)と、実装を分離できる仕組み prof.js を実装してみました - latest log

2012/10/31 32 users ピコーン latest log 実装 宣言 ソースコード

2012-10-31 型情報(宣言)と、実装を分離できる仕組み prof.js を実装してみました 今朝方ピコーン*1 があったので頑張って1日で実装してみました。ピコーンの内容は ・今あるソースコードを汚さずに、動的な型チェックのための仕組みを後付で追加する事ってできないかな? ・同時にパフォーマンス・チューニングに必要な情報も取れるのではないか ・宣言と実装を分離する方法があるのではないか ・... 続きを読む

JSONの可能性がグンと拡がるぞ！ JSONスキーマ - 檜山正幸のキマイラ飼育記

2009/04/13 327 users JSON 備忘 スキーマ定義 改名 檜山正幸

雑記／備忘 | 09:14 | JSON（http://www.json.org/）データはけっこうよく使うので、何度か話題にしたことがあります（例えば「もう一度、ちゃんとJSON入門」）。でも、JSONには型情報／メタ情報が付けられないのがとても不満で、JSON改なんてもんを考えたこともありました。（後でXIONに改名）JSONデータに対するスキーマ定義の仕様がかたまりつつあることを、ごく最近に... 続きを読む