It has been developed at INRIA for the last 30 years and has seen increased interest from a broader audience in the last few years as a tool of choice to develop not only industrial-strength compilers or program analyzers, but also advanced fin-tech platforms. This talk is a selective and personal introduction to OCaml features. As such it is bound to be partial. Here, we will first cover basic functional and imperative aspects of the language.
The second part of the talk will deal with some more advanced traits, as a first step towards making you want to explore other and deeper corners of OCaml.
YOU MAY ALSO LIKE:
- ScalaCon 2021: November Edition (Online Conference on 2nd - 5th November 2021)
- Haskell eXchange 2021: Novice Track (Online Conference on 15th November 2021)
- Domain-Driven Design Hands-On Workshop: A DDD-traineeship at "Carries Cars" (Online Meetup on 26th October 2021)
- Using F# to Structure an Island of Simplicity (SkillsCast recorded in October 2021)
- Adopting F# on a Consultancy Project: From Zero to MVP to V0 Launch (SkillsCast recorded in October 2021)
Intro to OCaml
Richard is a Senior Software Engineer, a longtime OCaml developer, and the lead tech on Tweag’s Tezos blockchain projects. Prior to joining Tweag, Richard was a researcher for CEA LIST's Software Safety and Security Laboratory for 10 years, working on advancing formal methods for binary program analysis, and served as lead developer of the BINSEC platform. He was also a visiting professor at the Universidade Federal do Rio Grande do Norte, where he worked on the SMT solver veriT. Richard has an Engineering Degree in Computer Science and Applied Mathematics, a Masters in Programming: Semantics, Proofs and Languages from Université Denis Diderot; and received his PhD from Université Pierre et Marie Curie, where he studied the area of automated theorem proving. Outside of Tweag, Richard organizes and participates in various international software protection events, and enjoys swimming, running, biking, playing guitar, and family time."