А у Вас было-то паскальное детство?

Господа, помогите пожалуйста понять эту часть *Main Lib> :t fmap Just read fmap Just read :: Read a => String -> Maybe a

А у Вас было-то паскальное детство?

+

Господа, помогите пожалуйста понять эту часть *Main Lib> :t fmap Just read fmap Just read :: Read a => String -> Maybe a

что именно неясно?

почему оно валидно?

А почему нет?

какой тип у read?

fmap Just read это то же самое что Just . read

Функция - тоже функтор

вы чего спешите то!

Мап на функции - композиция

Функция - тоже функтор

спасибо

Спойлеры!

пора спать, видимо

слона не заметил

сразу все рассказываете, нет чтобы заставить человека поиграть в тайпчеккер^W^W^W

приобрести навык пользования ghci для поиска и вывода инстансов

с другой стороны сразу точное объяснение тоже хорошо

вы чего спешите то!

А ты хотел про таблицы результатов функции написать?

да не, просто по очереди, какой у чего тип, что делает fmap, какие у Functor есть инстансы, о, а у нас как раз подходящий, вот все и сложилось

как-то так

а есть какие-нибудь библиотеки чтобы поиграться с ко/контравариантными функторами и рядом лежащими структурами теорката?

kmett-base ?

base/contravariant

ну всмысле все эти profunctors, adjuntions, kan-extensions,

так то и в base есть

Чего? Минималистичный fp. Чистый и понятный

посмотрим правде в глаза, SML старый, плохой ФЯ, непродуманный и слепленный по-быстрому, чтоб сдать в издательство рукопись книжки и забыть как страшный сон

то что 99% ЯП еще хуже - не заслуга всех этих милнеров и макквинов, а тяжелый труд остальных авторов языков, как бы посильнее деградировать, как бы все испортить

посмотрим правде в глаза, SML старый, плохой ФЯ, непродуманный и слепленный по-быстрому, чтоб сдать в издательство рукопись книжки и забыть как страшный сон

Ну, не знаю. Сейчас глянул еще раз, и как-то да, не оч. Но в моих воспоминания он выглядел прям жемчужинкой в куче грязи. Маленький и понятный. Помню как поразил меня автовывод типов, и сам функциональный подход. Первый опыт, так сказать :) Но тогда он был забыт за неимением какой либо базы кода.

Память обманчива :D

@qni

@qnikst помнится была у вас задача сравнивать бенчмарки разных коммитов, вы её как-то решили?

ваш hyperion такое ведь не умеет?

опосредовано

кидаешь в эластик серч, смотришь кибану

у вас каждый мёрдж автоматически результаты складывает туда?

графана кстати научилась данные из постгреса жрать

хочу как-нибудь использовать теперь

пацаны помогите с кодом на си

у вас каждый мёрдж автоматически результаты складывает туда?

каждый запуск CI

У меня вопрос к виндопользователям. А как на винде работает hmatrix?

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

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

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

малореально

Придётся страдать в баг-трекер criterion'а

идти страдать

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

Как вариант, конечно, сделать флажком. Либо нормальный hmatrix, либо рукосуйный, но на хаскелле.

ну флажки тоже могут всяких активностей с бубном добавить, еще как

Как думаете стоит ли пилить решето Эратосфена на хаскеле или си осилить?

для чего?

Поиск простых чисел.

это понятно, искать для чего?

Нннада

Мне надо основание криптосистемы выбрать.

Это должно большое просто число

Это так не работает, вроде.

Оно должно быть условно простым

Решетом эратосфена далеко не уйдешь.

Оно должно быть простым.

С некоторыми свойствами

решето не самый быстрый алгоритм даже по сложности

Ладно решето Аткина

Суть не меняется.

Суть вопроса

да для нахождения большого простого числа решето в память-то влезет хоть?

да для нахождения большого простого числа решето в память-то влезет хоть?

решето можно резать на окна

И решето для криптографии слишком медленное.

но да, для криптографии глупо юзать решето

Ок. Как вы предлагаете получать простые?

там свои алгоритмы есть, причем готовые. хоть к openssl биндинг делай

test/Spec.hs.in:53:6: error: invalid preprocessing directive #foo := (#bar := 213 & rnil) & rnil

OverloadedLabels ломает CPP. Как чинить?

Ок. Как вы предлагаете получать простые?

гугли лучше. решето это просто первое что гуглится

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

другим препроцессором препроцессить?

Копипаста: Обычно генерация идёт так: генерируем случайно число заданного размера, проверяем его тестом Миллера-Рабина с кол-вом раундов ln(m), если число составное, то добавляем единицу и проверяем вновь полученное число, в противном случае алгоритм завершён, искомое число получено. 

Копипаста: Обычно генерация идёт так: генерируем случайно число заданного размера, проверяем его тестом Миллера-Рабина с кол-вом раундов ln(m), если число составное, то добавляем единицу и проверяем вновь полученное число, в противном случае алгоритм завершён, искомое число получено. 

Откудо?

Спасибо, кста