при этом вроде как в моём коде времени в итоге больше

у нас главное про память

документ большой выжирает несколько гигов

ну и плюс сакс городить мрачней

мы про один и тот же тикет говорим? :)

не факт, но, собственно Матеуш про xeno писал, т.к. оно меньше памяти ест

ну и DOM в Xeno не сильно жирный

там он же ссылки в байтстринг по сути хранит

оффсет + длина

поскольку тут упомянуто xeno то я и решил, что о том же

ну дерево offset+длин

просто интересно может xlsx в принципе только поток "обработанных" тегов выдавать может

ну и в итоге целевая структура с текстами т.п. сильно жирней

с потоком, Саш, там это не совсем тривиально

т.к. часть данных вообще в другом месте может быть

формат не особо ориентирован на такое

но возможно как-то можно извратиться

ну значит говорить "IdДанных" из другого места

(я не говорю что так надо, я спрашиваю можно ли так если что)

а мы уже должны тогда возиться с этим

т.е. делать свою структурку которая будет отображать IdДанных в данные или т.п.

или вообще игнорировать если нам пофиг на эту часть

ну эт понятно, но это другой тикет :)

оно конечно гораздо менее дружелюбно к нам

а

да

https://htmlpreview.github.io/?https://github.com/quchen/articles/blob/master/haskell-equality-table.html

https://dorey.github.io/JavaScript-Equality-Table/ :D

плавучка все портит

Ребят. Чуть не в тему, но может кто в курсе, чем можно под линух подебажить USB? Поотсылать пакетики, посмотреть, что будет...

Ребят. Чуть не в тему, но может кто в курсе, чем можно под линух подебажить USB? Поотсылать пакетики, посмотреть, что будет...

ваершарк вроде умеет

ваершарк вроде умеет

Да, сниффер работает. А отослать пакет чем?

https://wiki.ubuntu.com/Kernel/Debugging/USB вот что говорит ubuntu wiki

Должен же быть GUI над libusb :)

https://github.com/Kakadu/Qt_libusb ?

Может просто биндинг?

К любому ЯП?

К любому ЯП?

Не хочется код писать. Хочется кнопочки понажимать.

Та тоже самое. Копируешь пример...

@qnikst спасибо.

Та просто болтается датчик отпечатка пальца. Дров под линукс к нему нет. Вот, думаю, в него палочкой потыкать. Может живой.

Сканер отпечатков вообще может работать в виде CDC device. Если это так, то потыкать можно хоть Telnet'ом :)

Система об этом, увы, не знает. Знает что подключен к шине, а вот что с этим делать, нет.

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

https://htmlpreview.github.io/?https://github.com/quchen/articles/blob/master/haskell-equality-table.html

Разве [] == [] вылетит?

Нет, с чего бы

GHCi, version 8.2.1: http://www.haskell.org/ghc/ :? for help Prelude> [] == [] True

Кстати, определение data [] a = [] | a : [a] — Магия?

-XNoMonomorphismRestriction

Так почему в таблице type error?

ну ёлки-палки, ну раз в месяц это

при том, что половина людей точно читали разборы

-XNoMonomorphismRestriction

И что с этим сделать?

а не в этом случае default rules

без указания типов они разные

и незвестно какие

Кстати, определение data [] a = [] | a : [a] — Магия?

где магия?

Как сделать чтобы в ghci [] == [] вылетало?

Само определение. Что такое [], a : [a]?

Не могу же я так свой тип определить.

qnikst@qwork ~ $ cat 17.hs foo :: Bool foo = [] == [] qnikst@qwork ~ $ ghci 17.hs GHCi, version 8.0.1: http://www.haskell.org/ghc/ :? for help IO error: "//usr/share/ghc-vis-0.8/ghc-8.0.1/ghci" does not exist Loaded GHCi configuration from /home/qnikst/.ghci [1 of 1] Compiling Main ( 17.hs, interpreted ) 17.hs:2:7: error: • Ambiguous type variable ‘t0’ arising from a use of ‘==’ prevents the constraint ‘(Eq t0)’ from being solved.

а хз, я не помню как дефолтны отключить

Т.е. это сахарок, для одного конкретного случая. Магия...

@banana_is почему не можешь?

а [a] - справа?

data <> a = <> | a : <a>

Ну, или типа того.

а [a] - справа?

Да

да

Prelude> data P a = (:-:) | a :> P a так можно, а чтобы оно матчило как выше незя

И что ":" такое? :)

Стоп, я что-то явно упустил.

Твой пример тоже выглядит как магия для меня.

ну : -это обычный конструктор

конструктор и конструктор типа [], конечно, не очень бычные

О боже. Я прозрел. Спасибо!

data Fun = Int ::: Int

Это чудо!

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

ну можно не в инфиксной определять (:--) a a