плюсы со скалой по сложности могут потягаться, но больше уже ничего с огромным отрывом

Што? Плюсы самый сложный язык

Это потому что ты скалу не знаешь)

ну, понятно, что я ее не знаю, это очень сложный язык

сколько там, уже 7 слоёв костылей?

в плюсах

хотя не знаю где вы нашли сложность, если использовать def val и lazy val, там вообще сложностей с долбанутым поведением, если код пишется не левой пяткой а правильно и на котиках и прочем функциональном стеке, всё просто и понятно.

си - строгий, императивный, типизированный скала - строгий, императивный, типизированный хаскель - ленивый, декларативный, типизированный хм...

Несложно выбрать 3 свойства языков таким образом, чтобы противопоставить си и скалу хаскелю

Скажем так, на шкале между с и хаскелем, скала сильно поближе к хаскелю

К сожалению (одномерной) шкалы языков не существует

это я прекрасно понимаю

но можно смотреть какие функциональные плюшки можно делать в каком языке и сколько бойлерплейта на это уходит.

ну, кто может суппортить скалакод, тот вообще все что угодно может суппортить

я всегда люблю вспоминать один текст

про фримонады, где были последовательно листинги на хаскелле и скале

Хаскель очень простой язык, как я понял

Если автор ещё пытался при этом держать лицо -- должно было быть забавно. Можно ссылку?

https://github.com/milessabin/shapeless/wiki/Feature-overview:-shapeless-2.0.0 например, HList на джавке/С# PHP и прочем подобном будет сделать сложновато

в хаскеле он есть

на плюсах в жизни не поймёшь где именно в твоём шаблоне ошибка

на php hlist делается так: $a = []

очень просто кстати

Если автор ещё пытался при этом держать лицо -- должно было быть забавно. Можно ссылку?

я сходу не найду

это не hlist

а что?

hlist проверяет все возможные операции над списками на этапе компиляции

в пыхе это затирание типа

так в пхп вообще нет компиляции

плохо

*интерпретации

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

Смотрим рас: http://www.haskellforall.com/2012/06/you-could-have-invented-free-monads.html Смотрим 2: https://typelevel.org/cats/datatypes/freemonad.html. В смотрим 2 слишком много кода?

и доставать примерно то, что надо

если ты в HList сложишь int, double и string, вытаскивание Boolean выдаст чёткую и понятную ошибку компиляции, которую возможно IDEA на этапе написания кода покажет

в php нету проверки типов, поэтому нельзя требовать этого для hlist

но ты можешь их туда сложить и достать

и преобразовать если надо

Типы есть?

нету конечно

ну 1 тип, это же динамический язык

как в PHP и хаскель может гетерогенный список, [Dynamic]

Ну значит вся логика построенная на типах сразу болшим крестиком перечёркивается

ладно про скалу все равно я спорить не буду, больших вещей я на ней не писал

а мелкие не в счет

учить её и писать на ней большие вещи практического смысла нету, ну разве кроме +0.5% к з/п

В случае PHP он не гетерогенный - все элементы одного единственного типа, который в нём существует.

как в PHP и хаскель может гетерогенный список, [Dynamic]

0.5%)))?

учить её и писать на ней большие вещи практического смысла нету, ну разве кроме +0.5% к з/п

но могут быть с разными тегами

0.5%)))?

типа того

может 1%

Тип то один?

сюда надо адептов динамики и того что тег = тип позвать

я не могу быть представять их интересы

ты не можешь позвать тип на этапе интерпретации

чтобы интерпретатор это сделал

Видимо ты аналитик данных

может 1%

нет, я программист на Haskell

причем со сравнительно не высокой з/п

А, ну тогда тебе очень повезло, на мой взгляд

ты не можешь позвать тип на этапе интерпретации

на этапе интрепретации могу узнать тег

а есть вообще адекватное определение того, что такое тип? дайте почитать (вопрос не риторический, я просто лох таксказатб)

достаточно адекватное у пирса в первой главе

там что такое типизация тип и почему тег в динамике это не тип

А, ну тогда тебе очень повезло, на мой взгляд

повезло начать язык когда на нём было 1.5 вакансии в россии и 3 в мире (цифры уменьшены), наверное

и не побояться послать CV на вакансию про erlang и haskell, и забить на сдачу сертификации по java и желанию пойти в JB

Джавная сертификация ещё та баблорубка

да пофиг, жалко чтолии

Да как и сама джава полная бойлерплейта

Я бы товарища принудительно отправил в _blah

оффтопить я начал, извините

но этого тут не _blah был

Ну не знаю, есть ли работа на хаскеле -- типичный блах. Похожа ли скала на сабж, ну вы понели

Ну не знаю, есть ли работа на хаскеле -- типичный блах. Похожа ли скала на сабж, ну вы понели

Не похожа

а есть вообще адекватное определение того, что такое тип? дайте почитать (вопрос не риторический, я просто лох таксказатб)

http://newstar.rinet.ru/~goga/tapl/tapl003.html#toc1 Система типов — это гибко управляемый синтаксический метод доказательства отсутствия в программе определенных видов поведения при помощи классификации выражений языка по разновидностям вычисляемых ими значений.

причем со сравнительно не высокой з/п

Ничоси, невысокой

Несложно выбрать 3 свойства языков таким образом, чтобы противопоставить си и скалу хаскелю

я ничего не выбирал, перечислены все три важные свойства языков

ну в FPC раза в 2 больше бы получал

или в alphasheets раза в 3 если бы на них работал

напрямую

гордо бы говорил что у меня больше чем $100 в час рейт