2022年12月15日のブックマーク (2件)

  • 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型の値を代入できます.

    TypeScriptにおける配列の共変性
    als_uz
    als_uz 2022/12/15
    はんぺん派です
  • コーヒードリッパーを知らなかった四十代男が、火傷せずにコーヒーを淹れるまで

    ちょっと個人的に新鮮な体験が出来たので、それについての経緯と所感を書いてみたいと思います。 以前にも書いたことがありますが、「自分が何を知らないのか」を知るのはとても難しいことです。 なにしろそこには、知識を求める為の「とっかかり」というものがない。知識量ゼロの状態だと、「自分には何が分からないのか」が分かりません。 必然、人に聞こうにもwebで検索しようにも、そもそも「分からないことを解決しよう」という動機自体が発生しません。 「こういうものなんだろう」という自分の知識の範囲内に、人は簡単に安住してしまうのです。 我々は、基的には、「知っている」ことをスタート地点にして、そこから少しずつ手探りをするような形でしか知識を広げていくことが出来ません。 「知らない」を自発的に、一足飛びに解決する為には、壁を二、三枚超えなくてはいけないのです。 だからこそ、「知らない」をどんどん勝手に埋めてく

    コーヒードリッパーを知らなかった四十代男が、火傷せずにコーヒーを淹れるまで
    als_uz
    als_uz 2022/12/15