程序代写代做代考 jvm compiler interpreter c# javascript html ocaml F# flex concurrency Java c++ Lambda Calculus Haskell data structure c/c++ Erlang INTRODUCTION TO OCAML
INTRODUCTION TO OCAML slides copyright 2017, 2018, 2019, 2020 Author David Walker, updated by Amy Felty permission granted to reuse these slides for non-commercial educational purposes Alonzo Church, 1903-1995 Princeton Professor, 1929-1967 In 1936, Alonzo Church invented the lambda calculus. He called it a logic, but it was a language of pure functions — the […]