ppt课件-syntaxandsemanticsofprolog-brooklyncollege.pptVIP

by Neng-Fa Zhou Functional Programming Theoretical foundation Church’s ?-calculus expressions and evaluation rules Characteristics Single assignment variables (pure FP) Recursion Rule-based and pattern matching (ML, Haskell, F#) High-order functions Lazy evaluation (Haskell) Meta-programming (Scheme) F# A hybrid language ML-like functional programming Iimperative programming OOP Scripting Runs on the .NET platform It is possible to use any .NET library from F# It is possible to use F# library from other .NET languages such as C# Available for free Works with Visual Studio Standalone fs