Ребят, знакомый ищет подрядчика на британский проект. До 400 фунтов в день, 9 месяцев контракт, старт через 2 недели. Нужен хороший английский

Скажем я могу писать в D используя исключительно тип Variant. Получится что-то вроде эликсира :)

Это не то о чём я думаю, случайно?)

не, новый проект

Но по факту term() - это спека, а такого типа не существует :)

https://news.ycombinator.com/item?id=27192873
эликсиросрачик, например

первый ответ читается как "сениоры ушли, а новых нет, теперь у нас лапки"

Прочитал начало, больше похоже на эликсиромедополивачик :)

Ask HN: Are you satisfied with Elixir or do you regret choosing Elixir? (🔥 Score: 105+ in 1 hour)

Link: https://readhacker.news/c/4LRd3

I'll be starting to work on a new project from next month and I've been reading all but good news about Elixir. I have talked to people in real life, most of the devs had positive things to say about it. Does anyone have any arguments against selecting Elixir? Question coming from RoR developer.

Мне кажется, что в эликсир стоит добавить что-то типа тайпинга, как в питоне. Опциональные тайп хинтинги, которые позволят написать под них статический анализатор кода. Совсем победить динамическую природу BEAM и эликсира наверное все же нереально. Кстати, как пример статически типизированных акторов - actix в расте, вполне норм

чем не устраивают спеки и диалайзер?

имхо статическая типизация была придумана в ЯП как костыль, чтобы правильно выделять и освобождать память. И ведь к этому костылю все настолько привыкли, что считают это необходимостью. Да, она позволяет во время компиляции оптимизировать код и отловить 1% ошибок с неправильной передачей параметров. Но чем более высокоуровневый язык, тем меньше пользы и больше головной боли от статики. Для эрланга это вообще бесполезная если даже не вредная хрень. Хотя диалайзер - отличная штука и часто выручает

Ага, а TypeScript просто так придумали, чтобы головной боли добавить в прекрасный мир JS)

сравнил, у JS слабая типизация, можно сложить строку с объектом, а в Elixir нет

ну это просто метод описания сигнатур. в эрланге с диалайзером и паттерн-матчингом то же самое делается

Кто-то путает строгую и статическую типизацию мне кажется

Не думаю, что это решает только проблему слабой типизации. Могу сказать за питон, где строгая динамическая типизация - тайп хинтинги очень помогают в больших проектах

Ну да ладно, прекращаю флудить, я новичок в мире BEAM, возможно, что тут это и не надо

научись писать нормальные спеки)

dialyzer specs ровно то же самое - они не используются в runtime, только при анализе типов, в качестве подсказок IDE и в документации