А толку-то. Эпичные лики до сих пор происходят, по нескольку штук в год. Не все ж бизнесы стали шевелиться. Ну и сетевое и серверное оборудование уже массово не заменишь, а там ад кромешный. Там столько устройств со старыми прошивками и уязвимостями, что замена будет смахивать на создание новой инфраструктуры

Старое всё нас не интересует. Там уже не спасти.

Почему менее общая?

ну а как через deleteBy удалить первый элемент, который isLower или isSpace?

Нужен блокчейн для обновленяи прошивок IoT девайсов

ну а как через deleteBy удалить первый элемент, который isLower или isSpace?

там предикат двуместный, а надо одноместный

Но другого-то нет. Ну будешь ты писать мизерную часть секурно. А завтра появится очередной Убер-сервис, написанный на PHP, станет популярным, и о безопасности не подумает

Объясняю ситуёвину

Сейчас американская FDA (или как она, та что про медицину). Принимает стандарт по которому всё мед новое мед оборудование, во всяком случае разные инсулиновые помпы и сердечные стимуляторы, должны иметь возможность обновления прошивки.

Это значит что завтра их же контора про телекомуникации может принять такое же про роутеры, например. И обязать там как-то автоматизировать.

> deleteBy (flip $ const . isAlpha) ' ' "12abc456def" "12bc456def"

Майкрософт уже шевелится

azure sphere какую-то придумали

> deleteBy (flip $ const . isAlpha) ' ' "12abc456def" "12bc456def"

так и знал, что ты это напишешь

Вместо ' ' лучше undefined для общести

В общем *Sec будет важно

Это значит что завтра их же контора про телекомуникации может принять такое же про роутеры, например. И обязать там как-то автоматизировать.

Это хорошо и важно, только Хаскель в такие системы никто не пустит.

Вместо ' ' лучше undefined для общести

да, вариант с undefined катит. но всё же попахивает.

так и знал, что ты это напишешь

Тогда зачем спрашивал? ;)

Это хорошо и важно, только Хаскель в такие системы никто не пустит.

В лучшем случае - инфраструктуру обслуживать, да и то сомнительно. Там гошники уже напирают

ну, кстати, у нас вроде с какими-то телекомами котракты есть

с медициной тоже

Тогда зачем спрашивал? ;)

не хочу исопользовать undefined там, где он не нужен по смыслу

про телекомы я не в курсе правда

в любом случае в области не за красивые глаза пускают

В лучшем случае - инфраструктуру обслуживать, да и то сомнительно. Там гошники уже напирают

блокчейн и Sec приплетаешь, и ты в дамках

(/me вспомнил глаза го-тушкана)

херак херак и блокчейн

https://fugue.co/ вот кстати девопс на хаскеле

Может и проскочит, есть желания привнести больше надежности в процесс, в том числе за счет строгой типизации

не хочу исопользовать undefined там, где он не нужен по смыслу

Ну из "менее общая" и "как удалить по isAlpha?" выглядело, будто ты именно не знаешь как.

блокчейн и Sec приплетаешь, и ты в дамках

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

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

(/me вспомнил глаза го-тушкана)

Возможно, вы имели в виду: суслика

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

а на хаскель внедрить невозможно?

но у меня это пока на уровне прототипов и жадного накопления необходимых знаний. Уверен, что кто-то думает о похожем

Возможно, вы имели в виду: суслика

это степная собачка!

а на хаскель внедрить невозможно?

Все возможно. Поэтому изначально тезис про секурность и применимость Хаскеля в этом сомнителен

я считаю что важность безопасности будет расти. Берешь любой базворд и приделываешь Sec.

data Sec a where <...> securize :: a -> Sec a

а где неотвратный кроссплатформенный гуй вообще?

тикль же!

data Sec a where <...> securize :: a -> Sec a

причем Sec комонада

зато у нас есть фреймворки для мандатного контроля

причем Sec комонада

Скорее комонада

Гм

только они юзабельные как я не знаю что

Я увидел не то :)

зато у нас есть фреймворки для мандатного контроля

чо-чо?

https://hackage.haskell.org/package/lio

/me только вспомнил про "Мандаты, Наденька"

@PineappleZombie как там у datahaskell дела?

Пилят что-то. Но как по выхлоп так себе.

эх

https://hackage.haskell.org/package/lio

сложно

да там вообще муть

Ну из "менее общая" и "как удалить по isAlpha?" выглядело, будто ты именно не знаешь как.

менее общая. если не использовать undefined, который населяет любой тип:)

да там вообще муть

А что там с resumable workflows, которые Tweag.IO выпустил недавно?

менее общая. если не использовать undefined, который населяет любой тип:)

а твой код с undefined ни я, ни ты бы не стал вставлять в реальный проект:) потому что это костыль на пустом месте. проще уж склеить span. думал, может есть какая-то функция для столь естественной операции

а что?

funflow был недавно

про resumable source я что-то не в курсе

менее общая. если не использовать undefined, который населяет любой тип:)

Вообще я что-то не понимаю, зачем у deleteBy такая сигнатура и зачем второй параметр, который тупо пробрасывается в каждую итерацию.

funflow был недавно

Ну так и написано, что он resumable.

Все хотят себе свой движок workflow

funflow вроде работает используется

я им не пользовался

и не писал кроме куска кода с Freer Arrows

но надеюсь его не замержили

ого

иначе это тот ещё ад

funflow вроде работает используется

На киллер-приложение потянет? Или мелковат для этого?

свободные стрелки!

стрелкИ

там есть то почему может

но хз

нужна красивая обложка

Есть одна вещь, которая может очень сильно помочь Haskell. Распределенная билд-система, аналогичная incredibuild. Для С++

стрелкИ

"Хаскелистам лишь бы пострелять!"-2

Вообще я что-то не понимаю, зачем у deleteBy такая сигнатура и зачем второй параметр, который тупо пробрасывается в каждую итерацию.

вот и у меня те же мысли были... если deleteBy :: (a -> a -> Bool) -> a -> [a] -> [a] deleteBy comp x xs = ... myDelete :: (a -> Bool) -> [a] -> [a] myDelete pred xs = ... то deleteBy comp x xs = myDelete (\y -> comp x y) xs myDelete pred xs = deleteBy (\x y -> pred x) undefined xs Первое сведение одного к другому естественно, второе (обратное) - по сути хак. Непонятно, зачем такая дурацкая сигнатура

как билд систему я бы funflow не использовал

у нас появилась идея для разворачивания всего в k8s его заюзать

вместо гошного дер^W софта

который падает и дает 0 логов о том, что как и почему

Вероятно, для общей схемы, что doSomething = doSomethingBy someDefaultFunction

Вероятно, для общей схемы, что doSomething = doSomethingBy someDefaultFunction

а, ну вполне может быть. но плохо, что нет функции (myDelete) с более общей сигнатурой