TypeScriptを導入する意味と限界、型レベルプログラミングの紹介 - Qiita
はじめに JavaScript/TypeScript初学者を抜けたあたりの方に向けてTypeScriptの利点や限界、型レベルプログラミングについて紹介します。 TypeScriptはJavaScriptをラップしたライブラリであり、静的な型情報をつけることができます。また、それらの型情報をもとに型を推論し、型違反な代入やプロパティへのアクセスなどをプログラム実行 以前 に検知することができるようになっています。 例えば、動的型付けの言語であるJavaScriptでは、以下の関数のa,bには数値だけでなく、文字列を渡すことができます。数値同士を渡せば加算してくれますし、文字列同士を渡せば文字列連結をしてくれます。 「数値計算用の関数なのに、文字列連結に利用できてしまう」という緩さを開発時にはなるべく排除しようというのがTypeScriptを導入する意義です。 以下、TypeScriptの基
【C#】 拡張メソッドで型によるswitchやif判定をできるだけ消す - Qiita
今回の話 以前、Visitorパターンで型によるswitchやif判定を消すという記事を書きました。前回のやり方に従えばVisitorパターンを使えばswitch文を消せて型安全にすることができました。 ただ、「じゃあ実際使いやすいのか？」というと正直なところ微妙でした。 そういうわけで今回は「妥協をしてできるだけ安全にしながら使い勝手を保つ」方法を紹介します。 前回のおさらい 問題としたコード Visitorパターンで型によるswitchやif判定を消すで紹介したコードのおさらいです。 何を重視していたかというと「型の網羅性を保証したい」でした。あるデータ構造群を他のデータ構造に変換するときなど、switchを使ったパータンマッチングで記述することができます。 using System; namespace Visitors.Samples { public static class C
インターフェースと型クラスの違いを考える
この記事では、JavaライクなインターフェースとHaskellライクな型クラスを比較します。どちらも、複数の異なる型を統一的に扱うための仕組みです。 インターフェース インターフェースはご存知の方も多いと思いますが、コード例を載せておきます。 // インターフェースの定義 interface Greetable { String greet(); } // 実装の例1 class Hello implements Greetable { String message; Hello(String m) { this.message = m; } public String greet() { return "Hello " + message + "!"; } } // 実装の例2 class Goodbye implements Greetable { public String gree
JavaScriptの型などの判定いろいろ - Qiita
null や配列が "object" だったり、普通は使わないけれども new Number() や new String() も "object" だったりするので、ややこしいです。 ちなみに、'use strict' じゃない時、関数の this に文字列や数値を渡すと "object" になります。 function typeOf01() { console.log(typeof this); } function typeOf02() { 'use strict'; console.log(typeof this); } // object になる typeOf01.call('すっごーい！'); // "object" typeOf01.call(15820621); // "object" // 意図したとおりになる typeOf02.call('たーのしー！'); // "s
JSONとBigInt
ちょっと前にblueskyで見かけた話題。もとは「GraphQLのスキーマではintが32ビットしかなくて、64ビット整数とかないのがイケてない」といった話だったかなと思う。直感的にはこれは「Javascriptではすべてが倍精度浮動小数点数だから64bit intがないから」ということになるが、よくよく調べてみるといろいろややこしい歴史的事情があるようだ。 たしかにJSにはもともとひとつのNumber型しかなく、いわゆるdouble型(倍精度浮動小数点)だけで数値を表現してきた。IEEE754の倍精度浮動小数点数は仮数部が52ビットあるので、実際には32ビット整数ていどであれば全て誤差なく表現できる。なので32ビット整数または倍精度浮動小数点数がどちらも使えるというふうに理解されてきた。 そうはいっても不便なので、現代のJSにはBigIntがある。ES2020で導入されたらしい。ただし普
ゼロランタイムで fetch に型をつけたい
まだライブラリ化してないのと、フルパス対応してないけど、いじれば使えると思う。 これは何 こういう感じに fetch に型がついて動く import { type TypedFetch, JSON$StringifyT, JSON$ParseT } from "./typed-fetch"; const stringifyT = JSON.stringify as JSON$stringifyT; // こんな感じの記法で型情報を与える const fetch = window.fetch as TypedFetch<{ "/api/:xxx": { method: "GET"; bodyType: { text: string; number: number; boolean: boolean }; headersType: { "Content-Type": "application/
TypeScriptにおける配列の共変性
const animal: Animal = { animal: "string", }; const dog: Dog = { animal: "string", dog: "string", }; いま，Dog <: Animalです． <:という記号は2つの型のあいだに書いて，「左の型が右の型のサブタイプである」と読みます． TypeScriptの型システムは構造的なので，2つのオブジェクトがサブタイプ関係にあるには，それらに共通するプロパティについてもまた，サブタイプ関係が必要1です． 今回の例では，DogとAnimalに共通するanimalプロパティについてstring <: stringなのでOKです． TSでは，S <: TならばT型の変数にS型の値を代入できます． つまり，Dog <: Animalなので Animal型の変数にDog型の値を代入できます．
【C言語】void型- 何も無いことを意味するってどういうこと？ - Qiita
はじめに コードを書いているとよく出てくるvoid型。 意味を調べると「何もない」ことを意味するデータ型と出てくる。 率直に思った感想、「何もないってどういうこと？」です。 まだまだプログラミング初心者な私は型の本質が理解できていないのかも。 ということで深掘ってみました。 Voidの 『何もない』 を解説 何もない=型がない int型やfloat型が１~100などの数ある数値だとすると、void型は0である。 0の為、返す必要がないのである。 voidは関数の引数と戻り値のデータ型としてよく使われる。 関数のは４通り考えられる 引数あり、戻り値あり 引数あり、戻り値なし 引数なし、戻り値あり ★引数なし、戻り値なし ＝何もない voidは4つ目のどちらもない時のデータ型として使われる。 本来の関数
【プログラミング基礎】型の本質をつかもう - Qiita
（大前提） プログラミングは、見やすくスッキリさせよう プログラミングは機械脳である (型とは) 関数の定義や宣言などを記述する際に、引数や戻り値を明示するキーワードとし型名を記載する （なぜ型を使うのか） 例えば、１＋２＝３の計算をしたいのか、1＋２＝１２の文字を並べたいのか。１＋２＝の記述だけでは上手く読み取れず間違った答えが返ってくることがある。 そこで『 この変数にはこの種類のデータを格納する 』という型で知らせることで、正しい答えを受け取ることが出来るようになる。 また、あらかじめ格納するデータの種類を宣言する事で想定外の形式のデータが登録されないようにすることが出来る。 (データ型の種類（一例）) 文字列型 文字や文字列を表すデータ型 数値型 整数を表す型と、小数を表す型 日付型／日付時刻型 日付や時刻を表すデータ型 論理型 YESかNOかを表すデータ型 バイナリ型 ファイルの
PowerShellスクリプトでデータ型を調べる方法
変数は$をつけます。$aと言うような感じです。 $a.GetType().FullNameとタイプすると方が表示されます。 以下、例です。 PS C:\work_ps> $a=1;$a.GetType().FullName; System.Int32 PS C:\work_ps> PowerShellでは数値はSystem.Int32型となるようです。 次に文字列を調べてみます。 PS C:\work_ps> $a='abc';$a.GetType().FullName; System.String PS C:\work_ps> 文字列型はSystem.Stringのようです。 数値と文字列を+で連結してみます。 PS C:\work_ps> $a='abc';$b=1;($a+$b) abc1 PS C:\work_ps> $a='abc';$b=1;($a+$b).GetType().
SEOに強いTypeScript入門記事がミスリードを招いていて絶望しかけた - Qiita
「TypeScriptとは」などシングルワードの検索結果に強いTypeScript入門記事の多くに、誤解を招く内容があることを確認しています。 以下にあげる記事を参考にされた方は情報のアップデートをしていただきたいですし、記事を公開しているメディアにおきましては内容を見直していただけるとありがたいです。 TypeScriptならクラスが書ける 「JavaScriptにはクラスがない、TypeScriptにはクラスがある」「ゆえに読みやすい短いコードが書ける」といった記述が見られますがこれは誤解です。 Udemy メディア - TypeScriptとJavaScriptの違い「TypeScriptではクラスの作成ができる」 侍エンジニア - 「TypeScriptでは、JavaScriptでできなかった「クラス」の作成を実現しています。複雑で大規模な開発を行うとき、JavaScriptではコ
partial: partialクラスとpartialメソッドは似ているが違う 【▲→川俣晶の縁側→ソフトウェア→new_C#入門・全キーワード明快解説!】
この章のテーマ § partialクラス(partial型)とpartialメソッドについて学びます。これらは定義を分割する手段ですが、機能的には全く違う効能を持ちます。 解説 § partialキーワードを付けたクラスなどの型は、定義を複数に分割できます。つまり、同じ名前のクラスの定義が複数あっても良く、それらは全て足し合わさされて1つの定義として扱われます。つまり、privateとして宣言されたメソッドは、サンプルソースのように、他の定義からでも呼び出せます。 一方で、partialキーワードを付けたメソッドはpartialメソッドとなり、定義の分割とは違う効能を発揮します。名前、戻り値の型、引数の宣言だけを書いた部分と、実行する文まで記述した完全な形の実装の2つを分けて記述できますが、実装は省略できます。実装がないとしても呼び出しを行うコードは記述可能で実行できます。ただ単に何も呼び
where キーワードとジェネリック: 型から自由な型を作ろう! 【▲→川俣晶の縁側→ソフトウェア→new_C#入門・全キーワード明快解説!】
この章のテーマ § ジェネリックとジェネリック型制約を行うwhereキーワードについて学びます。ジェネリックは、任意の型を受け入れる型やメソッドを作り出す技術です。 前提知識 §Console.WriteLineメソッド, クラス基礎, 変数の基礎, foreach文, メソッドの基礎, IEnumerable<T>インターフェース, int型, string型, コレクションの初期化構文 解説 § 任意の型を受け入れてリストとして管理するListクラスのようなクラスを作成するために使用される技術がジェネリックです。 ジェネリックを使うにはクラスやメソッドに不等号で囲んだ名前(たとえば<T>)を書きます。これが型引数(型パラメータ)です。型引数は型のように使いますが、実際に使用されるまで確定しません。たとえば、ListクラスならList<int>なら整数のリスト、List<string>な
【TypeScript】keyofとtypeofよく忘れるのでまとめ - Qiita
/* keyofを使用するとオブジェクトのプロパティ名をString Literal Union Typesで取得できる。 プロパティが数値の場合は、Numeric Literal Union Typesが取得される。 「型」に対して使用できる */ type SomeType = { foo: string; bar: string; baz: number; } const someKey: keyof SomeType; // someKey: 'foo' | 'bar' | 'baz' export type PersonalData = { name: string; age: number; }; export type SurveyData = { health: string; motivation: string; remarks: string; }; export t
TypeScript の「型安全」を担保するために知っておきたかったこと - OITA: Oika's Information Technological Activities
タイムリープTypeScript 〜TypeScript始めたてのあの頃に知っておきたかったこと〜 アドベントカレンダー1日目の記事になります。 よろしくお願いします。 3行で TypeScript で安全に型を扱う勘所は以下2点だと思いました。 最初から最後まで型が壊れていないことを保証する 型が壊れる可能性があるものは壊れている前提で扱う 個人的背景と前提 もともと C# での開発をメインとしていました。 Web開発は、JavaScript歴 ≒ TypeScript歴くらいの型付依存者です。 そのため、型付けのゆるい言語に対する耐性がなく、本内容もそういうポジションからの見解になります。 本記事内のサンプルコードは TypeScript V4.4 で挙動を確認しています。 最近のバージョンで変更のあった点は脚注を入れています。 最初から最後まで型を壊さない C# という静的型付け言語
値型と参照型: C#のデータで間違わない切り札 【▲→川俣晶の縁側→ソフトウェア→new_C#入門・全キーワード明快解説!】
この章のテーマ § 値型と参照型という言葉はソースコード上に出てきませんが、APIの説明などには頻出します。 知っておくとそれだけでトラブルを未然に防止できるキーワードです。 解説 § C#の全てのデータ型は2つに分類できます。値型と参照型です。 値型と参照型はデータの格納方法の違いを示します。 値型は、その値そのものを扱います。ですから、変数をクリアすると値そのものが消えます。 参照型は、その値が入っている住所を扱います。ですから、変数をクリアすると消えるのは住所の情報だけで値そのものは消えません。他の誰かが使っている限り、値は残り続けます。 なぜ2つの方法があるのかと言えば、値型の方が効率が良い場合と、参照型の方が効率のよい場合があるからです。 値型は代入が発生すると常にデータ全体の複製を作ります。データのサイズが大きいと非常に大きな時間が掛かります。参照型だと住所情報だけ複製を作るの
Pythonの型を完全に理解するためのtypingモジュール全解説(3.10対応) - Qiita
はじめに Pythonでキチンと型アノテーションを書くのであれば一度は読んでおきたいのがtypingライブラリの公式ドキュメントです。 前回の記事でも読んでくださいと(偉そうに)書いたわけですが、実のところこれは型アノテーションを解釈する側1に向けたドキュメントだったりもするのでアノテを書く側にとっては情報がごちゃごちゃしてるんですよね。加えて未翻訳の箇所もそれなりにあってま～～～～読みにくい。実際に読んでいただいた方々からの評判もすこぶる悪かったです。また 機能は分かったけど結局どんな時に使えばいいのか分からない という致命的なコメントも聞きました。 そこで今回はこれらの不満を解消すべく、公式ドキュメントを一般ユーザー向けに再編し具体的なユースケースを盛り込んだ非公式ドキュメントをご用意しました。 なおPython 3.10は2021年10月04日リリース予定ですが、先駆けてドキュメント
TypeScript の型定義に凝りすぎじゃね？ - Neo's World
TypeScript の型定義に凝りすぎじゃね？ ここ数年で、Qiita や Zenn で TypeScript の話を見かける機会が多くなった。JavaScript には Java のような型定義がなく、初心者の混乱の元・ひいては障害の元になりうるのはよく分かる。 しかし、最近どうにもこうにも、TypeScript でむりくり型定義するような Tips を多く見かけて、疑問に思っている。たかが TypeScript に頑張り過ぎじゃね？ と。 【TS】TypeScript 4.0 の新機能 - Qiita こういう新機能とか、追加されるのはいいんだけど、本当に便利なんか？と思ってしまう まず、TypeScript による型定義は単なる Linter でしかない。コードが実行される時は基本的に JavaScript に変換され、TypeScript の構文で記した型定義は消失する。コーディ
アンサー： なぜTypeScriptの型定義に凝るのか - Qiita
この記事は、昨日公開された以下の記事に対するアンサー記事です。TypeScriptで型定義に凝る派筆頭（自称）として、このお題に対して別の視点から光を当ててあげるためにこの記事を用意しました。 TypeScript の型定義に凝りすぎじゃね？ まず最初に、この記事（以下では元記事と呼びます）の著者を攻撃したり、元記事の内容を否定する意図はないことをご理解ください。結局のところ、考え方が異なり、前提が異なるから異なる結論になっているだけなのです。TypeScriptを使う皆さんがいろいろな観点から見た情報を取得し、自分の状況に応じた適切な考え方・判断をできるようにすることがこの記事の目的です。 要約 大きなコードを小さく分解しても本質的な難しさが消えるわけではないよ？ 型はドキュメントなんだから正確に書こうぜ！ 外界との接続も妥協せずに型システムで解決しようぜ！ 機械にできる仕事を人間がする
2021年のTypeScript環境構築で絶対入れるべき「better-typescript-lib」の紹介 - Qiita
こんにちは。この記事は筆者が開発した「better-typescript-lib」を宣伝する記事です。これは、導入するだけでTypeScriptプログラムがより型安全になるという素晴らしいライブラリです。あくまで型定義なので、導入してもランタイムの挙動は何も変わらず、バンドルサイズなどへの影響もありません。 better-typescript-libの導入法 ここに記載されているのはv1 (TypeScript 4.0 〜 4.4向け）のインストール方法です。v2 （TypeScript 4.5〜）ではインストール方法が変わり、最初のnpm installのみで良くなります。詳しくは次の記事をご覧ください。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
