TypeScriptを導入する意味と限界、型レベルプログラミングの紹介 - Qiita

2024/06/10 167 users TypeScript Qiita プロパティ ライブラリ 利点

はじめに JavaScript/TypeScript初学者を抜けたあたりの方に向けてTypeScriptの利点や限界、型レベルプログラミングについて紹介します。 TypeScriptはJavaScriptをラップしたライブラリであり、静的な型情報をつけることができます。また、それらの型情報をもとに型を推論し、型違反な代入やプロパティへのアクセスなど... 続きを読む

執筆中：「Haskellでの型レベルプログラミング」 | 雑記帳

2022/03/30 11 users Haskell 筆者 側面 強み 雑記帳

最近、「Haskellでの型レベルプログラミング」という「本」を執筆している。まだ完成ではないが、以下のリンクから読める： Haskellでの型レベルプログラミング なぜHaskellか 最近いろんな言語が出てきている中で、Haskellの強みとは何だろうか。人によって答えは色々あるだろうが、筆者にとってHaskellの魅力的な側面... 続きを読む

Haskellでの型レベルプログラミング

2022/03/16 5 users Haskell 解説書

Haskellでの型レベルプログラミングの解説書です。 続きを読む

型レベルプログラミング in Scala(Type-Level Programming in Scala) — Japanese translation of Apocalisp v1.0 documentation

2011/06/14 61 users Scala Japanese translation 著者

型レベルプログラミング in Scala(Type-Level Programming in Scala)¶ この連載はScalaにおける型レベルプログラミングの紹介です。解説は、コードと例とすこしばかりの説明で成り立ちます。また、読者はScalaの一般的な型システムについての知識があることを前提にしています。これは著者の傲慢ではないので(もちろん読者のでもなく)、質問は歓迎します。 連載は10の... 続きを読む