•  

Система typestate в языке Rust

A session at Kiev::fprog

Thursday 27th September, 2012

7:00pm to 8:00pm (KMT)

Язык Rust — новый язык, разрабатываемый Mozilla Labs, ориентированный на безопасность, производительность и многозадачность. Одной из его особенностей являлась система typestate — статически проверяемые состояния типов, в которых разрешены те или иные операции с ними. Эта система существовала в языке Rust с версии 0.1 по версию 0.3, а затем была исключена из языка. В докладе пойдёт речь об истории системы typestate, её реализации в Rust и причинах её исключения. Система интересна как практический пример попытки повысить статические гарантии корректности кода без внесения дополнительной сложности для пользователей языка.

About the speaker

This person is speaking at this event.
Andrey Vlasovskikh

Developer of @PyCharm and @IdeaVim at JetBrains. My interests: Python, Haskell, C, functional programming, minimalism, IDM, ambient, suprematism. bio from Twitter

Coverage of this session

Sign in to add slides, notes or videos to this session

Kiev::fprog

Ukraine Ukraine, Kiev

27th September 2012

Tell your friends!

When

Time 7:00pm8:00pm KMT

Date Thu 27th September 2012

Short URL

lanyrd.com/sykyx

Official event site

dou.ua/calendar/2265/

View the schedule

Share

See something wrong?

Report an issue with this session