Bahasa pertama dengan dukungan pemrograman generik

15

Yang merupakan bahasa pertama dengan dukungan pemrograman generik, dan apa yang menjadi bahasa pengetikan utama statis pertama (banyak digunakan) dengan dukungan generik.

Generik menerapkan konsep tipe parameter untuk memungkinkan beberapa tipe. Istilah generik berarti "berkaitan atau sesuai dengan kelompok kelas besar."

Saya telah melihat sebutan "pertama" berikut ini:

Polimorfisme parametrik orde pertama kini menjadi elemen standar bahasa pemrograman yang diketik secara statis. Dimulai dengan System F [20,42] dan bahasa pemrograman fungsional, konstruk telah menemukan jalan mereka ke bahasa-bahasa utama seperti Java dan C #. Dalam bahasa-bahasa ini, polimorfisme parametrik orde pertama biasanya disebut generik.

Dari " Generics of a Kind Kind" , Adriaan Moors, Frank Piessens, dan Martin Odersky

Pemrograman generik adalah gaya pemrograman komputer di mana algoritma ditulis dalam bentuk tipe yang akan ditentukan kemudian yang dipakai saat dibutuhkan untuk jenis tertentu yang disediakan sebagai parameter. Pendekatan ini, dipelopori oleh Ada pada tahun 1983

Dari Wikipedia Generic Programming

programming-languages history

— oluies
sumber

8

Sedikit lebih awal dari Ada: http://en.wikipedia.org/wiki/Hindley-Milner#algorithm

Implementasi pertama yang banyak digunakan adalah http://en.wikipedia.org/wiki/ML_programming_language

— Logika SK
sumber

4

Mungkin Gundul. Kurang lebih melakukan itu di tahun 1960-an. Bahkan jika pertanyaannya adalah apa bahasa pertama yang melakukan hampir semua hal yang perlu diperhatikan, Anda mungkin akan menemukan itu bahasa Inggris. Agak menakutkan untuk menyadari bahwa fitur baru yang keren dalam bahasa X sebenarnya adalah fitur baru keren dari lisp pada tahun 1960!

— Zachary K
sumber

7

Lisp tidak diketik secara statis sehingga "generik" bahkan tidak masuk akal dalam konteks itu.

— Rufflewind

Yah "Generik" hanya masuk akal untuk beberapa jenis pengetikan statis. Ada banyak jenis sistem tipe yang memiliki sifat berbeda.

— Zachary K

@ZacharyK Fitur sistem tipe khusus yang dimaksud dengan "generik" adalah polimorfisme paramteris , yang tidak masuk akal dalam bahasa yang tidak diketik.

— Jack

3

Sebelum obat generik ada template, dan sebelum substitusi makro itu.

— Lie Ryan
sumber

Template bukan polimorfisme parametrik, yang merupakan arti kebanyakan orang ketika mereka mengatakan "generik" dalam konteks tipe. Template dan makro bahkan tidak terikat pada sistem tipe, mereka adalah fitur ortogonal sama sekali.

— Jack

Jawaban ini membingungkan "Java generics" dengan "generic programming".

— Kaz