причем let c = a/b // 0.75<meters/times>

let a = 3<meters> let b = 4<times> a + b //Не компилится a + 1 //4

js же оверлоадинг операторов не поддерживает

это не оверлоадинг

Только что залез в код рабочего проекта на элике. Угадайте, сколько операторов я нашёл? Угадайте, сколько переменных я нашёл? И угадайте, сколько тестов я нашёл )))

Только что залез в код рабочего проекта на элике. Угадайте, сколько операторов я нашёл? Угадайте, сколько переменных я нашёл? И угадайте, сколько тестов я нашёл )))

ну ты можешь писать как ты хочешь) Можно и без тестов, чо уж.

let a = 3<meters> let b = 4<times> a + b //Не компилится a + 1 //4

соврал. тут не + а * и результат // 6

Я просто к тому, что можно пилить простыню let, и там может быть типы что-то решают

Я просто к тому, что можно пилить простыню let, и там может быть типы что-то решают

вывод типо делает записи короткими, F# один из самых компактных языков. Так что с простыней ты промахнулся.

Но если мне вдруг понадобиться, я могу использовать тюплы, определить пару методов

И херачить туда все что угодно. Бассейны да трубы похуй

На самом деле если бы к машине эрланга да типы хаскеля, да еще макросы ракета

Вот был бы не язык а мечта.

э… ок. F#?)

https://fsharpforfunandprofit.com/posts/units-of-measure/

Вот был бы не язык а мечта.

Слава богу что нету такого

Никакого бы let it crash не было, хот релоада

Ну эликсир это машина эрланга с макросами лиспа

Отп вообще бы не работало

А вот что касается релоада, я не понимаю. Почему? Как типы мешают горячей перезагрузке?

Сигнатура метода к примеру поменялась

Так и версия модуля уже другая. Добавить версию в тип

В тип чего?

Есть тип модуля А, есть тип модуля B, и в модуле B есть метод code_change :: A -> B

модуля.

Типы бывают у данных, в не у модулей

модуль — тоже данные

смотри

представь себе запись, record, у которой поля — функции или данные

Никакого бы let it crash не было, хот релоада

сижу тут с нового года и все радуются хотрелоаду но постоянно вижу вопрос " а кто-нибудь уже юзал?" Хотрелоад не такая уж и киллерфича

у каждой функции есть тип, у каждого поля данных есть тип

и у записи тоже есть тип, соот-но.

и это модуль. Чем не модуль?

Никакого бы let it crash не было, хот релоада

а акторы даже в жабе быстрее

представь себе запись, record, у которой поля — функции или данные

в хаскеле это довольно популярный паттерн

а акторы даже в жабе быстрее

Только их никто писать не может, из-за типизации

ну так это же задача, а не проблема

сижу тут с нового года и все радуются хотрелоаду но постоянно вижу вопрос " а кто-нибудь уже юзал?" Хотрелоад не такая уж и киллерфича

каждый раз сервер перезапускать после изменений неудобно

задача: запилить язык мечты

И у мэилбокса есть тип?

И он изменился в тот момент когда там были Пендинг данные?

Только их никто писать не может, из-за типизации

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

И у мэилбокса есть тип?

не обязательно. Т.е. это может быть catch-all тип, с конструктором на каждый вариант данных которые туда могут прийти

union type, кажется они так называются. Такой огромный жирный union type

кстати, мессенджер wire открыл кода немного, и он на хаскеле

не обязательно. Т.е. это может быть catch-all тип, с конструктором на каждый вариант данных которые туда могут прийти

И зачем тогда типизация если на выходе получается жирный тип? Как any в go? Супертема

каждый раз сервер перезапускать после изменений неудобно

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

не поминай go :)

И зачем тогда типизация если на выходе получается жирный тип? Как any в go? Супертема

если задача — ловить ошибки типов в мейлбоксе, то значит не нужен такой union type, нужен небольшой и нежирный

каждый раз сервер перезапускать после изменений неудобно

Да и павда, CI давно уже есть у нас никто не замечает что мы новую версию выкатили.

data Mailbox = Username String | Age Int

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

Киллерфича эрланга - ты можешь наговнякать код, работающий в идеальном случае, написать что делать когда упадёт, запустить и забыть

Киллерфича эрланга - ты можешь наговнякать код, работающий в идеальном случае, написать что делать когда упадёт, запустить и забыть

да, не спорю. Это не значит, что типам нет места в жизни джентльмена :)

И есть даже Варик запатчить прямо в продакшне

Киллерфича эрланга - ты можешь наговнякать код, работающий в идеальном случае, написать что делать когда упадёт, запустить и забыть

Есть такое понятие, корректно работающие программы. Let it crash не отменяет того что erlang позволяет писать корректно работающие прогарммы, а этот твой подход наговнякал и забыл это не let it crash это херня какая-то

