データタイププログラミング

Question

「必須」および「機能的な」プログラミングを知っていますが、「データタイプ」プログラミングで見つけることができることはほとんどありませんでした。そのようなことはありますか、それは他のパラダイムとどのように関連していますか？

Answer 1

私はその用語を聞いたことがありません。 Googleも持っていません。 （唯一のヒットはこの質問です。）

私が考えることができる最も近いことは、です タイプフルプログラミング, 、1989年にLuca Cardelliによって導入されたプログラミングパラダイムです 紙 同じタイトルで。

タイプフルプログラミングのアイデアは、ドメインをモデル化し、デザインを駆動し、プログラムを構築し、一般的に問題を解決するために、幅広く、主にドメインをモデル化するためにタイプを使用することです。機能プログラミングでは、ロジックプログラミングの条項、エルランのプロセスなど。これはHaskellの典型的なスタイルです。

編集：この答えを書いたとき、質問についてのあなたのコメントを見たことがありませんでした。この2番目のものはあなたが探しているものだと思います。

上記のGoogle検索を行っている間につまずいた別の用語は、用語です DataType-Genericプログラミング. 。これは 研究プロジェクト 2003年から2006年にかけて、Haskellのパラメトリック多型またはC ++のテンプレートなど、今日可能な限りタイプでパラメータ化するプログラムを作成する新しいメカニズムを作成することを目的としています。