Open Source Archives - Software Engineering Daily

Caml with Gérard Huet

Listen Later

“It was claimed that these [object-oriented] languages were better for modularity – and I don’t believe so.”

Caml is a functional programming language that is a dialect of the ML programming language family, developed at INRIA and formerly at ENS.

Gérard Huet is a senior researcher at INRIA, the French Institute for Research and Automation. He helped develop the Caml programming language in the 80s, and has a variety of other accomplishments in the world of computer science, including developing the Coq Proof Assistant System.

Questions
  • What is ML?
  • Why was LISP so popular?
  • What was the purpose of proof assistants?
  • The first implementation of Caml appeared in 1987. What was the spec for the language?
  • What new features did Objective Caml (OCaml) bring to the language?
  • What are the numerical humanities?
    • Links
    • The Caml Language
    • The Coq Proof Assistant
    • Gérard’s personal page
      • Sponsors

      Hired.com is the job marketplace for software engineers. Go to hired.com/softwareengineeringdaily to get a $600 bonus upon landing a job through Hired.

      Digital Ocean is the simplest cloud hosting provider. Use promo code SEDAILY for $10 in free credit.

      The post Caml with Gérard Huet appeared first on Software Engineering Daily.

      ...more
      View all episodesView all episodes
      Download on the App Store
      Open Source Archives - Software Engineering DailyBy Open Source Archives - Software Engineering Daily
      • 4.3
      • 4.3
      • 4.3
      • 4.3
      • 4.3

      4.3

      13 ratings