Alexander
dsl -> native с кодогенерацией и всем?
Влод
нееее лол
Евгений
У нас для исследования коалгебр есть @ru_catheory
кана
там правда не отвечают мне
Влод
ну то есть крутилась конечно мысль что можно что-нибудь на llvm сделать (кстати интересно насколько апи к нему поддерживается)
так мыслью и осталась
kosc
Что за коалгебры?
kosc
Теория категорий?
кана
там коалгебра была не в прямом смысле, лол
кана
сложно жить людям, которые не понимают контекст
Alexander
в прямом в том, числе, но вообще да, более обще
Alexander
т.е. там была очень сильная группа рассматривающая и прилящая что-то с рекурсивными схемами
Влод
ну то есть крутилась конечно мысль что можно что-нибудь на llvm сделать (кстати интересно насколько апи к нему поддерживается)
так мыслью и осталась
https://github.com/bscarlet/llvm-general/
ну так, так...
A64m
он вроде помер уже, теперь llvm-hs
Зигохистоморфный
тот что от Стефена?
Meowbe/BSD-2-Clause
ну то есть крутилась конечно мысль что можно что-нибудь на llvm сделать (кстати интересно насколько апи к нему поддерживается)
так мыслью и осталась
апи для хаскеля там
так себе, как по мне
Meowbe/BSD-2-Clause
Даже строковые константы не сделать
Влод
а да точно надо было по дате отсортировать. тот хотя бы живой.
Евгений
там правда не отвечают мне
У меня времени не очень много, да и теоркат я учил давно :) Нам бы найти нормального гомологического алгебраиста в чат
Зигохистоморфный
я не помню, емнип того, у кого на аватарке (->)
я попопутал с проектом про webassembly
Влод
блин а разве сам хаскель не генерится в llvm-ir? разве у разрабов нет интереса поддерживать либу с биндингами
A64m
блин а разве сам хаскель не генерится в llvm-ir? разве у разрабов нет интереса поддерживать либу с биндингами
ghc байндинги-то не использует, он текст генерит
A64m
да и llvm бекенд вообще подзаброшен, что-то в последний год правда делают всякие кросскомпиляторщики
Евгений
Шёл 2к17, а хаскель до сих пор компилируется в си минус?
Влод
kosc
2к18 же, не?
Евгений
Привычка, 18 уже, да
Влод
ааа
Влод
да, понял. это то ожидаемо
Влод
я подумал что сам проект llvm загибается и мир куда-то в другую сторону идёт
A64m
llvm вообще плохо подходит для того чтоб быть бекендом для ФЯ
Зигохистоморфный
а что надо ККМ?
Meowbe/BSD-2-Clause
Он подходит для любого языка, не знаю почему до сих пор всё не на нём
Meowbe/BSD-2-Clause
Кроме того что людям лень
Евгений
llvm вообще плохо подходит для того чтоб быть бекендом для ФЯ
Я так и не понял чем llvm хуже чем c--
A64m
но туда принимают нужные разработчикам имплементаций ФЯ фичи, так что если туда добавят поддержку континьюэйшенов, может нормально хаскель в него компилировать можно будет
Meowbe/BSD-2-Clause
Я так и не понял чем llvm хуже чем c--
Мейнтейнеры гхц не имеет времени поддерживать бэкэнд
Meowbe/BSD-2-Clause
Видимо
Alexander
@A64m_qb0 без c— же никак
Alexander
треть rts на нём
Евгений
я же давал ссылку на обсуждение в рассылке
Про то, что разрабы llvm хейтят ФП я понял. Но в C-- тоже нету континуэйшонов же
Alexander
Alexander
или все доказывают что то, что haskell не алгол это баг?
Meowbe/BSD-2-Clause
Про то, что разрабы llvm хейтят ФП я понял. Но в C-- тоже нету континуэйшонов же
С чего бы им его хейтить
A64m
@A64m_qb0 без c— же никак
с тем пайплайном что сейчас никак, но теоретически-то можно было из стг ллвм ир генерировать
Meowbe/BSD-2-Clause
У них к окамлу бинды официальные
Meowbe/BSD-2-Clause
Довольно функционально
Зигохистоморфный
кстати а применима еще где-то ККМ?
A64m
Про то, что разрабы llvm хейтят ФП я понял. Но в C-- тоже нету континуэйшонов же
они не хейтят они искренне удивляются что такое явление как ФП вообще существует, никогда про такое раньше не слышали
A64m
пытаются нащупать какие-то аналогии интуиции из C++
A64m
сейчас опять ссылку попробую найти, там обсуждение вообще потрясающее
Meowbe/BSD-2-Clause
Впервые слышу о таком
Meowbe/BSD-2-Clause
Мне тоже интересно
Alexander
классный тред был
Alexander
только надо очки снимать если есть и подушку на стол положить
A64m
http://lists.llvm.org/pipermail/llvm-dev/2017-April/112144.html
Meowbe/BSD-2-Clause
И да, кого понимают под "разработчики ллвм"?
Alexander
писатели в llvm-dev
Alexander
рассылку
Meowbe/BSD-2-Clause
Туда все подряд пишут
Meowbe/BSD-2-Clause
Же
Alexander
обычно у *-dev корреляция с разрабами - хорошая
Alexander
не знаю как в случае этой конкретной рассылки
Meowbe/BSD-2-Clause
Но вообще, у них гарантии совместимости ir
Alexander
проще почитать тред
Meowbe/BSD-2-Clause
Так что ожидаемо что неохотно хотят добавлять новое слово
A64m
но вообще они фичи принимают, т.е. это не gcc какой-нибудь
Влод
http://lists.llvm.org/pipermail/llvm-dev/2017-April/112181.html
как же это отвратительно читается
A64m
Про то, что разрабы llvm хейтят ФП я понял. Но в C-- тоже нету континуэйшонов же
нету, но он вообще более низкоуровневый чем ллвм ир и у него нет ограничений соотвествующих
A64m
У них к окамлу бинды официальные
тем не менее я видел доклад на сопутствующей ICFP конференции окамлистов (такой аналог хаскель имплементорс воркшоп) о том, что использование llvm в качестве окамловского бекенда неосуществимо из-за множества всяких проблем (да, некоторые из них смешные, хаскелисты и эмелтоновци кое-как бекенды накостылили)
Meowbe/BSD-2-Clause
тем не менее я видел доклад на сопутствующей ICFP конференции окамлистов (такой аналог хаскель имплементорс воркшоп) о том, что использование llvm в качестве окамловского бекенда неосуществимо из-за множества всяких проблем (да, некоторые из них смешные, хаскелисты и эмелтоновци кое-как бекенды накостылили)
Окамл бэкэнд нормально работает, на нём вполне можно реализовать язык. Говорю из личного опыта. Плюс расширить его супер легко, процесс контрибьюции простой
A64m
Окамл бэкэнд нормально работает, на нём вполне можно реализовать язык. Говорю из личного опыта. Плюс расширить его супер легко, процесс контрибьюции простой
имеется в виду, использовать ллвм как бекенд для окамловского компилятора
Meowbe/BSD-2-Clause
имеется в виду, использовать ллвм как бекенд для окамловского компилятора
Я думаю это очень даже возможно, учитывая что окамл однопоточный