Ю ли я? 🤔
Элм тут вне конкуренции =)
A64m
но ведь не может же
Alexander
так не выкинули же ничего
Alexander
тем более это свистелки
Alexander
CTime это не NominalDiffTime
Alexander
мне нужно в тупое R это отдать и обратно зоделать
Leonid 🦇
nominalDiffTimeToSeconds наверно. это будет Pico
Alexander
да
Alexander
хотя я могу UTCTime в posix seconds попытаться перевести, но UTCTIme же полнее?
Alexander
а стоп
Alexander
это ж совсем не то
Leonid 🦇
тебе наверно нужен tm
Alexander
> This is a length of time, as measured by UTC. Conversion functions will treat it as seconds.
Alexander
хм.. просто fromIntegral получается покатит?
Leonid 🦇
да
Leonid 🦇
если тебе в Int64
Alexander
ты не поверишь, но мне в double
Alexander
или int32
Leonid 🦇
фу
Alexander
это R чего ты от них хочешь
Cheese
IC
что почитать человеку далёкому от хаскеля вместо SICP?
Vladimir
будто sicp плох
Cheese
и почему вместо?
Taras 🦀
после php/js с эрлангом меня пару недель плющило, ощущения что мозги грузятся и нарастают))
сейчас, после эрланга, знакомиться с хаскелем — просто
концепции похожие, синтаксис, конструкции
Cheese
без цели Лавкрафта пусть почитает
Taras 🦀
с другой стороны — понимаю что сразу после php/js пробовать в хаскель — наверняка сильный удар
эрланг то сам по себе сильно попроще, проще чем php, синтаксис маленький
быстро выучить, просто понять другую концепцию, отличную от "for(..."
Cheese
лисп прекрасен для обучения. его легко понять, и сознание расширяет хорошо, что после него никакой хаскель не страшен
Taras 🦀
еще можно на**... намучаться с php, js и go и понять что только лаконичность erlang и haskell спасет))
Alexander
Блин, что за фигня. Решил я тут оптимизацией своей либы заняться. Прогнал бенчмарк на простом сценарии: атомарный инкремент целого. Результаты очень печальные оказались, но это и ожидалось. Первым пунктом в оптимизации стоит замена FromJSON / ToJSON на гетерогенную мапу. Сижу, переписываю половину имлементации на HMap, кое-что по-другому приходится делать в виду того, что у этого типа нету способа заклонировать данные. Переписал там, переписал здесь. Думаю, дай гляну, где ошибки компиляции есть. Запускаю stack ghci - нет ошибок. Гм. Ну не могу же я без ошибок писать, не верю. Запускаю тесты - половина проходит. Да ну нафиг, у меня вон там еще коммит недописан же, каким боком вообще. Где подвох?
Alexander
Тесты тестируют. Там просто нету конкуренции, результат сразу возвращается.
Alexander
Самые важные-то не проходят, и правильно делают
Ilya
Какая связь между системой типов в хаскеле и теорией множеств?
А тип является вообще множеством? По-моему нет
Andrey
что почитать человеку далёкому от хаскеля вместо SICP?
Под критерии попадает от ТАПЛа до Донцовой
IC
Донцова сильно дальше от ФП...
Cheese
ты не специфицировал близость к ФП
IC
это канал про аниме?
Vladislav
А с вычислимостью вообще очень интересная штука (и мы как-то даже это обсуждали).
По этому поводу рекомендовал бы посмотреть отличнейший (лучший) доклад с LambdaNsk от Павла Павлова, известного скалиста:
https://youtu.be/z5yVYlVhYLc
@Masteroid, ну судя по этой лекции, типизация хаскеля выросла из теории множеств.
доня.
https://youtu.be/AYwgSacHIbk
доня.
это на счёт типизации хаскеля и вообще
Евгений
@Masteroid, ну судя по этой лекции, типизация хаскеля выросла из теории множеств.
Типизация исторически это альтернативного теории множеств подход, явившийся реакцией на противоречия канторовской теории множеств.
В теории типов нет отличия между высказыванием и объектом, о котором делается высказывание.
Vladislav
Евгений
https://en.m.wikipedia.org/wiki/Principia_Mathematica
IC
http://vshabanov-ru.blogspot.ru/2008/05/concepts-techniques-and-models-of.html нашёл что-то
Cheese
это канал про аниме?
если человек далёк от Хаскеля и хочет приблизиться, то SICP ему не поможет
Евгений
где об этом почитать?
Нам в универе рассказывали, ученик Маркова логику читал. В википедии и на стенфордской энциклопедии философии много инфы
Евгений
https://plato.stanford.edu/entries/type-theory/
Евгений
если человек далёк от Хаскеля и хочет приблизиться, то SICP ему не поможет
Ну я эволюционировал (это было 12 лет назад) scheme -> erlang -> SML -> haskell
Евгений
Ну и сицп в принципе интересен
Cheese
ну, конкретно к Хаскелю SICP не ведёт
Евгений
К хаскелю конкретно только ML ведёт
Vladimir
Ведёт. Чего только глава про streams стоит.
Cheese
поэтому и вопрос
я так и не понял вопрос. что почитать для изучения Хаскеля? — LYAHFGG, BHPBA
IC
фундаментальный и меметичный труд сравнимый с сикпом, но не сикп. следующее по похожести. желательно приводящее к хаскелю.
Vladimir
Плазмейер
Cheese
фундаментальный и меметичный труд сравнимый с сикпом, но не сикп. следующее по похожести. желательно приводящее к хаскелю.
«Что такое математика?» (https://ru.wikipedia.org/wiki/Что_такое_математика%3F), «Искусство программирования ЭВМ»
Евгений
Ну вообще в CE немного трудов сравнимых с SICP по фундаментальности и мематичности
IC
чур Кнута и АиСД не предлагать
Andrey
я не шутил когда писал про ТАПЛ
IC
собственно вон там я уже нашёл как раз то, что надо - с обзором по всей фигне, какая только есть
Andrey
но и СИКП тоже весьма хорош в своей нише
Cheese
Куранта-Роббинса даже детям можно читать (нам давали в 8 классе)
Vladimir
собственно вон там я уже нашёл как раз то, что надо - с обзором по всей фигне, какая только есть
Посмотри на Плазмейера. Functional programming and parallel graph rewriting. Книга вообще про Clean, но там очень хорошее описание про переписывания графов и систем типов. Может подойдёт.
Евгений
Двачую тапл
IC
Maxim
> fun Fact
Andrey
Имхо, если осилить примеры функции факториала на известной страничке "Эволюшн ов Хаскелл программер", то будет чуть больше оснований для таких заявлений (и то не Fact)
A64m
> pretty random question but I recently saw that the hashtables package is still significantly slower than hashtables in other languages, e.g., python (see https://github.com/gregorycollins/hashtables/issues/49) Do you happen to know if that’s a problem of the implementation or a deficiency in GHC?
A64m
(вопрос кметту)
A64m
вобщем, есть еще человек, который заинтересовался вопросом, может хоть мои бенчмарки запустит и обнаружит что там не так (или не обнаружит)
A64m
или не запустит