Gérard Huet's guest appearances

Gérard Huet

Open Source Archives - Software Engineering Daily

Software Daily

Alex Williams

Chris Bailey

Srinivas Rao

Mike Bartlett

Jerod Santo

David Heinemeier Hansson

Marty Haught

Steve Klabnik

Kevin Xu

Craig Holliday

Ben Halpern

Cornelia Davis

Scott Weiss

Dan Abramov

Henry Zhu

OwlTail

“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.

<h3>“It was claimed that these [object-oriented] languages were better for modularity – and I don’t believe so.”</h3> <p>Caml is a functional programming language that is a dialect of the ML programming language family, developed at INRIA and formerly at ENS.</p> <p>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.</p> <h3>Questions</h3> <ul> <li>What is ML?</li> <li>Why was LISP so popular?</li> <li>What was the purpose of proof assistants?</li> <li>The first implementation of Caml appeared in 1987. What was the spec for the language?</li> <li>What new features did Objective Caml (OCaml) bring to the language?</li> <li>What are the numerical humanities?</li> </ul> <h3>Links</h3> <ul> <li><a href="http://caml.inria.fr/" rel="nofollow" target="_blank">The Caml Language</a></li> <li><a href="https://coq.inria.fr/" rel="nofollow" target="_blank">The Coq Proof Assistant</a></li> <li><a href="http://pauillac.inria.fr/~huet/" rel="nofollow" target="_blank">Gérard’s personal page</a></li> </ul> <h3>Sponsors</h3> <p><a href="http://www.hired.com/softwareengineeringdaily" rel="nofollow" target="_blank">Hired.com</a> is the job marketplace for software engineers. Go to <a href="http://www.hired.com/softwareengineeringdaily" rel="nofollow" target="_blank">hired.com/softwareengineeringdaily</a> to get a <strong>$600 bonus</strong> upon landing a job through Hired.</p> <p><a href="https://www.digitalocean.com/?utm_medium=podcasts&amp;utm_source=sedaily&amp;utm_campaign=sedaily" rel="nofollow" target="_blank">Digital Ocean</a> is the simplest cloud hosting provider. Use promo code SEDAILY for $10 in free credit.</p> <p><a href="https://www.digitalocean.com/?utm_medium=podcasts&amp;utm_source=sedaily&amp;utm_campaign=sedaily" rel="nofollow" target="_blank"></a></p> <p>The post <a href="https://softwareengineeringdaily.com/2015/11/06/caml-with-gerard-huet/" rel="nofollow" target="_blank">Caml with Gérard Huet</a> appeared first on <a href="https://softwareengineeringdaily.com" rel="nofollow" target="_blank">Software Engineering Daily</a>.</p>

Caml with Gérard Huet