TypeScriptの型定義で麻雀の役判定をする 【dwango Advent Calendar 2日目】 - MANA-DOT

2021/12/03 119 users TypeScript MANA-DOT クッソ エントリ 麻雀

このエントリは ドワンゴ Advent Calendar 2021 2日目の記事です(夜が明けるまでは2日目！)。 はじめに TypeScriptには Conditional Types や Template Literal Types といったクッソ強力な型機能があります。 これらを用いて、今回は 2p3p4p2m3m4m2s3s4s4s5s6s8s8s のような天鳳牌譜形式の文字列を型引数に渡すと、麻雀... 続きを読む

TypeScriptのもとでuseRefを使うときに知るべきRefObjectとMutableRefObjectについて

2021/05/05 22 users TypeScript Types React 返り値 もと

TypeScript環境でのReactの useRef は、初期値と型引数の与え方によって返り値の型が RefObject と MutableRefObject のどちらかになります。どういう使い方のときにどう書いてどちらを得るべきかを、 @types/react の更新まわりの議論を追った結果を示します。 この記事は2021年5月現在、React 17.0.2が最新バージョン... 続きを読む

TypeScript で querySelector メソッドを使うときに型引数を指定する - Hatena Developer Blog

2020/12/12 16 users querySelector cohalz nanto_vi

こんにちは、エンジニア職の id:nanto_vi です。(この記事は、はてなエンジニア Advent Calendar 2020 の 12 日目の記事です。昨日は id:cohalz さんによる「Webサービスのモニタリングについてのチェックリスト」でした。) 結論 TypeScript で querySelector、querySelectorAll メソッドを呼び出すときは、型引数を指定... 続きを読む

Rustで型の多相再帰はできない - 簡潔なQ

2017/03/16 22 users rust Haskell 再帰呼び出し 再帰 多相

2017 - 03 - 16 Rustで型の多相再帰はできない Rust OCaml や Haskell に比べると、Rustは多相 再帰 ができない場合がほとんどである。以下にその詳細を説明する。 多相 再帰 異なる型引数による 再帰呼び出し を多相 再帰 (polymorphic recursion) という。多相 再帰 はPurely Functinoal Data Structuresで紹... 続きを読む

Objective-Cより柔軟かつ安全なプログラミングを可能にするSwiftの「ジェネリクス」 （1/4）：CodeZine

2015/02/27 53 users ジェネリクス ダブル CodeZine Swift 関数

ジェネリクスは、静的型付きプログラミング言語で、セットやタプルといったオブジェクトの集合（コレクション）の基盤となる言語機能です。ジェネリクスにより、型の安全を維持しつつ、1つのコレクション定義で多様なオブジェクトの集合を扱うことが可能になっています。今回はSwiftにおけるジェネリクスについて解説します。 ジェネリクスとは　さまざまなデータ型に共通のアルゴリズムや処理を型引数を用いてクラスや関数... 続きを読む