Про хаскель

Этож @bravit111

Это проект твиттера, под суд

@A64m_qb0 а зачем делали Хаскель когда была Миранда?

хотели сделать объединенный ленивый язык, как перед этим эмельщики сделали, это должен был быть клон миранды правда, но Тернер сопротивлялся

но не очень успешно

: vs ::

а?

Да, вот войсов тут не хватает

вроде ж там быть что-то что сделать не как в миранде

вроде ж там быть что-то что сделать не как в миранде

да, сделали, но не это

а что?

сделали a -> b вместо * -> **

потом больше отличий стало

но они выбирали язык, чтоб делать как в нем все что в нем есть, т.е. тайпклассы делаем как хотим, их не было, а если что-то есть делаем как в языке X

ну и решили сначала что это Миранда будет

но Тернер попросил чтоб они сделали язык отличающимся

тогда они выбрали язык Вадлера Оруэлл, в котором все как в миранде кроме a -> b вместо * -> **

:)

думаю, Тернер почуствовал ГОРЕЧЬ ОБИДЫ после этого

* -> ** выглядит стрёмно

так в милнеровском эмеле было, но после того как Тернер это позаимствовал эмелисты передумали, и ни в одном такого не сохранилось

я маленько запутался с кондуитами: есть ф-ции: - foo :: ByteString -> IO a - sourceFile :: (Monad m, MonadIO m) => File -> Producer (Action m) ByteString мне нужно это как-то соединить вместе и "запустить" runConduit т.е. result ← runConduit $ GFS.sourceFile file .| mystery foo вот интересно, что за mystery может быть Found hole: _ :: (ByteString -> IO a) -> ConduitM ByteString Void (Action IO) a0 хм upd: не, я фигню написал, мне нужнo просто .| consume или что-то подобное, что просто все в память "вычитает", забыл как называется, найду) sinkLazy похоже bs ← runConduit $ GFS.sourceFile file .| sinkLazy

Кто-нибудь знакомился сегодня с биокадовцами? Они про себя рассказывали подробнее?

Есть смысл ее читать сейчас, чтобы лучше понимать устройство фя с ленивой редукцией (в том числе устройство ghc), или она слишком устарела?

Кто-нибудь знакомился сегодня с биокадовцами? Они про себя рассказывали подробнее?

Говорят что все на хаскеле

Но какие проекты-то? (я просто тоже в биотехе, мне отдельно интересно)

Кто-нибудь знакомился сегодня с биокадовцами? Они про себя рассказывали подробнее?

Странно, что ничего не рассказали, да

Распределенные системы, ГПУ кластеры

лучше конечно если сами подробнее расскажут

У них на гитхабе должна быть инфа

Уу, они ещё и опенсорц?

https://github.com/biocad/career/blob/master/README.md

Есть смысл ее читать сейчас, чтобы лучше понимать устройство фя с ленивой редукцией (в том числе устройство ghc), или она слишком устарела?

какой-то смысл есть. Более актуальной книги по имплементации ФЯ все равно не появилось

разве только из диссеров и статей составить какой-то набор, но это еще сделать надо

можно пюр фанкшинал дата стракчерс

она-то какое отношение к этому имеет

разве только из диссеров и статей составить какой-то набор, но это еще сделать надо

А придумали что-то лучше г-машины?

да особо и не придумывал никто. Придумали GRIN в 90-е два человека немного с ним пострадали а потом устали

никто же не занимается такими вещами

Грин? Чо это?

Грин? Чо это?

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.27.3918&rep=rep1&type=pdf

Потому что бесконечные списки без ленивости не делаются

К слову, выше Александр потехи ради дал ссылку на мой недавний стрим на трубе, так я там анонсировал в следующем стриме рассказ про то, как делать бесконечные списки в самом что ни на есть кондовом строгом аппликативно-редуцируемом языке (хоть в жаваскрипте), и решить на них всю главу СИКПа про ленивые стримы и потоки. Причем, сделать их оптимальными в смысле отсутствия дублирования вычислений и скорости. Клапауцию и прочим умным людям в этом чатике такое конечно не интересно, но после вашего пассажа я решился все-таки озвучить это.

К слову, выше Александр потехи ради дал ссылку на мой недавний стрим на трубе, так я там анонсировал в следующем стриме рассказ про то, как делать бесконечные списки в самом что ни на есть кондовом строгом аппликативно-редуцируемом языке (хоть в жаваскрипте), и решить на них всю главу СИКПа про ленивые стримы и потоки. Причем, сделать их оптимальными в смысле отсутствия дублирования вычислений и скорости. Клапауцию и прочим умным людям в этом чатике такое конечно не интересно, но после вашего пассажа я решился все-таки озвучить это.

Я думаю, что речь там у вас об итераторах. Как-то на одном форуме я встретил спор о том, что-де C# круче явы, потому что в нем yield есть - после чего явисты оный yield изобразили вручную. Стрим не смотрел, мне их сложно воспринимать.

Я думаю, что речь там у вас об итераторах. Как-то на одном форуме я встретил спор о том, что-де C# круче явы, потому что в нем yield есть - после чего явисты оный yield изобразили вручную. Стрим не смотрел, мне их сложно воспринимать.

через лямбды?

через лямбды?

Нет, вряд ли. Это до лямбд было, давно.

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

Алистер - да, через них, родимых

