ок

f :: ∀ x. (a -> x) -> f x

да

т.е дальше ты применяешь условие натуральности и получаешь (f . fmap g ) id

ну ок, f. fmap g == fmap g. f для любой g это достаточное условие для from . to = id

В реальности и достаточное. Лемма Йонеды не просто следует, а эквивалента требованию натуральности

это практически наверняка следует из законов для fmap и free theorems

Натуральность - это дополнительная структура, она не следует из общности полиморфизма. Но удачи попробовать

хм, ∀ x. (a -> x) -> x ~ a точно следует из free theorems, об этом даже написано в Theorems for free вадлера

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

хм, ∀ x. (a -> x) -> x ~ a точно следует из free theorems, об этом даже написано в Theorems for free вадлера

да, это правда

хм, ∀ x. (a -> x) -> x ~ a точно следует из free theorems, об этом даже написано в Theorems for free вадлера

ты можешь легко сам вывести условие натуральности для полимофорфной функции из (~>) a в Identity. Ну, опуская дно, понятно Для произвольного функтора это уже не всегда верно

я сохранил этот разговор, позже подумаю. как додумаюсь, напишу.

Я тоже засомневался в своём последнем утверждении.

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

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

Но такой вариант не позволяет кэшировать результаты сборки

Делать всё через forward я не могу, потому как часть собираемого у меня таки собирается "от результата"

Читай файлы вне шейка

Чтение файла сделай топ Фони и из него делай need

Шейк же монадический а не аппликативный

Ортогональное этой дискуссии замечание - пишите и выкладывайте гайды, тюториалы и сборники how-to по шейку!

А то их в сети раз, два и обчёлся

Я как-то делал динамический need/want, там не сильно много магии. Динамические правила ещё не делал =)

Сделал диначмеческие правила. Работает.

Чёт шейковы copyFile' со товарищи странно работают с временными папками, которые шейк и создаёт

Трекать как зависимость файлы во временной папке - такое

Ладно хоть можно самлинт прогнать и понять, что лишнее трекаешь

Но в итоге всё норм, результат кэшируется, красота!

Гист в студию!

https://github.com/astynax/racket-daily-art/blob/master/Build.hs

Спасибо!

@automationanywhere будет жить. Поприветствуем!

Andrey будет жить. Поприветствуем!

https://github.com/astynax/racket-daily-art/blob/master/Build.hs

Что меня раздражает, так это проблемы с OverloadedStrings и Shake - стоит включить, как всё сразу ломается. Поэтому приходится выбирать, либо правила Shake нормальные (без лишних аннотаций), либо T.pack "code" ~> T.pack contents. Так и живу...

@astynax {-# language OverloadedStrings #-} {-# language ExtendedDefaultRules #-}

https://github.com/nh2/command/issues/1

Я пробовал. "works, but leaves a warning." как и написали в комментах..

Но спасибо за ссылку на ишшуй! Из него я узнал о https://github.com/ndmitchell/shake/issues/74 :)

Смогу теперь в IO команды через cmd писать :)

А почему бы и ворнинг не отключить?

Ворнинг про warn-type-defaults - полезный. М.б. не в shake-скриптах, конечно :)

Смогу теперь в IO команды через cmd писать :)

λ> putStr . fromStdout =<< cmd (Cwd "/tmp") "pwd" /tmp мне нравится!

Мы в summoner использовали один прикольный трюк, чтобы писать shell-команды прямо набирая названия команд и передавая аргументы, чтобы как можно ближе к оригиналу получалось. Может быть не самое типо-безопасное решение, но читаемость отличная, и для того, чтобы быстро вызвать какие-то команды из shell очень подходит. * https://github.com/kowainik/summoner/blob/4395c5f93c4a94d489c0824f733e9127bfdb48a0/src/Summoner/Project.hs#L108-L117

У cmd шейковского самое приятное - перегрузка вывода.

А ещё передача параметров, если это необходимо. Вот такая cmd (Cwd "/tmp") ...

А как называется фолд, когда на каждый шаг мы берём в качестве аргумента текущий зиппер всей структуры данных?

т.е. в случае со списками, это будет ([a] -> z) -> (z -> Zipper a -> z) -> [a] -> z

Мы в summoner использовали один прикольный трюк, чтобы писать shell-команды прямо набирая названия команд и передавая аргументы, чтобы как можно ближе к оригиналу получалось. Может быть не самое типо-безопасное решение, но читаемость отличная, и для того, чтобы быстро вызвать какие-то команды из shell очень подходит. * https://github.com/kowainik/summoner/blob/4395c5f93c4a94d489c0824f733e9127bfdb48a0/src/Summoner/Project.hs#L108-L117

а ты можешь рассказать как это работает плиз?

а то я что-то не опнял как вы этого добились

IsString уж + OverloadedStrings

Sergei будет жить. Поприветствуем!

@ArtyomKhmelyov будет жить. Поприветствуем!

а ты можешь рассказать как это работает плиз?

@astynax прав. Все благодаря следующему маленькому инстансу: https://github.com/kowainik/summoner/blob/4395c5f93c4a94d489c0824f733e9127bfdb48a0/src/Summoner/Process.hs#L21-L26 Как приятный бонус, благодаря этому инстансу, текущая выполняемая команда заодно печатается в консоль в красивеньком виде.

@astynax прав. Все благодаря следующему маленькому инстансу: https://github.com/kowainik/summoner/blob/4395c5f93c4a94d489c0824f733e9127bfdb48a0/src/Summoner/Process.hs#L21-L26 Как приятный бонус, благодаря этому инстансу, текущая выполняемая команда заодно печатается в консоль в красивеньком виде.

спасиб, я догадывался что это через OverLoadedStrings, но как это сделать не понимал:)

Удалите меня

Аааааааа

Я прошу

Админы

!admins

Удалите меня

просто выйди из чата

ERROR: S client not available

Как?

Давай я тебе доступ дам и ты выйдешь

свайп по чату

«изм.»

в списке чатов

странный этот ваш айфон

https://apple.stackexchange.com/a/281076

чат надо переименовать в VIM

у haskell и vim есть общие вещи

как зайдешь - тяжело выйти назад

первая доза бесплатно

Не удаляйте его, пусть просвещается человек!

пусть приобщается, с*ка

SKI ?

базис?

SKI ?

X

плохая шутка, забей

так выпиливать или нет?

да пусть сидит

я, кстати, не уверен, что бан юзера приводит к его исключению из группы )

приводит

fast\Data\Reflection.hs:333:33: error: parse error on input `*' | 333 | (*) a b = AppT (AppT (VarT ''(*)) a) b | ^ чего ему не нравится-то?

TypeOperators?

или '(*)?

@int_index виноват, наверное

похоже на то {-# LANGUAGE CPP #-} {-# LANGUAGE EmptyDataDecls #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE FunctionalDependencies #-} {-# LANGUAGE KindSignatures #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE PatternGuards #-} {-# LANGUAGE Rank2Types #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE PolyKinds #-} {-# LANGUAGE TypeOperators #-}

{-# LANGUAGE IntIndexCompatible #-} (прости, Влад!)