Что делает язык программирования «модным»?

Сейчас много языков программирования, соперничающих за ваше внимание, особенно «горячие» (или «модные!») новые языки, такие как Ceylon, Crystal, Dart, Elixir, Elm, Go, Haxe, Julia, Kotlin, Rust, Swift, TypeScript. И новые, кажется, появляются каждый месяц!

Даже некоторые из не совсем новых языков привлекают внимание, такие языки, как Clojure, Erlang, F#, Haskell, Lua, OCaml, Scala. Некоторым из них исполнилось несколько десятилетий!

Поэтому мне стало интересно: что делает язык программирования, независимо от возраста, модным и захватывающим? Почему 27-летний Haskell все еще вызывает разговоры? Как может 31-летний Erlang вызывать эмоции после стольких лет? Какова любовь к 24-летнему Lua? Об F# до сих пор говорят очень нежно, хотя за ним стоит 12-летняя история.

Конечно, одной из главных причин является растущий в последние годы интерес к функциональному программированию. Люди изучают все их функциональные возможности, в том числе языки, предшествующие Java (порой несправедливо называемые древними и устаревшими).

Erlang примечателен OTP (Open Telecom Platform) и его системой времени исполнения (BEAM), что делает Erlang замечательным для написания распределённых отказоустойчивых приложений.

Clojure использует силу и элегантность Lisp. Lua популярен в игровой индустрии как встраиваемый язык. Kotlin и Scala пытаются улучшить Java, самый популярный язык программирования на планете.

Dart и Elm предлагают альтернативы широко презираемому JavaScript. Rust обещает безопасность памяти. Julia – технологический tour de force.

Таким образом, казалось бы, эти языки популярны по разным причинам. За исключением функционального программирования, действительно нет общих признаков. Даже 7-летний Go поднялся на вершину языковых чартов благодаря простоте и минималистичности, без каких-либо инноваций в дизайне языка!

Тогда как мы объясним тот факт, что языку Smalltalk сегодня так мало уделяют внимания? У него есть все нужное…

1. Smalltalk – один из самых маленьких, простых и элегантных языков программирования, когда-либо созданных. Весь его синтаксис может поместиться на обратной стороне открытки! Это делает Smalltalk очень, очень лёгким в изучении. У Smalltalk крайне низкое, если не несущественное когнитивное трение при кодировании. Вам не нужно задумываться над языком, вы просто решаете вашу проблему.
2. Smalltalk имеет великолепные «живое кодирование и отладку» в IDE, которые делают программирование чрезвычайно быстрым и продуктивным. Вы можете внести изменения в текущую программу и сразу увидеть результаты. Это почти полностью исключает цикл edit-compile-test-debug, который затрудняет работу почти со всеми иными языками программирования. И это удивительно просто в использовании. В современном мире программирования нет ничего подобного.
3. Smalltalk – один из самых продуктивных языков программирования ^[1]. Более чем в два раза производительнее, чем Python и Ruby. Более чем в 3 раза эффективнее JavaScript!
4. Несмотря на свою относительную безвестность, Smalltalk – очень практичный промышленный язык! Он коммерчески использовался более трёх десятилетий. Его известные пользователи включают JPMorgan, Desjardins, UBS, Florida Power & Light, Texas Instruments, Telecom Argentina, Orient Overseas Container Lines ^[2], Siemens AG и прочие. Проверьте ALLSTOCKER ^[3] и банкоматы на улицах Москвы ^[4].
5. Smalltalk прекрасно масштабируем. В начале 2000-х годов объединённые военные силы США использовали Smalltalk для написания программы в миллион строк по моделированию боевых действий под названием JWARS. Фактически он превзошел аналогичное моделирование под названием STORM, написанное на C++ в ВВС США.
6. Smalltalk имеет богатое наследие ^[5]. Это был первый язык программирования для популяризации ООП, и он остается прекрасным примером языка ООП (именно поэтому он породил целое поколение языков ООП, таких как Java, Python, PHP, Ruby, Perl, Objective-C, CLOS, Dart, Scala, Groovy и прочие). Smalltalk – это правильное ООП
7. Smalltalk продолжает активно развиваться, особенно в рамках проекта Pharo ^[6] и Inria ^[7]. И Amber ^[8] для сети, и Redline ^[9] для JVM. Smalltalk был модернизирован для двадцать первого века.
8. Кстати, у Smalltalk также есть функции первого класса и замыкания, поэтому он хорош и для функционального программирования!

Smalltalk чрезвычайно универсален (является языком программирования общего назначения):

• Smalltalk хорош для науки о данных и численных вычислений, благодаря PolyMath ^[10] и Roassal ^[11] (также см. Численные методы с Pharo ^[12])
• Smalltalk хорош для Интернета Вещей и робототехники (например, Pharo Pi ^[13] и ESUG on robotics ^[14])
• Smalltalk хорош для ERP (планирование ресурсов предприятия) ^[15]
• Smalltalk хорош для машинного обучения ^[16] и нейронных сетей ^[17]
• Smalltalk хорош для обработки естественного языка ^[18]
• Smalltalk хорош для виртуальной реальности ^[19] (например, 3D Immersive Collaboration ^[20])
• Smalltalk можно даже использовать для программирования игрового движка Unreal ^[21]
• Smalltalk используется для борьбы с Эболой ^[22]!
• Smalltalk используется в широкомасштабной визуализации данных для лекарств в 16 странах ^[23]
• Smalltalk можно использовать для написания кросс-платформенных мобильных приложений ^[24] (2% в JS, 98% в Smalltalk!)
• Smalltalk хорош для серверной веб-разработки, благодаря веб-инфраструктуре Seaside ^[25]

И я лишь начал!

Smalltalk заслуживает место среди «горячих» (или «модных!») новых языков, таких как Elixir, Elm, Go, Julia, Kotlin, Rust. В конце концов, Pharo всего 9 лет.

Об авторе

Ричард Энг – отставной разработчик программного обеспечения из Канады с более чем 30-летним опытом работы в ИТ-индустрии. Он работал в сфере видео графики, баз данных и финансов, программного обеспечения реального времени, мобильных приложений для iOS и Android, а также в веб-разработке. Он писал в основном на C, но также использовал FORTRAN, Tandem TAL, C++, C#, Objective-C, Java, Smalltalk, Python и Go. Сейчас он возглавляет кампанию Smalltalk Renaissance. Большую часть времени Ричард проводит за написанием статей и эссе.

Автор: Ariel VA Feinerman

Источник ^[26]