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:
- FP in Kotlin with Arrow with Jorge Castillo (Online Course on 24th - 27th May 2021)
- F# eXchange 2021 (Online Conference on 20th - 21st October 2021)
- LDN *Virtual* Talks Apr 2021 *Red Badger Takeover* (Online Meetup on 27th April 2021)
- TEDD Talk (Target Environment Driven Development) (SkillsCast recorded in March 2021)
- Ergonomic Error Handling with Rust (SkillsCast recorded in March 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."