К слову, выше Александр потехи ради дал ссылку на мой недавний стрим на трубе, так я там анонсировал в следующем стриме рассказ про то, как делать бесконечные списки в самом что ни на есть кондовом строгом аппликативно-редуцируемом языке (хоть в жаваскрипте), и решить на них всю главу СИКПа про ленивые стримы и потоки. Причем, сделать их оптимальными в смысле отсутствия дублирования вычислений и скорости. Клапауцию и прочим умным людям в этом чатике такое конечно не интересно, но после вашего пассажа я решился все-таки озвучить это.

В стриме очень сильно слышен шум вентиляторов системника или быть может ещё чего-то. Хорошо бы этот шум обрезать, наверняка есть способы.

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

лучше конечно если сами подробнее расскажут

Мы с удовольствием расскажем. Сегодня умышленно не рассказывали, так как не хотели отвлекать от лекции Виталия Брагилевского

К слову, выше Александр потехи ради дал ссылку на мой недавний стрим на трубе, так я там анонсировал в следующем стриме рассказ про то, как делать бесконечные списки в самом что ни на есть кондовом строгом аппликативно-редуцируемом языке (хоть в жаваскрипте), и решить на них всю главу СИКПа про ленивые стримы и потоки. Причем, сделать их оптимальными в смысле отсутствия дублирования вычислений и скорости. Клапауцию и прочим умным людям в этом чатике такое конечно не интересно, но после вашего пассажа я решился все-таки озвучить это.

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

Мы с удовольствием расскажем. Сегодня умышленно не рассказывали, так как не хотели отвлекать от лекции Виталия Брагилевского

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

точнее в последнее время на слуху, но мало кто знает что там делаете :)

о!

Что касается Биокада, мы действительно не хотели вчера агрессивно пиариться, показалось это неуместным на фоне интересной лекции. Но, конечно, про себя можем рассказать, да и вакансий у нас довольно много — это тоже не скрываем. ?

Про сам Биокад, вроде, можно почитать на сайте. Скажу только, что мы делаем биологические, химические и генотерапевтические препараты в области онкологии и аутоиммунных заболеваний. Департамент вычислительной биологии (ДВБ) в том или ином виде существует уже шестой год. Наши главные задачи — обработка экспериментальных данных для поддержки принятия решений, а также дизайн лекарственных средств и дизайн экспериментов. То есть мы моделируем биологические системы, смотрим на их поведение и формируем заявки, что нужно поставить в мокрых лабораториях, чтоб проверить наши вычисления.

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

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

Все это мы второй год пишем на Haskell и CUDA C (до этого была 4 года Scala с которой мы в ужасе свалили и теперь можем вести конференции типа Do not use Scala in non-IT company). У нас кастомные stack-snapshots и CI/CD (TeamCity), который позволяет всем этим хозяйством гибко управлять. В работе активно используются графовые базы данных (neo4j). Развернута вся система как сеть микросервисов, общающихся сообщениями по единому стандартизированному протоколу через одно место — внутренняя очередь сообщений (Haskell + ZeroMQ). Как-то так.

А, у еще у нас самый большой в стране частный GPU-кластер, в котором в том числе есть Вольты (Tesla V100).

Про скалу делитесь, конечно

спасибо за развернутый ответ!

Про скалу делитесь, конечно

Если в одной фразе, то «на Scala слишком просто писать очень плохо». Подробнее можем как-нибудь потом.

Отлично

Тут есть @bog2dan и @Fonturacetamum из ДВБ, уверен, они по повседневной жизни биоинформатика (или вычислительного биолога) хаскеллиста расскажут лучше всех, если их спросите. :)

"слишком плохо на скала" = обычная java ?

Лол. Я в Биокад собеседовался лет пять назад на Скалу как раз. Если бы пошел, то сейчас бы на хаскеле писал.

Правда я сейчас на хаскеле и пишу. Так что эта пуля меня не миновала :)

Правда я сейчас на хаскеле и пишу. Так что эта пуля меня не миновала :)

Все там будем :)

Тут есть @bog2dan и @Fonturacetamum из ДВБ, уверен, они по повседневной жизни биоинформатика (или вычислительного биолога) хаскеллиста расскажут лучше всех, если их спросите. :)

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

Я думал Haskell + zeromq = боль и страдания

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

Денис, прошу прощения, это лично мой косяк. Готов обсудить.

Я думал Haskell + zeromq = боль и страдания

Да нет, вполне. Библиотека zeromq4-haskell даёт хоть и неполное, но достаточное покрытие функционала для работы с zmq

Хм, я был уверен что Zmq совсем не тредо-безопасны и на хаскельный рантайм не ложится. @qnikst поясни

боль и страдания, но можно извернуться

так, у меня тут factorio, потом подробнее напишу

Хм, а разве Haskell не достаточно? Нужно ещё и в игры играть!?

так, у меня тут factorio, потом подробнее напишу

Чорд, в чате же есть другие ФакториоНаркоманы, зачем провоцировать рецидив?

Хм, а разве Haskell не достаточно? Нужно ещё и в игры играть!?

ребетёнку в haskell рановато, а в факторию по сети норм :)

Я бы пообсуждал возможности Факторио по созданию процессоров

ребетёнку в haskell рановато, а в факторию по сети норм :)

а сколько лет?

5.8

И вообще программтрования штук в нем

5.8

звучит как версия

Жду сетевой stardew valley

а вы по семантическом версионировании идете?

People Versioning Policy

с zeromq если аккуратно работать с сокетами и не очень много сообщений из кусков состоящих писать то норм

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

особенно если использовать tcp backend

вон в network-transport-zmq у меня все работало

но если вылезти из приятной части то все плохо