Name: First Meeting C++ online: Ivan Čukić
Start: 2020-08-27T19:30:00+02:00
End: 2020-08-27T21:30:00+02:00

The first Meeting C++ online will feature Ivan Čukić with his talk "Move-only types can save the API"

Schedule:
19:30 Welcome
19:50 short break for setup
20:00 ish: Ivan presents his Talk!

Details on Ivans Talk:
C++ is a language celebrated for its abstraction mechanisms that do not incur performance penalties at runtime. It is often used in many mission critical systems, games, and everywhere else where speed and safety are paramount.

That does not mean all C++ programs are fast by default. One of the most time costly mistakes we can make in C++ is creating unnecessary copies. C++11 move semantics made a move into the right direction. The move semantics allow us to give away data that we no longer want to use to somebody else without the penalty of creating the copy and without the risk of data races due to data being shared between multiple entities.

But, while generally cheaper than copying, moving is still not a free operation. For this reason, many people diss on the FP-style APIs as inefficient and create impure stateful APIs instead.

We are going to cover “linear types” – an idea from Phil Wadler that was meant to simplify and optimize pure GC-based languages such as Haskell. We’re going to show how the same concept that allows pure functional programming languages to efficiently “change the world” can improve software written in a traditionally imperative impure language such as C++. We will show that with linear types, the FP-style APIs do not need to be inherently slower than their impure imperative counterparts.

JensW

Meeting C++ online

Technology

C & C++

Software Development

Functional Programming

Computer Programming

Concurrent Programming

First Meeting C++ online: Ivan Čukić

Online event

Teilen

First Meeting C++ online: Ivan Čukić

Meeting C++ online

Details

Mitglieder interessieren sich auch für