はじめに JavaScript/TypeScript初学者を抜けたあたりの方に向けてTypeScriptの利点や限界、型レベルプログラミングについて紹介します。 TypeScriptはJavaScriptをラップしたライブラリであり、静的な型情報をつけることができます。また、それらの型情報をもとに型を推論し、型違反な代入やプロパティへのアクセスなどをプログラム実行 以前 に検知することができるようになっています。 例えば、動的型付けの言語であるJavaScriptでは、以下の関数のa,bには数値だけでなく、文字列を渡すことができます。数値同士を渡せば加算してくれますし、文字列同士を渡せば文字列連結をしてくれます。 「数値計算用の関数なのに、文字列連結に利用できてしまう」という緩さを開発時にはなるべく排除しようというのがTypeScriptを導入する意義です。 以下、TypeScriptの基

以下はいわゆる「頂き女子」と図らずも接触した内容をぼかして掲載しています。 「頂き女子」とは、男性から巧妙にお金を巻き上げる女性のことです。 知らない方は「頂き女子　りりちゃん」で検索してください。 ネットにりりちゃんが作成したマニュアルも出回っています。 僕も興味本位でさらっと読みましたが、恋愛経験のない男性の見抜き方や操り方が詳細に書かれてあり、ゾっとしました。 さて、ここからが本題。 以前から知り合いの夜職の女性がいます。 この方が結構育ちがヘヴィで、親から虐待を受けていたり、父親が蒸発したり、先天性の難病を患っていたり、精神を病んだりしてきたそうです。 僕は「大変だな」「可愛そうに…」と思ってはいたものの、そういった自己開示をほぼ初対面からしてきたことに対して違和感を持っており、この子はちょっとやばいな、依存体質かもしれないから気をつけよう……と若干警戒はしていました。 一方で、そ