Pertanyaan yang diberi tag «lambda-calculus»

Saya bersumpah dulu ada T-shirt untuk dijual yang menampilkan kata-kata abadi: Bagian dari apa apakah kamu tidak mengerti Dalam kasus saya, jawabannya adalah ... semuanya! Secara khusus, saya sering melihat notasi seperti ini di surat kabar Haskell, tetapi saya tidak tahu apa artinya. Saya tidak tahu cabang matematika apa yang …

851 haskell  functional-programming  lambda-calculus  hindley-milner  denotational-semantics 

Haskell (dengan GHCkompiler) jauh lebih cepat dari yang Anda harapkan . Digunakan dengan benar, ini bisa mendekati bahasa tingkat rendah. (Hal favorit yang harus dilakukan Haskellers adalah mencoba dan mendapatkan dalam 5% dari C (atau bahkan mengalahkannya, tetapi itu berarti Anda menggunakan program C yang tidak efisien, karena GHC mengkompilasi …

246 performance  haskell  ghc  higher-order-functions  lambda-calculus 

Nomor gereja adalah pengkodean bilangan asli sebagai fungsi. (\ f x → (f x)) -- church number 1 (\ f x → (f (f (f x)))) -- church number 3 (\ f x → (f (f (f (f x))))) -- church number 4 Dengan rapi, Anda dapat mengeksponensial 2 nomor …

137 algorithm  haskell  functional-programming  lambda-calculus  modular-arithmetic