Алексей
Ну может UndecidableInstances нужен
Alexander
у тебя в контексте у FooImpl 1 параметр
Алексей
Забыл а
Alexander
так лучше :)
Alexander
ну тоже 2 класса выходит, вроде как у меня в пасте
Alexander
1 определяющий тег, второй строящий нужное по тегу
Алексей
О! Можно прямо по ним и диспетчирезоваться
class FooImpl t where
toTFoo :: t a -> TFoo a
class FooImpl (Impl a) => Foo a where
type Impl a
fooImpl :: Impl a a
Alexander
и метод общий написанный через второй класс
Алексей
Ага
Alexander
последний вариант мне нравится
Алексей
Да. Первый я придумал для того чтобы выбирать чем сериализовать данные (цбором, жсоном...)
Iliya
Диму Маликова приглашали уже?
Roman
он еще пишет свой новый трек "ты моя монада"
Sergey
он еще пишет свой новый трек "ты моя монада"
Он войдет в новый релиз под названием "Мой функциональный рай"
Alexander
в @haskell_blah plz
Alexander
да неважно, читай что там ниже
Cheese
@cblp_su или что-то такое: https://paste.pound-python.org/show/k5lDF5glG3Qbemrjs1Q4/
спасибо! я что-то похожее пытался сделать, но недогнул
Cheese
A64m
все продолжают "циклы" чинить
https://github.com/ghc/ghc/commit/e655aac18c5b240f27fcaf26317ad87be5ce8b96
A64m
справедливости ради, они уже какие-то крохи добирают, по настоящему плохо они компилировались в 7.8, 7.10 и 8.0
Alexander
> A quick run of NoFib revealed no regression or improvements whatsoever.
Alexander
удивительное рядом
Alexander
разница в добавлении INLINE?
Alexander
а почитал
Alexander
> Notice that f does not inline into the RHS of c, because the INLINE pragma stops it;
Alexander
почему?
A64m
функция которая INLINE помечена должна в неизменном виде инлайнится, компилятор не может в нее заинлайнить что-то пока она сама не заинлайнилась
A64m
это, видимо, для того чтоб правила перезаписи нормально работали, а то инлайним map который уже оптимизирован внутри и там правило ничего не находит, что правилу соотвествует, в результате с другим мапом не фьюзится
Alexander
а логично
kosc
А что за прикол с тремя кнопками?
kosc
Боты научились кнопки жать?
A64m
сейчас еще и откатят наверное
A64m
эх, в воскресенье будет HIW, но что там расскажут мы никогда не узнаем, может через год выпустят видео в котором ничего не видно и не слышно, ну или не выпустят
Зигохистоморфный
Alexander
Haskell Implementors Workshop
Зигохистоморфный
https://github.com/grin-tech/ghc-grin
A64m
Они еще не сделали ничего рабочего
A64m
(даже на игрушечном уровне)
Cheese
эх, в воскресенье будет HIW, но что там расскажут мы никогда не узнаем, может через год выпустят видео в котором ничего не видно и не слышно, ну или не выпустят
но ведь можно просто взять и поучаствовать. ну, несколько сотен баксов только заплатить придётся, но это ерунда
A64m
проще простого, конечно
Artem
Боюсь, вместе с дорогой из России побольше чем несколько сотен.
Alexander
учитывая где это - несколько тысяч
A64m
каждый год лететь через половину земли, разделяться на n-частей потому что разные доклады на icfp идут параллельно, идеально видеть и слышать, ведь повторять никто не будет
Andrei
A64m
правда любой зажопинский митап теперь выкладывает видео в 10 раз быстрее и в 10 раз лучше качеством
A64m
но не icfp
A64m
слишком серьезное мероприятие для этого
A64m
эх, в воскресенье будет HIW, но что там расскажут мы никогда не узнаем, может через год выпустят видео в котором ничего не видно и не слышно, ну или не выпустят
Андрей
а зачем вообще этот ghc-grin ?
Artem
Медленно это из-за конкретного человека, насчёт качества: само икфп в норм качестве, а вот воркшопы никак не осилят, да
Андрей
название стрёмное) усмешка
Andrei
ну это да
A64m
да и само icfp обычно говно
Timofey
Я не из зажопинска, но митап у нас настолько убогий, что ни видео, ни слайдов. Да и желания туда ходить уже тоже нет
A64m
Я не из зажопинска, но митап у нас настолько убогий, что ни видео, ни слайдов. Да и желания туда ходить уже тоже нет
ну с icfp 13-го года тоже вообще не было видео, так что ваши митапы icfp не обойдут, разве что одно место поделят
Alexander
Alexander
=)
A64m
Медленно это из-за конкретного человека, насчёт качества: само икфп в норм качестве, а вот воркшопы никак не осилят, да
там последние 10 лет один и тот же конкретный человек что-ли?
Artem
В 13м году и митапы не писали в норм качестве-то
Cheese
надо поехать, чтобы поймать кого надо и объяснить, как мир страдает без видеозаписей
Alexander
я думаю все знают
Alexander
как с nofib
Artem
там последние 10 лет один и тот же конкретный человек что-ли?
Деньги на запись стали выделяться относительно недавно. До и всеобщая ютубизация прошла не так давно, если вспомнить. Последние пару лет один человек занимается, да. Да этого не знаю
A64m
хотя я не исключаю, что icfp 2013 писали, просто до сих пор не выложили еще
Timofey
возвращайтесь в РФ
Ну, да, митапы в Нске пишутся и выкладываются, ЕМНИП. А так это сложный вопрос
Artem
надо поехать, чтобы поймать кого надо и объяснить, как мир страдает без видеозаписей
Там на месте не факт, что будут люди, которым надо жаловаться :) это в сигплан или асм надо…
Timofey
Давно?
Я смотрел записи с Нских техписательских митапов (недавних), какие-то записи ФП митапов из ДубльГИСа (достаточно старых)
Alexander
A64m
а зачем вообще этот ghc-grin ?
это сделанный на коленке недофронтенд из гхц, чтоб можно было какие-то хеллоуворлды скомпилировать их имплементацией GRIN - это такой изобретенный в 90-е способ компилировать ФЯ, с помощью которого ни разу не удалось написать даже имплементацию которая сама себя компилирует или еще какое нетривиальное приложение
Artem
Но вообще-то спасибо, конечно, за консёрн, как говорится, попробую поискать, за какие верёвочки ещё можно потянуть. Самому видео-чейру я писал, он никакой.
Андрей
это сделанный на коленке недофронтенд из гхц, чтоб можно было какие-то хеллоуворлды скомпилировать их имплементацией GRIN - это такой изобретенный в 90-е способ компилировать ФЯ, с помощью которого ни разу не удалось написать даже имплементацию которая сама себя компилирует или еще какое нетривиальное приложение
я вроде нагуглил что-то про энергоэффективность и тд
Андрей
ФП дорос уже до таких оптимизаций ...
Artem
Интересно, кстати, кто из чатика (кроме меня :)) будет там
A64m
но учитывая какое сейчас плачевное состояние с работами по имплементации фя - это мегапроект века, практически
Евгений
это сделанный на коленке недофронтенд из гхц, чтоб можно было какие-то хеллоуворлды скомпилировать их имплементацией GRIN - это такой изобретенный в 90-е способ компилировать ФЯ, с помощью которого ни разу не удалось написать даже имплементацию которая сама себя компилирует или еще какое нетривиальное приложение
А в чём отличие от graph reduction machine?