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

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

Нет. Haskell же принципиально без формальной семантики.

Hello my frend

Нет. Haskell же принципиально без формальной семантики.

ну вот. печалька

https://twitter.com/jyothsnasrin/status/957595543194165249 А вы говорите ета не развивается

Всем привет, делаю сжатие хаффмана, можете подсказать идею, как записать в файл полученныую последовательность битов?

Упаковать в байты и потом Data.ByteString.writeFile

так, хорошо, а сами биты использовать Data.Bits?

и последний момент. Допустим получилось следующее: 1110001110 Тут получается 1 байт + 2 бита. Как с таким быть? Если сформируется байт 10000000, как его потом правильно раскодировать?

Byte - это Word8, не?

ну, про нецелые байты — это вопрос вообще не про Хаскель, а про основы CS

Byte - это Word8, не?

один из вариантов

Word8 — один из вариантов представления байта в Хаскеле

[Word8] -> ByteString Очень просто, "без шума и пыли"

окей, спасибо, буду разбираться

Data.Bits, Word8, ByteString Должно хватить

[Word8] -> ByteString Очень просто, "без шума и пыли"

это если у тебя есть Word8

или это в качестве идеи?

идейно [Word8] и ByteString — вообще одно и то же

или я не понял

Например, пустой байт: fromInteger 0

pack :: [Word8] -> ByteStringSource# O(n) Convert a '[Word8]' into a ByteString.

Почти одно и то же, но не совсем

Нецелые байты (напр., nibble) неудобны

Кстати, в эрланге используют пол-байта в целях экономии: http://erlang.org/doc/apps/erts/erl_ext_dist.html

Подскажите, а как отключить Stack в системе??

Я удалил ~/.stack, запускаю в проекте hdevtools, и он начинает качать stack

Cabal file: Just "/home/dima/datamarket.exp/dmsr.cabal" Writing implicit global project config file to: /home/dima/.stack/global-project/stack.yaml Note: You can change the snapshot via the resolver field there. Using latest snapshot resolver: lts-10.4 Downloading lts-10.4 build plan ... Downloaded lts-10.4 build plan.

Как сделать, чтобы не качал?

stack.yaml в текущем проекте тоже нету

сделать alias stack=false в том окружении, где запускаешь hdevtools

но я подозреваю, что hdevtools не будет работать без stack

До установки stack работал :(

Не, не хочет через alias stack=false

бинарь стэка то точно остался, может его детектит?

Даже если /usr/bin/stack удалить, всё равно пытается lts-10.4 скачать.

А, во, он ещё в ~/.local/bin/stack был

Там удалил, hdevtools заработал.

Придётся извращаться с PATH, чтобы в одном проекте был stack, а в другом не было.

> For projects with custom build systems, you can prevent hdevtools from detecting a global stack.yaml configuration with the argument —nostack.

--nostack можно положить в .hdevtoolsrc внутри проекта

(это всё я из ридми взял, сам не пробовал)

Спасибо!

Сейчас поставлю свежую версию, в моей этот флаг не работает

Во, свежая опция поддерживает флаг и не ищет stack!

Спасибо за помощь!

?

это канал об аниме? никто не делал workspace в xmonad, т.е. чтобы включив определенный workspace можно было переключаться между готовыми списками окон с их лейаутом и т.п.?

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

acme-cute-girl?

https://hackage.haskell.org/package/acme-cutegirl-0.2.0.0/docs/Acme-CuteGirl.html

хм.. а не

или в старых версиях оно ansii art рисовало

хм.. наверное нет, с чем-то перепутал

https://github.com/leptonyu/odpic-raw

Лол.

data CuteGirl Source Cute girls capable of doing cute stuff Constructors Sayaka Kyōko Homura

data CuteGirl Source Cute girls capable of doing cute stuff Constructors Sayaka Kyōko Homura

прекрати эти бредни, это канал о серъезных вещах, а не об этом

Блин, лол, то чувство, когда знаешь, кого именно печатает эта библиотека :))) Не пойму, а почему там отсутствует Madoka??? :))

веобу везде

прекрати эти бредни, это канал о серъезных вещах, а не об этом

Это канал о Хаскель, и всё что на нём реализовано достойно обсуждения здесь, лол.

лол.

Это канал о Хаскель, и всё что на нём реализовано достойно обсуждения здесь, лол.

свое школьное лол оставь при себе

ERROR: S client not available

Да ладно тебе, будь терпимие :) Тем более, что в школе я общался исключительно литературным языком :)

Тем временем скоро QuantifiedConstraints и ImplicationConstraints скоро подвезут, кажется. https://ghc.haskell.org/trac/ghc/ticket/2893#comment:28

> I'll try to get it up on Phabricator on Monday <soon>

Тем временем скоро QuantifiedConstraints и ImplicationConstraints скоро подвезут, кажется. https://ghc.haskell.org/trac/ghc/ticket/2893#comment:28

а какой профит от этого?

Вот кстати тоже хотел спросить, что я могу написать с ними проще, чем без них? Какой юзкейс?

Как минимум что-то вроде forall a b. Coercible a b => Coercible (f a) (f b), а это значит join в Monad можно добавить и GND останется жив

квантификация в констрейнтах?)

Во-вторых была тонна юз-кейсов в transformers (там для этого Eq1, Show1, etc), в pipes, и других либах

В constraints сейчас для этого страшные хаки

Взять тот же MonadTrans класс, он должен по-хорошему иметь в суперклассе forall m. Monad m => Monad (t m)

Этот коммит если реализует всё то, на что у меня текут слюни, просто с невероятным скоупом фича.

Как только в HEAD завезут пойду пробовать.

8.6 будет с фичами!

В constraints сейчас для этого страшные хаки

Ладно, убедил.

8.6 будет с фичами!

С какими? Я пока только зависимые типы жду... но это ещё когда будет :(

И явно не в 8.6

С какими? Я пока только зависимые типы жду... но это ещё когда будет :(

system d?

Зависимые типы не нужны.

Зависимые типы не нужны.

Не хочешь, не пользуйся...

system d?

Эм, просвяти?

Эм, просвяти?

почитай пейпер Стефани Вайрих

Зависимые типы не нужны.

у меня припекло

у меня припекло

Да просто хайпят их сильно, а профита будет мало. Сам же знаешь что адвансед тайп мэджик в продакшон не берут.

С линейными также

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

Сейчас весь type-level magic делать очень больно, вот его и не хочется не то что в продакшн, но временами и в целом, делать.

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

Сейчас весь type-level magic делать очень больно, вот его и не хочется не то что в продакшн, но временами и в целом, делать.

ну и синглтоны это такой грязный хак)

Вообще всё что требует TH это то, что не вписалось в стоковые абстракции языка, а значит где-то там хаки

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

Я еще не задумывался над тем, как должны выглядеть синглтоны синглтонов, но у меня точно есть юз-кейсы для зависимых типов "второго порядка" так сказать, где типы данныъ зависят от данных, типы которых зависят от других данных