я вот склоняюсь к тому, чтобы свою мелочь писать на эликсире с пурескриптом. Счастье с двух сторон: и типы круче чем у хаскеля (ну почти), и вечно-работающая машина с девятью девятками надёжности

Если ты пишешь как Анатолий Вассерман тебе вообще типы не нужны, потому что ты не можешь передать то что не надо куда не надо

Вассерман может всё, не надо тут

В если ты человек, то как бы ты типы не описывал у тебя в конце концов упадёт

(кстати, глава про монады в purescript by example даёт лучшее понимание, из всего милльона туториалов которыми засран весь интернет)

В если ты человек, то как бы ты типы не описывал у тебя в конце концов упадёт

лет так в 50

И вопрос в том НУЖНО ли тратить время на это, если у тебя будет работать 99% времени а не 95%

99.9999999%

С учётом того что супервизору пофиг, как часто у тебя падает - раз пол секунды или раз в пол года

BEAM — VM мечты. Если надо чтоб работало вечно — надо писать для неё. Если надо, чтобы работало корректно — то на хаскеле.

И это решает огромный круг бизнес задач, связанных в основном с IO, которые в хаскеле превращаются в олимпиаду по математике

ну… это же не может быть каким-то аргументом против хаскеля? олимпиада, это разве плохо?

ERROR: S client not available

И это решает огромный круг бизнес задач, связанных в основном с IO, которые в хаскеле превращаются в олимпиаду по математике

Годно сказал

Я оценил)

и нет, IO в хаскеле не сложно. Непривычно, но просто.

Самое простое ИО "я хочу получить это, если не получил - падаем"

ну это понятный шаблон программирования, идеальный для beam. В хаскеле ты захочешь другого

Если падаем все время и задолбало, добавляем строчку "если получил не то, а это - делаем так, иначе падаем"

И так до полного удовлетворения

в хаскеле ты захочешь связать серию функций типа a -> m b в длинную цепочку a -> m c, и будешь это использовать вместо обработки ошибок, к которой привык в других языках

это вопрос привычек, которые диктуются языком

На выходе получаем минимальное время и максимальное бабло

ну… честно говоря

за бабло я вообще перлом занимаюсь

так что…

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

Ну. ... вот это я сказал в самом начале диалога. Как я понимаю - дальше можно не говорить) хотите олимпиады - вперед. Только не путайте мух и котлет

Ну. ... вот это я сказал в самом начале диалога. Как я понимаю - дальше можно не говорить) хотите олимпиады - вперед. Только не путайте мух и котлет

На хаскеле написана антиспам-система фейсбука

Если для языка требуется программист с высшим математическим образованием, это не делает язык непригодным для промышленного использования

И я не понимаю агрессию

Если для языка требуется программист с высшим математическим образованием, это не делает язык непригодным для промышленного использования

++

Это бугурт ниасилевшего

Можно ли делать толчки из золота? Без сомнения. Я слышал в доме владельца Фейсбука есть такой

да куча проектов иначе бы про язык ты бы даже и не услышал. А про крупные работющие приложения на elixir я так и не услшыл.

Если для материала требуется не сантехник а ювелир, делает ли это материал непригодным для промышленного использования?

Если для материала требуется не сантехник а ювелир, делает ли это материал непригодным для промышленного использования?

Передергивать любишь? Ладошки волосатые будут )

Агрессия, как будто я в метро в час пик

let printerAgent = MailboxProcessor.Start(fun inbox-> // the message processing function let rec messageLoop() = async{ // read a message let! msg = inbox.Receive() // process a message printfn "message is: %A" msg // loop to top return! messageLoop() } // start the loop messageLoop() ) не туказаний типов, но если бует ошибка ты узнаешь о ней даже без написания тестов

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

да куча проектов иначе бы про язык ты бы даже и не услышал. А про крупные работющие приложения на elixir я так и не услшыл.

да эликсиру всего шесть лет, все будет хорошо

Агрессия, как будто я в метро в час пик

Я конечно немного передёргиваю, но в общем ограничимся тем, что я считаю хаскеле не промышленным языком

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

А вот с этим я полностью согласен

let printerAgent = MailboxProcessor.Start(fun inbox-> // the message processing function let rec messageLoop() = async{ // read a message let! msg = inbox.Receive() // process a message printfn "message is: %A" msg // loop to top return! messageLoop() } // start the loop messageLoop() ) не туказаний типов, но если бует ошибка ты узнаешь о ней даже без написания тестов

фишарп! <3

фишарп! <3

https://t.me/Fsharp_chat

что-то странные новости из авиасала, то там всех увольняют к черту, то рабов ищут за 2к usd