Вы здесь

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

Лекция Хит
Предмет:
Дата записи:
02.10.11
Дата публикации:
02.10.11
Код для блога:

Летом 2011 компания JetBrains объявила о разработке проекта Kotlin — статически типизированного ОО-языка программирования, компилируемого для платформы Java и предназначенного для использования промышленными разработчиками ПО. При разработке мы руководствуемся следующими требованиями к языку: он должен

  • быть совместим с Java “в обе стороны”: код на Java можно вызывать из кода на Kotlin, и наоборот;
  • компилироваться как минимум так же быстро как Java, это требование особенно важно для больших проектов;
  • быть безопаснее Java, то есть статически гарантировать отсутствие ошибок, типичных для программ на Java;
  • быть лаконичнее Java. Всем известны обвинения Java в излишней “церемониальности”: код на этом языке изобилует “само собой разумеющимися” конструкциями, загромождающими программы;
  • и, наконец, при сохранении необходимой выразительности, новый язык должен быть значительно проще Scala, нашего основного конкурента, поскольку сложность освоения — очень существенный фактор.

Как легко догадаться, интегрированная среда разработки (IDE) для нового языка создается параллельно с компилятором, “с первого дня”, так что пользователи даже самых ранних версий могут рассчитывать на достойную инструментальную поддержку.

Выход публичной бета-версии компилятора запланирован на конец 2011 года. В настоящее время доступно описание языка, размещенное на странице проекта.

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

  • система типов: отслеживание нулевых ссылок, автоматическое приведение типов, обобщенные типы и вариантность,
  • модель наследования,
  • внешние функции,
  • функции высших порядков,
  • создание DSL.

Предполагается знакомство аудитории с Java, C# или C++.

Страница лекции на сайте Computer Science клуба

Дополнительные материалы: 
Иконка PDF 20111002_csseminar_kotlin.pdf