т.к. это тупо тег

Три инстанса? По одному на конструктор

видимо да, но мне не хочется класс типов иметь, ладно, разберусь

да вот мне newtype хотелось бы там иметь

если я правильно понял, то data family

{-# LANGUAGE DataKinds #-} {-# LANGUAGE TypeFamilies #-} import Data.Coerce import Data.Kind data Bar = A | B | C data family Foo :: Bar -> Type newtype instance Foo 'A = FooA Int deriving Show main :: IO () main = print (coerce (42 :: Int) :: Foo 'A)

я думаю этот вопрос не для этого чата

мошенничество

Он уже был сегодня

с другим ником

т.к. удаление + бан сразу

ReasonML is a new object-functional programming language created at Facebook. :D

ну и бред

http://2ality.com/2017/11/about-reasonml.html

ты на синтакс посмотри

почему бред? у OCaml же получилось

бред потому что это и есть окамл?

а, это и есть Окамль in disguise

https://twitter.com/nikitonsky/status/922908427353026561

OFP

https://twitter.com/nikitonsky/status/922908427353026561

.

OCaml’s pragmatism means that you don’t get some of the more fancy functional features (that, e.g., Haskell has), but it also leads to fast compilation, efficient code and decent error messages.

если что-то и чинить в Окамле, то убирать «;;», а не добавлять

если что-то и чинить в Окамле, то убирать «;;», а не добавлять

ну ты не понимаешь) это же деградация для жс понимания

если что-то и чинить в Окамле, то убирать «;;», а не добавлять

кажется эти какашки - главная фишка окамла

кажется эти какашки - главная фишка окамла

они нужны только в репле чтобы {||} не писать

ну я и говорю

если ты пишешь скрипт который отправится в репл можно их ровно 1 раз написать в самом конце

а не после каждой строки

хорошо

:D

а я понимаю Facebook. у них армия жаваскриптизёров и похапэшников, которых можно научить хорошему хотя бы через переходный этап с привычным синтаксисом

а я понимаю Facebook. у них армия жаваскриптизёров и похапэшников, которых можно научить хорошему хотя бы через переходный этап с привычным синтаксисом

Настоящие программисты, соль земли!

