nilog: 「型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages”（TAPL）を翻訳したもの」 (2022-05-24)

関連するかも情報
第2回　小さなマージリクエストが優れたレビューの鍵となる理由：細分化とコードレビュー見直しによるイテレーション的ソフトウェア開発のメリット｜gihyo.jp … 技術評論社第2回　小さなマージリクエストが優れたレビューの鍵となる理由 [B!] 2022-05-24 10:11:56
「型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages”（TAPL）を翻訳したもの」型システム入門プログラミング言語と型の理論 \| Ohmsha [B!] 2022-05-24 10:14:03
「多くの人が挫折している入門書です。(入門書詐欺という声もよく見かけますが、そんなことは無いです。ただたんに内容が難しい入門書というだけです)」型システム入門 [B!] 2022-05-24 10:44:37
書評「型システム入門」 - 純粋関数空間書評「型システム入門」 - 純粋関数空間 [B!] 2022-05-24 11:12:41
型推論のしくみ \| Technology \| KLablog \| KLab株式会社型推論のしくみ [B!] 2022-05-24 11:12:57
書評「型システム入門」 - あどけない話書評「型システム入門」 - あどけない話 [B!] 2022-05-24 11:13:12
「歴史的経緯により東日本（信越地方と静岡県より東）は「（メガネの）パリミキ」（かつてはパリーミキ）、西日本（富山県と中京地方より西）は「メガネの三城」（メガネのみき）の店舗名で出店」パリミキホールディングス - Wikipedia [B!] 2022-05-24 16:19:35
技術に対するモチベーションが下がったらどうする？Javaスペシャリストを20年以上支えてきた思考法とは - Findy Engineer Lab - ファインディエンジニアラボ技術に対するモチベーションが下がったらどうする？Javaスペシャリストを20年以上支えてきた思考法とは - Findy Engineer Lab - ファインディエンジニアラボ [B!] 2022-05-24 17:21:26
ボードゲームが再販されないわけ(Why don’t they just reprint it?)｜べよ｜note ボードゲームが再販されないわけ(Why don’t they just reprint it?)｜べよ｜note [B!] 2022-05-24 17:41:48
「作業を誤ったと誤解されてネット上に名前や顔をさらされている」阿武町誤送金問題・ネットで広がる誤解職員の父親は「残念でしかたない」（ｔｙｓテレビ山口） - Yahoo!ニュース [B!] 2022-05-24 21:43:08