Дима
Я недавно смотрел что может предложить хакадж в плане графов, есть несколько норм альтернатив, там не одна библиотека
Дима
Названия запоминать я конечно не буду
A64m
нормальных - понятие растяжимое
A64m
есть containers, есть fgl
Дима
Ну, скажем, подходящих под задачу автора
Дима
Я просто с похожими целями смотрел
Дима
Просто по списку категорий (не тех) прошёлся с поиском и смотрел что есть
Timofey
пока у меня смутное подозрени, что algebraic-graphs позволит граф "собрать", а fgl - "разобрать". Осталось найти третью либу, которая на лету сконвертит один граф в другой =)
KLH
а на тайп левеле можно изобразить вектор (или список) , который состоит из элементов нескольких типов, но так, что каждый из элементов встречается ровно один раз? порядок элементов не определен, размещаются в этом списке в любом порядке, но главное только один раз.
A64m
а на тайп левеле можно изобразить вектор (или список) , который состоит из элементов нескольких типов, но так, что каждый из элементов встречается ровно один раз? порядок элементов не определен, размещаются в этом списке в любом порядке, но главное только один раз.
https://hackage.haskell.org/package/type-level-sets-0.8.7.0/docs/Data-Type-Set.html
KLH
спасибо. в целом я думал, про тайп-левел сеты. но не был уверен, что все это можно увязать. а можно гдето почитать про ограничения type-level в хаскело-окамловых типов языков? что нельзя изобразить на тайплевеле , но можно в языке с полноценным завтипами?
A64m
пока у меня смутное подозрени, что algebraic-graphs позволит граф "собрать", а fgl - "разобрать". Осталось найти третью либу, которая на лету сконвертит один граф в другой =)
и контейнеры и фгл позволяют граф собирать, просто не так красиво как в случае с algebraic-graphs
чтоб конвертировать вторые в первые надо или из интмапов которые умеет algebraic-graphs делать конвертировать или написать интерпретатор (инстанс класса Граф)
Cheese
https://hackage.haskell.org/package/type-level-sets-0.8.7.0/docs/Data-Type-Set.html
это отличается от рекордов только сахаром?
Cheese
спасибо. в целом я думал, про тайп-левел сеты. но не был уверен, что все это можно увязать. а можно гдето почитать про ограничения type-level в хаскело-окамловых типов языков? что нельзя изобразить на тайплевеле , но можно в языке с полноценным завтипами?
переход от значений к типам. то есть зависимые типы, собственно
Denis
ну, справедливости ради это уже и в хаскеле можно, только не шибко удобно
A64m
спасибо. в целом я думал, про тайп-левел сеты. но не был уверен, что все это можно увязать. а можно гдето почитать про ограничения type-level в хаскело-окамловых типов языков? что нельзя изобразить на тайплевеле , но можно в языке с полноценным завтипами?
в языке вроде хаскеля можно примерно все то что и в языке с завтипами, но костыльно, многословно (все надо писать по три раза для значений, для типов и для синглетонов) и медленно, потому что нельзя выкинуть все доказательства, их надо в рантайме выполнять
A64m
это отличается от рекордов только сахаром?
поверх этой библиотеки сделана минимум одна рекордовая - буккипер
Timofey
KLH
в языке вроде хаскеля можно примерно все то что и в языке с завтипами, но костыльно, многословно (все надо писать по три раза для значений, для типов и для синглетонов) и медленно, потому что нельзя выкинуть все доказательства, их надо в рантайме выполнять
а есть может есть какаято статья в закладках, позволяющая подробней вникнуть в тайп-левел? или нужно штудировать тапл подробно и без этого никак (хотя там может этого и нету) ?
Чтото читал , вроде понятно на простых примерах, но общей картины нету
A64m
а есть может есть какаято статья в закладках, позволяющая подробней вникнуть в тайп-левел? или нужно штудировать тапл подробно и без этого никак (хотя там может этого и нету) ?
Чтото читал , вроде понятно на простых примерах, но общей картины нету
сейчас накидаю
https://repository.brynmawr.edu/cgi/viewcontent.cgi?referer=&httpsredir=1&article=1009&context=compsci_pubs
KLH
спасибо. хм, кстати вижу в телеграме уже сохранено, видимо уже когдато от Вас сохранял на будущее) сейчас начну читать
A64m
а есть может есть какаято статья в закладках, позволяющая подробней вникнуть в тайп-левел? или нужно штудировать тапл подробно и без этого никак (хотя там может этого и нету) ?
Чтото читал , вроде понятно на простых примерах, но общей картины нету
https://www.cs.ox.ac.uk/projects/utgp/school/andres.pdf
A64m
http://homepages.inf.ed.ac.uk/slindley/papers/hasochism.pdf
A64m
там проблемы и ограничения обычно снимаются в новых версиях, так что трудно найти что-то актуальное
KLH
там проблемы и ограничения обычно снимаются в новых версиях, так что трудно найти что-то актуальное
спасибо! ну мне бы в целом "грокнуть" правильные паттерны мышления в подобных задачах кодирования
A64m
надо смотреть библиотеку https://github.com/goldfirere/singletons это передний край всего этого ужаса
A64m
да там нету правильных паттернов. есть "старая школа" тайплевел-пролога как тут http://www.cse.chalmers.se/~hallgren/Papers/hallgren.pdf
A64m
есть более современная, как в пейперах выше, она сейчас только формируется
A64m
ну и можно посмотреть видео докладов Richard A. Eisenberg и Stephanie Weirich
Vladislav
Какой же парсер у GHC нереальный
Vladislav
Что он делает для обработки ~ это просто тихий ужас
A64m
хорошо что не ленятся и используют один символ много для чего
Vladislav
Ну вообще ambiguity там нет, можно отличить, когда инфиксно, когда префиксно ~ используется
Vladislav
Но парсить его всегда префиксно, а потом отдельным проходом разделять назад, это надо было додуматься
A64m
так наверное потому что он сначала только префиксный был
A64m
а инфиксным стал относительно недавно
Vladislav
Т.е. если написать a ~ b, это на самом деле App "a" (Lazy "b")
Vladislav
а инфиксным стал относительно недавно
Ну можно же по-человечески было делать его инфиксным
Vladislav
Вместо превращения App "a" (Lazy "b") в OpApp "a" "~" "b"
A64m
а в случае какого-нибудь ( ~a ?
Vladislav
Что это за случай с незакрытой скобкой?
A64m
ну она дельше закрывается, конечно
Vladislav
Кстати, да, вот собираются же мерджить type/term парсеры. Возьмем (~a). Это operator section или laziness annotation?
Vladislav
Да не просто собираются, а уже 2 недели 2 человека трудятся фултайм.
Vladislav
где человек = студент Эйзенберга
A64m
да так же как сейчас для велью парсера отличают a ! b от !b и b# c от b # c
A64m
тут-то ничего нового как раз
Vladislav
! whitespace sensitive что ли?
A64m
да
Vladislav
Дайте мне другой язык с нормальным синтаксисом
A64m
а как в нормальном будет?
Vladislav
GHCi, version 8.2.2: http://www.haskell.org/ghc/ :? for help
Prelude> f !a = a
Prelude> :info f
<interactive>:1:1: error: Not in scope: ‘f’
Prelude> :info (!)
(!) :: p1 -> p2 -> p2 -- Defined at <interactive>:1:3
Vladislav
ничего тут не отличается
Vladislav
А, надо -XBangPatterns включить
A64m
так банги не включены
A64m
все эти вайтспейс-сенситив штуки из-за синтаксиса, который добавили в расширениях
Vladislav
а как в нормальном будет?
вот так вот http://www.cse.chalmers.se/~nad/publications/danielsson-norell-mixfix.pdf
A64m
меджик хэш, лейблы, отрицательные литералы и т.д.
Vladislav
а еще "в нормальном" не будет отдельных неймспейсов для типов/тёрмов
Vladislav
и не придется писать '[a] вместо [a]
Vladislav
потому что [a] это List a
A64m
но это уродливо же, когда List a
Vladislav
а NonEmpty a ты как бы хотел писать?
Vladislav
[a]+ какой-нибудь небось
A64m
в нормальном языке не должно быть никакого NonEmpty
A64m
но вообще просто a+
Vladislav
a* тогда для списков?
A64m
ну да
Vladislav
Ну пусть так будет.
A64m
хотя мне нравится, как в хаскеле сделано, что конструктор и тип одноименные, жаль такое терять
A64m
так что разные неймспейсы для них это фича
Влод
Юнит в идрисе тоже одинаковый
A64m
ну в языке с перегрузкой можно сколько угодно всего одноименного в одном неймспейсе иметь
A64m
типы-то различаются у Foo :: a -> Foo a и Foo :: Type -> Type
A64m
но перегрузка это адище,
Vladislav
Ну типы и у [] различаются
A64m
я бы не стал связываться с таким
Vladislav
[] :: forall a. [a] vs [] :: Type -> Type
A64m
ну да, если есть перегрузка, то можно называть одинаково конструкторы и конструкторы типов в одном неймспейсе
A64m
но в нормальном языке перегрузки быть не должно