程序代写代做代考 Java c# c++ concurrency jvm c/c++ javascript Haskell data structure interpreter compiler Lambda Calculus ocaml html Erlang flex F# 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 […]