vmsplice вел себя хуже чем write

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

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

в общем ну нафтг

можно но не хочется

@optician_owl я про идрис знаю только то, что тут кто-то писал, что у него задача, которая на хаскеле работала пять минут, на идрисе работала полсуток

на этом я как-то знакомство с ним решил отложить

поэтому помочь не могу

можно посмотреть, но подробно не работу я только ночью смогу

@optician_owl я про идрис знаю только то, что тут кто-то писал, что у него задача, которая на хаскеле работала пять минут, на идрисе работала полсуток

Имелось ввиду посмотреть компилятор-интерпретатор Идриса, он течёт как ненормальный.

В ИДЕ режиме правда.

@greenest_pig а найдете ссылку на файл?

Могу скинуть ишшью чуть позже.

+

вот ишшуй https://github.com/idris-lang/Idris-dev/issues/4145

вот файл https://github.com/idris-lang/Idris-dev/blob/master/src/Idris/IdeMode.hs

можно попробовать сделать derive (Generic) командам

instance NFData IdeModeCommand

и форсить в parseResult

мало ли трифекта оставляет что-то недовычисленным

но вообще очень странно выглядит

Я за вас свечку поставлю, есть утечку(и) найдете.

(штука на медицинскую тему)

@optician_owl я про идрис знаю только то, что тут кто-то писал, что у него задача, которая на хаскеле работала пять минут, на идрисе работала полсуток

Это если использовать унарные (!) натуральные числа и прочие вещи, про которые легко доказывать теоремы 🙂

Это если использовать унарные (!) натуральные числа и прочие вещи, про которые легко доказывать теоремы 🙂

А что такое унарные натуральные числа?

плюсы затестите https://gist.github.com/tenv/ef73c350a5fd17e385d09535369d7c6e

6.58s

Моя у меня 2.2 дает

А что такое унарные натуральные числа?

видимо, data N = Z | S N

@qnikst а через винсентовский memory не выйдет накостылять всякие отступы и т.п. на уровне сишки?

я боюсь нет

щас посмотрю

@antontrunov он же оптимизирует их для runtime

вроде

возможно, но раньше не было

видимо, data N = Z | S N

Ха, а раньше я как-то не замечал связи между Пеано и унарной системой счисления. А ведь это действительно почти одно и то же

надеюсь, что Идрис и алгоритмы мапит в более эффективные

типа умножение через повторное сложение в эффективную версию

Ха, а раньше я как-то не замечал связи между Пеано и унарной системой счисления. А ведь это действительно почти одно и то же

это и есть одно и то же

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

а можно датасет спецолимпиады?

всем привет!

а можно датасет спецолимпиады?

https://gist.github.com/voidlizard/c736e3d7fcd382c6f9904f8b653102b5#file-special-olympics-md здесь есть линк

я совсем позабыл, кто-то у нас просил на fby.by дать таймслот на lightning доклад

пожалуйста, напишите свою заявку Даше на daria@eventspace.by, она забронирует время на конфе

@voidlizard сделай доклад о спецолимпиаде

я пишу заключение

но там субъективное тоже будет

к посту

А есть пост?

У меня кстати есть продолжение задачки. Даже 2. Но боюсь я глобально понижу производительность труда в стране.

@eahqzsr https://gist.github.com/voidlizard/c736e3d7fcd382c6f9904f8b653102b5#file-special-olympics-md

@eahqzsr причем наверняка не в одной стране

У меня кстати есть продолжение задачки. Даже 2. Но боюсь я глобально понижу производительность труда в стране.

в студию

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

зато я хотя бы буду имитировать какую-то деятельность

https://twitter.com/voidlizard/status/922753994249981952

у меня стек, я хочу ghc с отладочными символами кого позвать?

позвать @NCrashed ?

я так понимаю это нужно ghc самому пересобрать и —system-ghc пользовать?

(ну не считая того, что выкинуть стек, что я обычно делаю)

я так понимаю это нужно ghc самому пересобрать и —system-ghc пользовать?

да, я так и делал

последний раз собирал никсом

в рассылке haskell-cafe: Why is Haskell so slow (comparing to Java/Scala)?

ахаха

нет, только не в этот раз, Девид Блейн

вообще, Java/Scala это какой-то парадокс. Есть мем "Джава не тормозит"

но почему каждый раз как запустишь - оно тормозит?!

инициализация жвм и класспаса?

да в любой зарубе, даже когда тупо RPS считают

если сервера

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

если сервера, то наверно gc

вроде интеловская жвм в этом плане лучше, я читал статью про то, как они на жаве сделали автопилот для вертолета, почти реалтайм

ну вот в текущей задача scala тоже показала себя уг, но там же одним подъемом приложения не ограничивается

но почему каждый раз как запустишь - оно тормозит?!

потому что сравниваешь с С и хаскелем

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

можно даже С ограничиться, хаскель не всегда хорошо себя показывает

ну вот выше по треду "почему

в рассылке haskell-cafe: Why is Haskell so slow (comparing to Java/Scala)?