TL;DR import { isT, isNotT, defineIsT } from "safe-type-predicate"; // isA: (x: "a" | "b") => x is "a" const isA = defineIsT((x: "a" | "b") => x === "a" ? isT(x) : isNotT() ); GitHub safe-type-predicate type predicate and its dangers TypeScript has a feature called type predicate. This is by coding the return value of a function that takes an appropriate type of value x and returns boolean as x is T. If true is returned, x is of type T, false This is a function that

TL;DR import { isT, isNotT, defineIsT } from "safe-type-predicate"; // isA: (x: "a" | "b") => x is "a" const isA = defineIsT((x: "a" | "b") => x === "a" ? isT(x) : isNotT() ); GitHub safe-type-predicate type predicateとその問題点 TypeScriptにはtype predicateという機能が存在する。 これは適当な型の値xを受け取りbooleanを返す関数の戻り値をx is Tと書くことで､trueを返せばxがT型､falseを返せばそうでないことを表す機能である。 これによってユーザー定義関数で型ガードを行うことを可能にしている。 例えばunknown型、つまり任意の型を受け取りその値がstring型であるかを返す関数は次のようになる。 function isString(x: unknown): x is

When type level programming, various errors occur.So we need to suppress it. This article introduces two ways to suppress errors. I checked with v3.4.2. Suppress type constraint error There are operations in TS that can only be of the type that satisfies the condition. Here are some examples. type F<T extends any[]> = T; type X = F<A>;// A require to extends any[] type Y = B["x"]// B require object type and have roperty named `x` However, even if it is known that the con

TypeScriptの型レベルプログラミングでは様々な型エラーが発生するため、それを抑制しながら作っていかなければいけません。 今回はエラーを回避するテクニックを2つ紹介します。 v3.4.2で動作確認をしています。 型制約エラーを抑制する TSには型の型のようなものがあり、それを満たす型にしかできないような操作があります。 いくつか例を挙げます。 type F<T extends any[]> = T; type X = F<A>;// Aはany[]を継承していなければいけない type Y = B["x"]// Bはオブジェクト型で`x`というプロパティを持っていなければいけない しかしこのような条件を満たしていることが分かっていてもコンパイラが推論出来ておらずエラーになることがあります。 そのような時は以下のようなCast型を定義して使いましょう。 これはTはPを継承している時は分かっている時にCast<T, P>と書いて使います。 type Cast<T, P> = T extends P ? T : P; 例です。

I made blog using GatsbyJS. I will write an English article. Blog Repository:kgtkr/kgtkr.net

GatsbyJSを使ってブログを作ってみました。 これまで通りTwitterメインですが、長い文章はなるべくQiitaなどではなくこっちに書いていきたいなと思います。はてなブログは記事移行したら閉鎖します。 英語での発信も積極的にしていきたい。 ブログのリポジトリ:kgtkr/kgtkr.net

この記事はTS3.4.3で動作確認をしています。 ハイパー演算子とは hyper(1,a,b)=a+b hyper(2,a,b)=a*b hyper(3,a,b)=a^b ︙ のような演算子です(雑) 詳しくはWikipediaを見て下さい。 定義だけ貼っておきます。 hyper(1,a,b)=a+b hyper(_,a,1)=a hyper(i,a,1)=hyper(i-1,a,hyper(i,a,b-1)) 型レベルタプル操作 型レベルのタプル操作を行うので以下の記事を読んでおくといいかもしれません。 TypeScript 3.0のExtracting and spreading parameter lists with tuplesで遊ぼう ちなみに今回は上の記事の型レベルタプル操作などをまとめた自作ライブラリtypeparkを使いますが機能は上の記事の通りです。 再帰制限回避テク FやGが複雑な関数だと以下のような書き方をするとコンパイルエラーが発生することがあります。 type Hoge<T>=F<Cast<G<T

TypeScriptのランタイム型チェック TypeScriptにはランタイム型チェック機能がありません。 次のようなコードも正常にコンパイルされエラーが発生することなく動作します。 const x: string = JSON.parse("1"); これはパフォーマンスなどとのトレードオフなので仕方ないのですが、部分的に動的な型チェックをしたいときもあります。 このような時の解決策としてio-tsを紹介します。 io-tsのメリット JSON Schemaなどは型とスキーマを2つ書く必要があり大変です。 また大変なだけでなく型とスキーマが異なるといったバグを型システムでチェックすることが出来ません。 コードジェネレーターを使うことで解決できますが、TypeScript上で完結しないのでめんどくさいです。 このような問題はio-tsを使うことで解決します。 ただし再帰型については型推論の関係で型とスキーマを2回書く必要がありますが、型チェックでスキーマと型が違っていればコンパイルエラーが発生します。 基本的な使い方 import

初めに 以下のコードはstateの値が変わった時どのような動作をすると思いますか？ 本質ではないのでclearInterval等の処理は省略しています。 const [x, setX] = useState(0); useEffect(() => { setInterval(() => { console.log(x); }, 1000); }, []); このコード、思うようには動かずstateの値が変わってもずっと0が出力され続けます。 何故でしょうか？JSのクロージャをある程度理解している人なら分かると思います。 コンポーネント関数が呼ばれた時の動作を考えてみましょう。 初回呼び出しではuseState(0)を呼ぶとxに0という値が入ります。 useEffectのコールバックも呼び出されます。この時setIntervalのコールバックはxという変数をキャプチャしています。 2回目以降の呼び出しではxは現在のstateです(このコードだけでは具体的な値は分からない) useEffectの第二引数が[]なのでコールバック

問題 https://joi2019-yo.contest.atcoder.jp/tasks/joi2019_yo_e 解法 まず{(L,R)}の前処理をします。 サイズNのリストを用意して自分が入っている区間[L,R]のうちRが最大のもので初期化をします。どの区間にも入っていなければ0です。 ただ普通に実装するとO(MN)で間に合わないので工夫が必要です。 まず{(L,R)}(以後LRと呼ぶ)をR→Lの優先順位で降順ソートします。 次に用意したリストを右から埋めていく(既に埋めた所は埋めない)をしていくとO(N)となり間に合います。 疑似コードは以下のような感じです。 let m_list = make_vec(init=0,len=N); my_sort(LR) // my_sortはLRをR→Lの優先順位で降順ソートする関数 let cur = N; for (l, r) in LR { for i in range(l,min(cur-1, r)) { m_list[i] = r; }