Saat ini saya sedang menyelesaikan MSc saya dalam ilmu komputer. Saya tertarik pada bahasa pemrograman, terutama dalam sistem tipe. Saya tertarik dalam penelitian di bidang ini dan semester depan saya akan memulai PhD pada subjek. Sekarang inilah pertanyaan sebenarnya: bagaimana saya bisa...
Saya ingin tahu apakah tipe dikuantifikasi secara universal : adalah sub-tipe, atau kasus khusus, dari tipe dikuantifikasi secara dengan tanda tangan yang sama:T a = ∀ X : { a ∈ X , f : X → { T , F } }TSebuahTSebuahT_aTSebuah= ∀ X: { a ∈ X, f: X→ { T, F} }TSebuah=∀X:{Sebuah∈X,f:X→{T,F}}T_a =...
Saya sering mendengar bahwa polimorfisme baris adalah pendekatan yang lebih baik daripada subtyping, tetapi saya kesulitan menemukan apa pun yang membandingkannya secara terperinci. Saya terutama tertarik pada perspektif pengguna sistem. Saya memang menemukan posting blog ini , tetapi meninggalkan...
Profesor kami meminta kami untuk memikirkan fungsi dalam OCaml yang memiliki tipe 'a -> 'b yaitu fungsi dari satu argumen yang bisa berupa apa saja, dan yang dapat mengembalikan apa pun yang berbeda. Saya berpikir untuk menggunakan raisefungsi yang mengabaikan argumennya: let f x = raise...
Saya membaca tentang algoritma pengetikan Hindley-Milner saat menulis implementasi, dan melihat bahwa, selama setiap variabel terikat, Anda akan selalu mendapatkan tipe atau tipe atom di mana argumen akan menentukan tipe final, seperti t1 -> t1atau (t1 -> t2) -> (t1 -> t2)di mana t1dan...
Saya sedang mengerjakan bahasa berbasis ekspresi dari silsilah ML, jadi tentu saja perlu inferensi jenis> :) Sekarang, saya mencoba untuk memperluas solusi berbasis kendala untuk masalah tipe menyimpulkan, berdasarkan pada implementasi sederhana dalam EOPL (Friedman dan Wand), tetapi mereka...
Apakah mungkin untuk menggunakan Tipe Tanggungan dalam implementasi Typed Racket yang ada ? (Yaitu apakah mereka ada di dalamnya?) Apakah mungkin untuk menerapkan Sistem Jenis Tanggungan menggunakan Typed
Saya belajar pemrograman dalam ML (OCaml), dan sebelumnya saya bertanya tentang fungsi tipe ML'a -> 'b . Sekarang saya sudah bereksperimen sedikit dengan fungsi tipe 'a list -> 'b list. Ada beberapa contoh sederhana yang jelas: let rec loop l = loop l let return_empty l = [] let rec...