просто все еще непонятно зачем были сорты

за тем же, зачем кайнды и типы, чтоб было что писать справа от ::

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

Или нет?)

нет, есть же еще анлифтнутые а анбокснутые типы

Читал тут http://www.parsonsmatt.org/2017/04/26/basic_type_level_programming_in_haskell.html хорошая статья для новичков

Constraint , в общем-то тоже не для необитаемых типов, но с констрейнтами сейчас история мутная

нет, есть же еще анлифтнутые а анбокснутые типы

А есть ссылка где почитать?

https://www.microsoft.com/en-us/research/wp-content/uploads/2016/11/levity-pldi17.pdf

Сенк

Читал тут http://www.parsonsmatt.org/2017/04/26/basic_type_level_programming_in_haskell.html хорошая статья для новичков

спасибо, гляну

спасибо, гляну

Вот ещё понятно разжевано. https://www.schoolofhaskell.com/user/konn/prove-your-haskell-for-great-safety/dependent-types-in-haskell

Правда теперь немного сомневаюсь, что там актуальная инфа.

/stat@combot

combot.org/c/-1001043143583

это канал про аниме? где можно найти хорошие примеры для настроек xmonad для многомониторных конфигураций, идеально если умели бы переключаться между режимами 1-много

переключаю мониторы через arandr/xrandr

arandr даёт настроить через GUI расположение и разрешение, а затем сохраняет пресеты в шелл-скрипты, вызывающие xrandr. А уже потом я через меню вызываю один из скриптов и т.о. "переключаю" конфигурации

хм...

Это работает для awesome/i3(у меня)/ватэва. Поэтому и для xmonad прокатит

ну включать xrandr я и руками могу

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

Autorandr посмотри

В него можно сохранить профили

И он сам умеет определять

И переключиться

Ну и я себе пару биндов сделал чтобы переключиться вручную между профилями ещё

@anpryl а у тебя дотфайлы не зашарены?

мне больше баиндинги интересуют и вообще а то что не очень понимаю дефолтную логику xmonad

как он окна перекидывает

ну и как тачскрин настроить

Он по моему просто открывает на активном экране и сам ничего никуда не перекидывает. Можешь тут посмотреть, но многомониторная часть там по моему: два биндинга https://bitbucket.org/Shimuuar/config/src/776c10f5f69816ddf9f8c860d4f15abb4e99df05/X/xmonad.hs?at=default&fileviewer=file-view-default

Кстати, раз уж речь про xmonad. А где у неё унутри перемапливание кнопок? Я в .xinitrc заменяю CapsLock на Esc: xmodmap -e 'clear Lock' -e 'keycode 0x42 = Escape', но после запуска xmonad оно как-то сбрасывается снова к CapsLock.

Или как правильно переключать?

Разгадайте ребус из Слаковских смайлов:

Я caps переделываю в ctrl при помощи setxkbmap

Оно у тебя в ~/.xinitrc?

caps же нужен чтобы раскладку переключать

До запуска xmonad?

Да

Не, контрол удобнее

И не перемапливается, надо полагать, через 5-10 сек после запуска xmonad, да?

Никогда такого не было

Спасибо, попробую.

Я левым мизинцем нажимаю Esc (который Caps), а переключаю раскладку правым мизинцем -- по правому Shift.

Тут точка -- это композиция смайлов?

Я емаксер, мне ctrl нужен, не esc

esc даже вимерам не нужен

т.к. ctrl-]

Тут точка -- это композиция смайлов?

А вот, не скажу ?

т.к. ctrl-]

Это ж долго!

похоже на задачку по группам

о невалидна

Хех, неверно :)

Это ж долго!

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

сцепление отпускаем, газ даем

синхронно, господа, синхронно

хотя если группа абелева, то вполне валидна

похоже на задачку по группам

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

а, это про хаскель

она про то, что поинтфри - зло

Ну я бы не стал постить не про хаскель сюда

ERROR: S client not available

она про то, что поинтфри - зло

Нет :)

То, что в ребусе - мегаважное и не зло

монады

Продолжай

возможно даже фри

Гм

ну чисто потому что ты ее скинул

Нет :) Продолжаем думать, ребята :)

а что есть второй смайл в первых двух рядах?

Это смайл :burrito:.

IO considered harmful?

это монадические законы?

Нет, и нет

Кстати, вместо чертенка допустим смайл "бомба"

Подсказки давай)

Игрался с монадами и память взорвалась

Да тут, боюсь, одна-единственная подсказка все раскроет

Кстати, вместо чертенка допустим смайл "бомба"

Unsafe coerce?

О!

Так, не понимаю почему

Зачем тут id

Что именно "О!"? Разгадано?

Только часть, относящаяся к чертенку и стрелочкам, но и то понимание еще не пришло, что же закодировано

@kana_sama , а какая версия есть? Там, возможно, именно такого с ID и нету, но вообще такое можно сделать

Посмотрел: есть такое.

ну я подумал просто про gcast Typeable

потому что Киселев в пейпере про эффекты так кастил, заворачивая в Identity

Ну хорошо. Подсказка: вы это часто пишете в своих программах

я так и не понял, почемуу, когда есть cast :: (Typeable a, Typeable b) => a -> Maybe b

реакт-компоненты