Реализация borrow checker в IntelliJ-Rust

Руководитель

Владислав Бескровный

Продукт

IntelliJ IDEA

Город

Санкт-Петербург

Проект

Rust - современный язык системного программирования без сборщика мусора и проверкой безопасности работы с памятью во время компиляции. Мы разрабатываем плагин для поддержки Rust в IntelliJ IDEA. Одной из основных фичей Rust является встроенный в компилятор мощный статический анализ, главной составляющей которого является borrow checker. Именно он гарантирует безопасность работы с памятью. Целью данной стажировки является реализация некоторого подмножества borrow checker в IntelliJ-Rust.

Технологии

IntelliJ platform

Требования

Языки программирования: Kotlin

Знания и навыки

  • Rust/C/C++;
  • знакомство с теорией построения компиляторов;
  • знакомство с теорией типов как неоспоримый плюс ;)

Реализация