Вот. Херня!

В haskell, а не в теории типов

Да

С теорией типов у меня мир ?

/o

В теории типов bottom это пустой подтип любого типа, но в hs я видел запись в учебнике data Int = undefined | Int#, и пусть меня первым бросит камень тот, кто назовет это чудо-юдо слева от "|" типом

О, вот что придумал. В теории типов не делают различия между вычислением, которое моментально возвращает "ошибку" (head []) и вычислением, которое выполняется бесконечно долго (length $ repeat 1), потому что в теории типов нет времени ? Просто либо что-то возвращает, либо нет. Всё, кажется утряслось.

эм.. а разве эт неочевидно?

эм.. а разве эт неочевидно?

Теперь да:)

Как только дошло

+SafeCopy

в продолжение и дабы разбавить ужасы bottoma: а это сделано поверх distributed-process c какой-то кастомной сериализацией или вы определяете data Message = Message ByteString?

сорри я не думал, что это дополнять надо

или на более низком уровне?

на уровне distributed process

то есть там можно плагинить свою сериализацию?

ну у нас есть data Message = Message StablePrint ByteString

а оверхед на копирование?

ну типа один массив байтов в другой

или это ерунда

там writev подиее не должно быь большой проблемой при больших размерах

опа

то есть сериализатор использует writev?

в смысле сериализует сразу в сокет?

или я туплю

а, ясно

оно в lazybytestring сериализует который куски байтострок

и потом writev в сокет

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

мы вроде как-то это обходили

ага, ясно

есть следующее правило типизации: для любого типа T тип Bottom является подтипом T (Bottom :< T)

ну да, найс. Правда немного неясен профит приписывать тип боттом для невычислимых функций. у таких функций с типом ведь всё в порядке.

ну у нас есть data Message = Message StablePrint ByteString

может StablePtr? про StablePrint ни разу не слышал

это наш тип

а, ок

кажется они вернулись

Может Джон просто поздоровался? Привет, Джон

поздно

Пока

пеппа конечно хорошо, но не настолько

пеппа конечно хорошо, но не настолько

?

а вот еще вопрос: какую лучше всего структуру использовать под небольшое множество строк, в которое надо изредка что-то добавлять и удалять и гораздо чаще делать запросы типа "дай мне случайный элемент" или "дай мне элемент по принципу round-robin"

я чо-то много вопросов задаю

с другой стороны, кому-то будет полезно

понятно, что можно список и рандомный индекс

но вдруг есть что-то красивое

vector?

Ну видимо такую в которой время обращения к элементу будет O(1) из таких структур я только Vector знаю

у вектора O(1)

я опечатался

ок )

извините )

можно вектор

люди вот так извращаются http://stackoverflow.com/questions/7349080/select-random-element-from-a-set-faster-than-linear-time-haskell

эм.. а в Set линейное время?

херовый такой Set

я думалв Set нет порядка

не, это типа выбрать случайный элемент быстрее чем линейно

но я не работал в ним ))

такой примерно select * form t order by rand() limit 1;

такой примерно select * form t order by rand() limit 1;

плохой пример

это скорее выбрать из списка

с фулл сканом

вот если есть конструкция похожая на order by rand было бы круто

а неважно, limit 1 же

в хаскеле на первом же и остановится

ERROR: S client not available

угу, но линейное время ты получишь

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

а что за принцып round-robin?

каждый выбираем по одному разу по очереди

Если эта структура имеет фиксированную длину, то лучше вообще использовать кортеж

фиксированную длину < 10

вроде говорилось, что структура маленькая

Если эта структура имеет фиксированную длину, то лучше вообще использовать кортеж

не учи плохому человека

пусть берет вектор спокойно

не учи плохому человека

а почему кортеж плохо?

завтра понадобится 20 элементов

или 100

так я же говорю, если структура фиксированная

а главное

зачем кортеж?

ну если не устраивать тот самый онанизм на типах?

у него время обращения норм

при частых запросах вкатит

а если запросы не частые в малых структурах можно и обычные списки использовать

как ты из тупла возьмешь n-й элемент? (n - рандом)

а если запросы не частые в малых структурах можно и обычные списки использовать

опять же ЗАЧЕМ? если есть вектор с нужными характеристиками по случайному доступу

до 10 элемента есть встроенная функция (библиотеку не помню)

какая сигнатура у этой функции?

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

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

не понял фразы вообще )

а что такое случайный доступ?

https://en.wikipedia.org/wiki/Random_access

vector[random(0, vector.size)]

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

"случайный" в этом смысле

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