Pertanyaan yang diberi tag «typing»

14
Bagaimana saya bisa menjelaskan kepada orang tua saya bahwa saya belajar bahasa pemrograman?
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 menjelaskan apa yang saya (ingin) lakukan kepada orang-orang …
1
Apa perbedaan utama antara polimorfisme baris dan subtipe
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 saya dengan lebih banyak pertanyaan daripada sebelumnya. Misalnya, ia membuat klaim …
20 typing 
3
Fungsi ML dari tipe 'a ->' b
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 Exit Tetapi profesor mengatakan …
1
Inferensi Tipe Berbasis Kendala dengan Data Aljabar
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 secara elegan memihak tipe data aljabar. Apa yang saya miliki sejauh …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.