Size: a a a

Programming Offtop

2021 January 27

AK

Anton Korotkikh in Programming Offtop
Andrew Mikhaylov
А ты пробовал что-нибудь на идрисе написать, или хотя бы читал код решения какой-нибудь несложной задачи?
нет конечно же.
источник

AN

Alexander Nozik in Programming Offtop
На JS-IR есть проблемы и с отладкой и с инкрементальной сборкой. Но он на то и бета.
источник

AM

Andrew Mikhaylov in Programming Offtop
Anton Korotkikh
нет конечно же.
Ну так почитай, что оно такое)
источник

AM

Andrew Mikhaylov in Programming Offtop
источник

I

Igor in Programming Offtop
Anton Korotkikh
ну... они есть. в хорошо написанном коде, на благородном языке типа idris или coq, не придётся видеть эти кретьяснкие ошибки, ведь всё будет доказано с математической точностью ещё на эатпе сборки. но по скольку индустрия ещё очень далека от цивилизованных подходов, благородным донам приходятся мирится с мещанскими нравами при помощи фич котлина и скал, что не отменяет ужаса и шока от стек трейсов
источник

I

Igor in Programming Offtop
А в ocaml кстати по умолчанию нет стектрейсов 😎
источник

AK

Anton Korotkikh in Programming Offtop
Igor
А в ocaml кстати по умолчанию нет стектрейсов 😎
источник

I

Igor in Programming Offtop
Это все усложняет рантайм, раскручивание стеков всякие и тд
источник

AK

Anton Korotkikh in Programming Offtop
Igor
Это все усложняет рантайм, раскручивание стеков всякие и тд
а как тогда разбирать инциденты всяике с падением?
источник

AM

Andrew Mikhaylov in Programming Offtop
Anton Korotkikh
а как тогда разбирать инциденты всяике с падением?
Зачем? Всё равно в прод никто не пишет 🌚
источник

AK

Anton Korotkikh in Programming Offtop
Andrew Mikhaylov
Зачем? Всё равно в прод никто не пишет 🌚
это прям хорошо было 👌
источник

I

Igor in Programming Offtop
Anton Korotkikh
а как тогда разбирать инциденты всяике с падением?
Компиляем с включенной отладочной информацией 😌 (я же не сказал что совсем нельзя)
источник

AK

Anton Korotkikh in Programming Offtop
тем временем, где-то в питере, в парадной найден новый секретный язык

Разработка ведётся на новом кроссплатформенном языке программирования, сочетающем в себе особенности функциональных и императивных языков (и в чём-то похожем на такие языки как F#, OCaml, Haskell, Scala).

https://hh.ru/vacancy/40648579
источник

I

Igor in Programming Offtop
Anton Korotkikh
тем временем, где-то в питере, в парадной найден новый секретный язык

Разработка ведётся на новом кроссплатформенном языке программирования, сочетающем в себе особенности функциональных и императивных языков (и в чём-то похожем на такие языки как F#, OCaml, Haskell, Scala).

https://hh.ru/vacancy/40648579
Звучит прям не плохо, был бы у меня intermediate даже попробовал
источник

AK

Anton Korotkikh in Programming Offtop
Igor
Звучит прям не плохо, был бы у меня intermediate даже попробовал
да пох, пробуй так. всегда есть вероятность что пойдёт и среднинкий английский так как у индусов со стороны закзачика/подрядчика он такой же
источник

MM

Michael Mazaev in Programming Offtop
Igor
Звучит прям не плохо, был бы у меня intermediate даже попробовал
С трудом представляю, как обосновать менеджерам необходимость создания собственного языка для решения наших локальных задач
источник

MM

Michael Mazaev in Programming Offtop
Не первый раз сталкиваюсь с историями о том, что кому то это удаётся :D
источник

AK

Anton Korotkikh in Programming Offtop
Michael Mazaev
С трудом представляю, как обосновать менеджерам необходимость создания собственного языка для решения наших локальных задач
вполне возможно, это до выского манагера вырастает сам разраб, который когда-то вынашивал такую идею и до сих пор ей горит. а теперь есть ресурсы и полномочия - надо пробовать
источник

I

Igor in Programming Offtop
Изначально подумал что это эти чувачки Разработка компилятора языка FlowРазработка компилятора языка Flow (YouTube)
но видимо все-таки другие
источник

I

Igor in Programming Offtop
Michael Mazaev
С трудом представляю, как обосновать менеджерам необходимость создания собственного языка для решения наших локальных задач
- индустрия в пзде, со своим нагроможденим essential сложности в мейнстрим языках
- фп единственно верная методология для работы с информацией и удержания сложности под констролем
- наличие одного языка, позволит писать кроссплатформенные приложения

- и в итоге сделать подходящий язык для конкретной задачи (неважно насколько широкой)
источник