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
      Software Engineering DailyBy Software Engineering Daily
      • 4.3
      • 4.3
      • 4.3
      • 4.3
      • 4.3

      4.3

      13 ratings