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

я лично знаю одного

разница всё равно на психотерапевтов тратится

это еще вопрос кому они нужнее :)

согласен

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

Разумно. Но в таком случае, все, кого я видел, были глупыми. Потому что я их видел.

у меня работа выматывает нервы только своим количество (8 часов в день)

как мы уже обсуждали выше, тебе с ними не повезло :)

😞

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

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

я в общем то не говорю что умных много

но и прогеров не то что бы было когда-либо много на фоне менеджеров

ум понятие относительно)

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

https://github.com/ghc/ghc/commit/d650729f9a0f3b6aa5e6ef2d5fba337f6f70fa60

ум понятие относительно)

Мозг - понятие выносительное

кайнды как в седьмых версиях все

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

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

ну если процесс налажен) то все будет ок

объясните, что значит Type :: Type

я думал :: асиметрична

или там :: полиморфна по левой части?

ну если процесс налажен) то все будет ок

но не факт что лучше :)

асимметрична, конечно. справа тип того, что слева

то есть Type это еще и тип, а не только кайнд?

но не факт что лучше :)

смотря с какой стороны смотреть) возможно он всем разрабам зп повысит)

смотря с какой стороны смотреть) возможно он всем разрабам зп повысит)

а это точно будет лучше для фирмы?

Хренасе @int_index прыткий

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

а это точно будет лучше для фирмы?

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

ну вот и я о том же

хотя вижу несколько сценариев, когда это будет хорошо работать)

давайте лучше аксиому Type :: Type обсудим

а то я не понял что она значит

Моя первая мысль была - Type это тип каинда Type.

нет никаких кайндов

тогда возникает вопрос что такое тип кайнда

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

тип типа - тип.

вселенная типов

универсумы вроде

раньше было 0 :: Int :: * :: BOX терм тип кайнд сорт теперь 0 :: Int :: Type :: Type :: Type :: Type терм и типы ол зе вей даун

а зачем нужен бокс был? и как без него обошлись?

сорт кайнда *

теперь "сорт" "кайнда" Type - Type, так и обошлись

все равно неясно значем было надо :/

я правильно понимаю, что BOX был единственным сортом в хаскеле?

да

т.е. промоученый в кайнды Maybe имел сорт не BOX -> BOX, а просто BOX

не, это то понятно

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

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

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

Или нет?)

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

Читал тут 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.