Volume ini berisi makalah-makalah yang dipresentasikan pada PSI 2014: Konferensi Informatika Ershov ke-9 yang diadakan pada tanggal 24-27 Juni 2014 di St. Petersburg, Rusia.PSI adalah forum internasional utama di Rusia untuk peneliti akademis dan industri, pengembang, dan pengguna yang mengerjakan topik yang berkaitan dengan ilmu komputer, perangkat lunak, dan informasi. Konferensi ini berfungs…
Tutorial yang bergerak cepat ini memperkenalkan Anda pada OCaml, sebuah pemrograman kekuatan industri bahasa yang dirancang untuk ekspresi, keamanan, dan kecepatan. Melalui buku banyak contoh, Anda akan segera mempelajari bagaimana OCaml menonjol sebagai alat untuk menulis dengan cepat, kode sistem yang ringkas dan mudah dibaca menggunakan pemrograman fungsional.