Abstract. This article presents a resource analysis system for OCaml programs. The system automatically derives worst-case resource bounds for higher-order polymorphic programs with user-defined inductive types. The technique is parametric in the res
Nothing in nature is unbeautiful. Alfred, Lord Tennyson
Idea Transcript
Error loading player: No playable sources found
Rust is a new programming language targeting systems-level applications. Rust offers a similar level of control over performance to C++, but guarantees type soundness, memory safety, and data-race freedom. One of Rust's distinguishing features is that, like C++, it supports stack allocation and does not require the use of a garbage collector. In this talk Felix introduces Rust for functional programmers, In these talks the examples focus on the commons points betweens OCaml and Rust. This talk was made for the Ocaml User Group of Paris (OUPS) Felix S Klock II is a senior researcher at Mozilla research. He focuses on safe support for parallelism in prorgramming languages. He is currently working on the Rust programming language as well as Parallel JavaScript.
Start time: 4 years ago Duration: 29 minutes Channels: Main, OCaml, Paris - Salle des Fêtes, Rust Tags: rust, OCaml, programming Licensed under the Creative Commons BY-SA 3.0 license:
No comments posted here. Yet. You must be signed in to post comments.
Introduction to Rust See more »
Talks: An overview of the Servo architecture by Emilio and rust ¤ sensors by Claus See more »
Talks: Arvid E. Picciani (https://github.com/aep) Application container deployment for the Internet of Things with Rust Solving containerization on very constrained devices will enable a new... See more »
Michael Layzell provides a guided introduction to writing parsers using the popular Rust library called nom. See more »
Except where otherwise noted, content on this site is licensed under the Creative Commons Attribution Share-Alike License v3.0 or any later version.