Ну вы прям вообще. Многие, как я, вынуждены писать на JS. :(

и кто вас вынуждает?

Рынок, очевидно.

ваша семья в заложниках у Крокфорда?

Некоторые этого заслуживают

Для меня это просто работа.

something a COBOL programmer would say

Если это вэб. Если это комерческая разработка, то просто нет выбора. Бизнес никогда не согласится на какой-нибудь PureScript, по причине высоких рисков и отсутствия кадров.

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

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

+

не, а вы расскажите товарищи амбициозные и проактивные, что должен делать бизнес, если вы после своего purescript ушли куда-то в еще более амбициозное измерение

кто его поддерживать будет

Роботы! Нам нужны программы которые будут писать программы! Но... у нас уже есть индусы.

не, а вы расскажите товарищи амбициозные и проактивные, что должен делать бизнес, если вы после своего purescript ушли куда-то в еще более амбициозное измерение

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

да, конечно же большинство идёт по пути минимального риска есть и меньшинство. и к ним можно устроиться. это реально. просто нужно чуток усилий приложить (на самом деле больше чем чуток, да ещё и за границу уехать скорей всего)

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

Это вы так решили. Я просто сказал "рынок". Есть некоторый устоявшийся стек, который гарантирует скорость разработки и доступность кадров. Как ни странно, для того чтобы решать задачи бизнеса не всегда нужны высокие материи. Лично я очень четко разделяю работу, и хобби. В рамках хобби, что угодно, хоть subleq.

да, конечно же большинство идёт по пути минимального риска есть и меньшинство. и к ним можно устроиться. это реально. просто нужно чуток усилий приложить (на самом деле больше чем чуток, да ещё и за границу уехать скорей всего)

Да, но тогда ты рискуешь оказаться настолько узким, что будешь ником не нужен.

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

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

Эй, чувак, ты не должен копить техдолг. Давай ты нам заплатишь в 6 раз больше, и пилить мы будем в 3 раза дольше. Но зато это будет модно. Кто на это согласится?

Да, но тогда ты рискуешь оказаться настолько узким, что будешь ником не нужен.

ой да ладно. узкий это когда в епаме челу говорят начать писать на адобовом языке и он это делает 3 года (не факт что язык адобовый но более менее реально всё) а если ты тип пишешь фронтэнд на своей кложуре/ризон/расте это не узость

Бизнесу глубоко пофигу, как оно написано, и как оно работает. Лишь бы оно решало их задачи. А вот мне, не пофиг, т.к. после всех этих экспериментов bus-factor === 1. И часто бывает так, что почти невозможно быстро найти замену внезапно ушедшему в закат содруднику. Это срывы сроков, горящие жопы, и куча ненужых проблем.

наверное вам нравится ваша работа и текущий расклад вас устраивает. работу с хоби вы совместить не мечтаете и в таком случае рад за вас

зачастую бизнес строят на костылях

зачастую бизнес строят на костылях

У кого как. Иногда это единственное возможное решение в ограниченных сроках и бюджете. Я всегда это обговариваю с заказчиком, рассказывая о последствиях.

(кайф когда нету этих душных разговор за линуксы, докеры, флаги гхц или теоркат и обыватель может спокойно говорить со всеми на равных)

ну вот ты приходишь и тебе надо работать со старым сервисом интегрируя новый (переписать никто не даст) и вот привет костыли

наверное вам нравится ваша работа и текущий расклад вас устраивает. работу с хоби вы совместить не мечтаете и в таком случае рад за вас

Я не могу сказать, что мне прям нравится, но по крайней мере меня это не напрягает. До этого несколько лет писал на C под embed. Было хуже.

один мой знакомый писал на TS, а коллегам отдавал сгенерированный JS. кажется, они уже все перешли на TS

ой да ладно. узкий это когда в епаме челу говорят начать писать на адобовом языке и он это делает 3 года (не факт что язык адобовый но более менее реально всё) а если ты тип пишешь фронтэнд на своей кложуре/ризон/расте это не узость

Это очень круто, но вы лично пробовали найти разработчика на Reason? Тут нормального разработчика на JS фиг найдешь. Толпы хипстеров на гироскутерах, с вейпами, после недельных курсов. Которые, блин, даже fizzBuzz с трудом пишут.

один мой знакомый писал на TS, а коллегам отдавал сгенерированный JS. кажется, они уже все перешли на TS

Ну, TS сейчас довольно близко к рынку. После выхода Angular 2 многие стали его использовать.

ERROR: S client not available

один мой знакомый писал на TS, а коллегам отдавал сгенерированный JS. кажется, они уже все перешли на TS

у меня на проекте запретили TS (типа типы зло!!!) вот думаю менять такой проект

у меня на проекте запретили TS (типа типы зло!!!) вот думаю менять такой проект

Аргументация? Забей болт, возьми flow.

Можно просто писать по ночам что тебе нравится.

Аргументация? Забей болт, возьми flow.

TS? Какой TS? Где?

Можно просто писать по ночам что тебе нравится.

Так и делаю. :)

Можно просто писать по ночам что тебе нравится.

Плохая идея, если делать это регулярно

у меня на проекте запретили TS (типа типы зло!!!) вот думаю менять такой проект

возьми purescript, он же выдает чистый код обычно

?

а остальные как на нем писать будут?

а остальные как на нем писать будут?

+

Плохая идея, если делать это регулярно

Да нормально.

а остальные как на нем писать будут?

ну в отдельных файлах

Меня лично в рынке напрягает что «исторически так сложилось» я переписал функционал за полтора месяца, но впилить нельзя

можно то, что purescript выдает хранить в отдельном модуле и никому не давать редактировать

Перепилить.

можно то, что purescript выдает хранить в отдельном модуле и никому не давать редактировать

Когда ты умрешь, кто будет это поддерживать?

один мой знакомый писал на TS, а коллегам отдавал сгенерированный JS. кажется, они уже все перешли на TS

разве js не подразумевает ts в наши дни?

не использовать ts а использовать js это быть мазохистом

разве js не подразумевает ts в наши дни?

Нет. JS подразумевает ES6, минимум.

null в ts не отменили

Когда ты умрешь, кто будет это поддерживать?

когда он умрет уже возможно purescript будет массово использоваться

или все уйдут на lisp

не использовать ts а использовать js это быть мазохистом

так Flow же

А зачем его отменять? Он просто должен быть "null"

когда он умрет уже возможно purescript будет массово использоваться

я думаю это была угроза

А зачем его отменять? Он просто должен быть "null"

Затем что на него можно напороться когда ожидаешь String или что-то в этом духе

Затем что на него можно напороться когда ожидаешь String или что-то в этом духе

Ээ.. Можно на что угодно напороться. Это JS

в флоу вроде тоже можно

он может инферить типы на подобии a | null

когда это не нужно

Затем что на него можно напороться когда ожидаешь String или что-то в этом духе

Я считаю, что проверкой типов должна заниматься вызывающая сторона.