Evgeny Simonenko
Evgeny Simonenko
Various reviews: courses, software, hardware, etc.
Наверное все, кто изучал информатику и вычислительную технику в университете, так или иначе, в курсе функционального программирования, например, столкнулся с Scheme – языком функционального программирования, произошедшем от Lisp, и известным как язык со скобками, то есть где всё является так называемыми S-выражениями. Скорее всего это был MIT/GNU Scheme или Racket. Но на самом деле реализаций Scheme великое множество. В этой статье собраны в таблицы различные реализации Scheme, указаны поддерживаемые ими версии языка, является ли реализация компилятором или интерпретатором, и другая информация.
Как-то заглянув на GitHub, обнаружил Koka – язык функционального программирования со статической типизацией. Koka разрабатывается с 2012 года Daan Leijen в Microsoft Research, USA. Его исходники выкладываются на GitHub под лицензией Apache 2.0. Как признаются его авторы, он ещё не готов для промышленного применения: у него нет библиотек, менеджера пакетов и полной поддержки в средах разработки. При этом сам язык достаточно стабилен, а компилятор полностью разработан. Отдельными моментами язык напоминает Rust, Haskell и Scala. Сам же по себе он интересен контролем побочных эффектов. Это его основная фишка. Приглашаю познакомиться с Koka и обсудить его свойства.
fun main(): console ()
println("Hello, World!")
Сначала пробежимся по свойствам языка, а затем рассмотрим один небольшой пример.
На сегодняшний день графовых СУБД стало настолько много, что аж глаза разбегаются. Они написаны на различных языках, предлагают различные языки запросов, некоторые не ограничиваются одной только графовой моделью. Давайте пройдёмся по наиболее популярным и известным, свободно-распространяемым из них. Сначала мы рассмотрим полноценные СУБД, а затем – встраиваемые.
arXiv.org – некоммерческий научный сайт, основное назначение: открытая публикация научных статей, принадлежит Корнеллскому университету (США), основан 14 августа 1991.
Успешно завершил курс Learning How to Learn. Курс понравился. Сам курс на английском языке, но под большинством видео есть русские субтитры. Кроме того, в продаже есть перевод книги одного из авторов курса Думай как математик. Как решать любые задачи быстрее и эффективнее – Барбара Оакли. Книгу прочитал: в целом она идентична по содержанию этому курсу.