Vasiliy
то же самое можно и про любой другой язык сказать - неочевидно, как писать на плюсах, если не знаешь, как писать на плюсах
Dmitry
моё любимое - это использование замыканий в плюсах.
Dmitry
точнее, не в плюсах. в си.
Dmitry
в плюсах-то всё очевидно.
Vasiliy
омфг
Vasiliy
это которые расширением gcc сделаны?
Dmitry
не, с этим-то любой сможет
Vladislav
например,
import qualified Data.Vector.Generic as V
import qualified Data.Vector.Generic.Mutable as M
qsort :: (V.Vector v a, Ord a) => v a -> v a
qsort = V.modify go where
go xs | M.length xs < 2 = return ()
| otherwise = do
p <- M.read xs (M.length xs `div` 2)
j <- M.unstablePartition (< p) xs
let (l, pr) = M.splitAt j xs
k <- M.unstablePartition (== p) pr
go l; go $ M.drop k pr
а M.unstablePartition и M.splitAt расписать?
Dmitry
а зачем?
Dmitry
выше приведен довольно компактный код
Dmitry
который короче, чем си.
Vasiliy
это гениально, да
Dmitry
но это все равно довольно пустое. можно согласиться, что для каких-то вещей код будет длиннее. для каких-то - короче.
Vasiliy
потому что в случаях, когда тебе не нужна мутабельность в том же си, ты обмазываешься const и всё равно остаёшься по уши в сайдэффектах
Vladislav
а зачем?
эм, потому что в c++ можно еще короче написать quicksort тогда: std::sort(...), и все
Dmitry
ну и в хаскелле так же можно
Vladislav
или воспользоваться std::partition
Vasiliy
эм, потому что в c++ можно еще короче написать quicksort тогда: std::sort(...), и все
в C qsort тоже в стандарте
Dmitry
т.е даже на изначально неудобных для "иммутабельного" языка алгоритмы выражаются не сильно хуже. впрочем, довольно утомительный спор, потому что одно и тоже толочь по кругу в ступе можно бесконечно
Dmitry
у меня есть практика написания аналогичного кода на си и хаскелле, питоне и хаскелле, окамле и хаскелле
Dmitry
какие-то вещи на си писать проще, но их надо писать крайне редко и мало.
Dmitry
в моей реальности.
Dmitry
да. и людей туда набираю.
Dmitry
более того, я хочу сказать, что какие-то вещи, где цена ошибки крайне велика - например, embedded части
Dmitry
я бы писал на чем угодно, кроме си.
Dmitry
но не на чем
Dmitry
если не брать ATS. но для ATS историй успеха еще меньше, чем для хаскелла.
Dmitry
потому что в ядре этом долбаном даже отладиться толком нельзя
Евгений
А чо в этом такого? Даже в фейсбуке есть haskell вакансии
Dmitry
поэтому в Касперском и генерят код из ivory
Dmitry
@scaredpepe QoS/DPI, машинное обучение, веб, отчасти embedded
Alexander
на хацкелях код вида unsafeRead x i >>= unsafeWrite x i . f более громоздкий
Dmitry
но его нужно мало.
Alexander
по строчкам то на то выйдет но кол-во символов больше
Alexander
с другой стороны это не сильно напрягает
Dmitry
@qnikst а ты тоже за деньги на хаскелле пишешь, небось
Alexander
а то
Alexander
за деньги и на хацкелях и в разных направлениях
Dmitry
остальная хаскельная тусовка игнорирует наш чатег
Dmitry
алсо у тебя не осталось ли кода от пресловутого турникета?
Vasiliy
пишу за деньги на х-ле и плюсах, вроде ничо так
Сергей
Кажется что вы подкупили этого pep'a чтоб развлекать эту тусовку
Dmitry
я куда-то утратил эти все проекты, на каком-то из снятых винтов видать лежат. радиоточку я заопенсорсил, а вот то, что не заопенсорсил, куда-то подевалось
Alexander
ну мы HA решение, консалтинг Эксель на стероидах, проекты для CEA (я там в силу гражданства не участвую), всякий анализ для фармацевтов
Anatolii
на самом деле вакансии есть, стоит только поискать
и на самом деле начальство иногда не против хаскеля - надо просто подойти и спросить, но легче ныть что вакансий нету
Dmitry
@s_ivanov ну, я вырабатываю в себе стойкость, доброжелательность и побарываю склонность к импульсивным насильственным действиям. особенно с утра. особенно, когда кофе дома кончился
Alexander
алсо у тебя не осталось ли кода от пресловутого турникета?
врятли у меня тот ноут умер, могу попробовать поискать
Dmitry
у меня по всему дому лежат винты, на каком-то из них должно быть. тогда я гитхабом не пользовался платным, за что и страдаю
Сергей
@s_ivanov ну, я вырабатываю в себе стойкость, доброжелательность и побарываю склонность к импульсивным насильственным действиям. особенно с утра. особенно, когда кофе дома кончился
А мне приходится следовать правилу горячего письма. Держу клавиатуру подальше, считаю до ста и обратно.
Alexander
Pepe тут кстати старый гость, если я правильно помню
Alexander
не только читаешь, подобные дискуссии я вроде помнб
Dmitry
довольно глупо поэтому, кстати, включать тупой троллинг. назовешь человека имбицилом, пойдешь устраиваться в яндекс, а он там твой потенциальный руководитель, например
Anatolii
а какой тебе подходит?
потому что я чем больше изучаю его - тем больше понимаю что он подходит в подавляющем большинстве случаев
Anonymous
Vladislav
довольно глупо поэтому, кстати, включать тупой троллинг. назовешь человека имбицилом, пойдешь устраиваться в яндекс, а он там твой потенциальный руководитель, например
Кстати, а в яндексе тоже используют хаскель где-нибудь, интересно?
Dmitry
не, это другой товарищ исполнил
Anatolii
какой-то ембедед конечно на нем не попишешь - но выше писали, можно кодогенерировать
Dmitry
в яндексе я работал, но давно не там
Dmitry
насколько мне известно, не используют
Dmitry
приняли такое волевое решение.
Anatolii
а в какой сфере ты работаешь?
Anatolii
да, cblp пытался протолкнуть - но не получилось
Anatolii
а какие-то более безопасные языки нельзя использовать? раст какой-то?
Alexander
не знаю как там не в large scale а на SKA вроде протолкнули haskell
Alexander
надо с этими ребятами ещё поболтать
Vladislav
а какие-то более безопасные языки нельзя использовать? раст какой-то?
раст еще не production-ready, на мой имхо
Alexander
ну у плюсов есть halide и т.п.
Dmitry
@anpryl чувак, который AJHC делал, писал довольно-таки хардкорный embedded
Dmitry
пока не устал
Anatolii
@voidlizard а чем ты кстати генерил C? свое писал что-то или пользовался какой-то либой?
Dmitry
мягкий эмбеддед - это какой-нить промконтроллер с Atom/Geode и 128M RAM. х-ль там работает аж бегом
Сергей
Ребята, мне просто хочется поделиться этим. Почему хаскель. Цитирую Дейкстру. "Глубоко ошибается тот, кто думает, что изделиями программистов являются программы, которые они пишут. Программист обязан создавать заслуживающие доверия решения и представлять их в форме убедительных доводов, а текст написанной программы является лишь сопроводительным материалом, к которому эти доказательства применимы."
Dmitry
и на мипсе бы работал, и я бы не страдал, есл бы кто-нибудь написал бы нормальный бэкенд для мипса. я не могу
Dmitry
этим надо лет пять одному заниматься
Dmitry
если начать прямо сейчас. то через пять лет мипса на рынке останется 25% от сегодняшнего
Dmitry
@anpryl я генерил си при помощи
Text.Printf
но вообще есть всякие
Text.PrettyPrint.Leijen
что бы скобки закрывать и идентацию делать
Anatolii
я вот такое нашел https://github.com/ollef/Generate-C
Vladislav
Ребята, мне просто хочется поделиться этим. Почему хаскель. Цитирую Дейкстру. "Глубоко ошибается тот, кто думает, что изделиями программистов являются программы, которые они пишут. Программист обязан создавать заслуживающие доверия решения и представлять их в форме убедительных доводов, а текст написанной программы является лишь сопроводительным материалом, к которому эти доказательства применимы."
во времена Дейкстры все было иначе - тех же энтерпрайзов никто и представить не мог