C++ Siberia 2020: Виталий Брагилевский - Управление ресурсами

C++ Siberia 2020: Виталий Брагилевский - Управление ресурсами

В этом докладе я расскажу о том, что такое линейные типы и чем они могут помочь в управлении ресурсами, а также приведу примеры их использования в разных языках, сравнив с подходами, принятыми в С++.

. Как известно, языки программирования слабы в описании того, что нужно делать разработчикам. Они, конечно, пытаются помочь, но не всегда успешно. В результате программы содержат множество ошибок, что печально. В 1986 году Жан-Ив Жирар открыл линейную логику и тут же оказалось, что по соответствию Карри-Ховарда можно построить систему типов, которая способна выразить идею контроля за использованием ресурсов с ограниченным доступом. Спустя 30 с лишним лет можно сказать, что пока не всё получилось, но прогресс есть! В этом докладе я расскажу о том, что такое линейные типы и чем они могут помочь в управлении ресурсами, а также приведу примеры их использования в разных языках, сравнив с подходами, принятыми в С++.

cplusplus

Bootstrap 5 Complete Course with Examples

Bootstrap 5 Tutorial - Bootstrap 5 Crash Course for Beginners

Nest.JS Tutorial for Beginners

Hello Vue 3: A First Look at Vue 3 and the Composition API

Building a simple Applications with Vue 3

Deno Crash Course: Explore Deno and Create a full REST API with Deno

How to Build a Real-time Chat App with Deno and WebSockets

Convert HTML to Markdown Online

HTML entity encoder decoder Online

Standard Template Library (STL) in C++ | Lists

Getting started with STL in C++. The Standard Template Library (STL) is a very useful set of template classes containing various containers. One among these containers is Lists. Today we’ll be having a look at Lists in STL. But before we proceed further I’d like to say that if this is your first time learning STL then I’d recommend you have a look at this article before beginning with this one.

Compiling C/C++ Module to WebAssembly

When you’ve written a new code module in a language like C/C++, you can compile it into WebAssembly (wasm) using a tool like Emscripten. Let’s look at how it works.

C++ Tutorial for Beginners - Learn C++ Programming Language

This video on C++ programming tutorial will help you to learn C++ programming language. Learn basics of C++, OOPS in C++, advanced topics in C++, Interview Questions based on C++. It covers all the topics for all the three categories of learners, beginner, intermediate and experienced professionals.

Unreal Engine C++ Developer: Learn Unreal Engine and Make Video Games

In this Unreal Engine C++ tutorial, you'll learn Unreal Engine in this full tutorial using C++ and make video games. In this beginner's course, you will how to create three full games with Unreal Engine and Blueprints.

Qt5 C++ GUI Development Full Course For Beginners

Build Cross Platform C++ GUI Applications with Qt, Run them on Windows, Mac, Linux, Android, iOS and Embedded Devices. Learn the basics of GUI programming with Qt5 and C++. What is Qt5 (C++ GUI)? Qt5 is the latest version of Qt. Qt5 makes it easier to address the latest UI paradigm shifts that touch screens and tablets require. Developers can be more productive and flexible with the improved support for JavaScript and QML in Qt 5, while still having the C++ foundation and Qt Widget support. HTML5 developers will feel at home with the Web offering that includes Chromium-based Qt WebEngine and Qt WebChannel.