Dalam bahasa pemrograman apa "biarkan" pertama kali muncul?

Saya bertanya-tanya tentang asal-usul "biarkan" yang digunakan dalam Lisp, Clojure, dan Haskell. Adakah yang tahu bahasa mana yang pertama kali muncul?

Nah, BASIC memiliki LETtugas sebagai bagian dari sintaks sejak awal tahun 1964, sehingga akan mendahului penggunaan letdalam Lisp, yang seperti yang ditunjukkan Chris Jester-Young tidak muncul sampai tahun 1970-an menurut Evolution of Lisp .

Saya tidak percaya COBOL, Fortran, atau ALGOL memiliki LETsintaks mereka juga. Jadi saya akan pergi dengan BASIC.

Saya ingin menambahkan sudut pandang teoretis: Dalam kalkulus lambda klasik, lethanyalah gula sintaksis. Sebagai contoh

let x = N in M

dapat ditulis ulang hanya sebagai

(λx.M)N

Jadi penampilan pertamanya dalam bahasa-bahasa awal (fungsional) tidak begitu menarik.

Namun, menjadi sangat penting dengan penemuan sistem tipe Hindley-Milner dan algoritme inferensi tipenya. Dalam sistem jenis letini sangat diperlukan, karena itu polimorfik (tidak seperti λ-abstraksi di HM). Misalnya, perhatikan ungkapan sederhana ini:

let id = λx . x in id id

Berikut idadalah polimorfik, ia memiliki tipe ∀α.α → α, dan karenanya id idtipe-cek - tipenya adalah id id : τ → τuntuk τ acak. (Untuk yang pertama idkami tetapkan τ → τuntuk αdan untuk yang kedua idkami tetapkan τuntuk α.)

Namun, kami tidak dapat menulis ulang menggunakan abstraksi λ dan aplikasi. Ekspresi

(λid . id id)(λx.x)

tidak mengetik-cek, karena dalam abstraksi λ pertama idharus ditugaskan jenis monomorfik id : σuntuk beberapa σ, dan tidak ada σ sehingga kita bisa berlaku id : σuntuk id : σ.

Anda dapat mencobanya sendiri di Haskell. Saat let id = \x -> x in id id :: t -> tmengetik-cek, pengetikan (\id -> id id)(\x -> x)gagal dengan

Terjadi cek: tidak dapat membangun tipe infinite: t0 = t0 -> t0
Pada argumen pertama id, yaitu id
Dalam ekspresi: id id
Dalam ekspresi:\id -> id id

Lisp adalah bahasa tertua yang memiliki LET sekarang . Tetapi BASIC adalah yang pertama mendapatkannya, karena Lisp telah mendapatkannya jauh kemudian.

Dalam Ada Lovelace Analytical Engine (1843) - no LET, sebuah program terlihat seperti:

N0 6 N1 1 N2 1 × L1 L0 S1  L0 L2 S0 L2 L0 CB?11 '

Dalam Plankalkül of Zuse (1943-45) program tersebut terlihat:

P1 max3 (V0[:8.0],V1[:8.0],V2[:8.0]) → R0[:8.0]
max(V0[:8.0],V1[:8.0]) → Z1[:8.0]
max(Z1[:8.0],V2[:8.0]) → R0[:8.0]
END

Kode Pendek diusulkan oleh John Mauchly pada tahun 1949

X3 =  (  X1 +  Y1 )  /  X1 * Y1   

PL Menengah Burks, 1950, digunakan untuk penugasan ->

Rutishauser pada tahun 1952 digunakan =>=

Böhms compiler, 1952, digunakan ->

Di Universitas Manchester, Alick Glennie berkembang Autocodepada awal 1950-an. Kode dan kompiler pertama dikembangkan pada tahun 1952 untuk komputer Mark 1 di Universitas Manchester dan dianggap sebagai bahasa pemrograman tingkat tinggi pertama yang dikompilasi. Sekali lagi, ->untuk penugasan

Charles Adams, FORTRAN 0 dari grup Backus, Brooker's Autocode 2, ПП1 dari Lubimsky dan Kamynin; semua pada tahun 1954, lagi=

BACAIC (Grems, Porter), 1954, *untuk penugasan!

Kompiler, ADES, 1955, =

ITU, 1956, <-

FORTRAN, 1957, =

AT-3 (1956), Math-Matic (1957), sekali lagi =,

tetapi Flow-Matic pada tahun 1957 memiliki dua tugas, dan keduanya dalam kata-kata

TRANSFER a TO b dan MOVE a TO b

Mesin Bauer dan Samelson, 1957: =>

Maaf, saya tidak bisa mencakup semua bahasa antara tahun 1957 dan 1964, tetapi bahasa yang lebih besar

1957 - COMTRAN (forerunner to COBOL)
1958 - LISP
1958 - ALGOL 58
1959 - FACT (forerunner to COBOL)
1959 - COBOL
1959 - RPG
1962 - APL
1962 - Simula
1962 - SNOBOL
1963 - CPL (forerunner to C)

belum BIARKAN untuk tugas. Atau tidak , dalam kasus LISP.

Dartmouth BASIC adalah versi asli dari bahasa pemrograman BASIC. Versi interaktif pertama dibuat tersedia untuk pengguna umum pada bulan Juni 1964 ;

 LET / = — assign formula results to a variable

Nah, di antara mereka bertiga, Lisp pasti yang pertama. Haskell muncul sekitar tahun 80-an, dan Clojure pada tahun 00-an, dan lettelah ada jauh sebelum tanggal-tanggal tersebut. :-)

Seperti apakah Lisp adalah yang bahasa telah menemukan itu, aku tidak bisa menjamin untuk itu, tapi saya akan melakukan penelitian dan melihat. :-)

Pembaruan: Menurut Evolusi Lisp (lihat halaman 46), disebutkan bahwa letditemukan pada tahun 70-an:

LET—Diri makro yang pertama kali ditemukan dan diciptakan kembali secara lokal di setiap situs — adalah pendatang baru ke dunia MacLisp; menurut Lisp Archive, ia diserap secara surut ke dalam PDP-10 MacLisp dari Lisp-Machine Lisp pada 1979 bersamaan dengan sintaksis argumen DEFMACROLisp Machine yang kompleks DEFUN.

Masih tidak cukup menjawab apakah itu ditemukan dalam bahasa lain sebelumnya, tentu saja, tetapi masih merupakan data lain. :-)

Laporan Skema Revisi pertama AIM-452 dari Januari 1978 LET. Halaman 9.

perhatikan bahwa Lisp sebelumnya menggunakan konstruk yang berbeda PROGuntuk memperkenalkan variabel lokal.

(let ((a 1)
      (b 1))
  (+ a b))

akan ditulis lebih awal sebagai

(prog (a b)
  (setq a 1)
  (setq b 1)
  (+ a b))