AT
У внедрения линейности в Haskell, в отличие от SISAL/SAC, есть одна тонкость - обратная совместимость. Поэтому вопрос не такой простой, как всем бы хотелось. 😞
Size: a a a
2020 February 02
b⛅
А что за линейность? Как по-английски?
AT
Есть парочка языков - SISAL и SAC (Single Assignment C), в них эта задача была решена довольно давно. Код пишется функциональный, без явной линейности в типах, но компилятор видит, где массивы (или frame-ы в случае SISAL) последовательно thread-ятся, и в этих местах повторно использует память. SISAL в какие-то времена был эффективнее Фортрана.
И алгоритмы эти, вроде не такие уж сложные, чтобы не иметь возможности закодировать их в системе типов. В Haskell же есть стрелка
И алгоритмы эти, вроде не такие уж сложные, чтобы не иметь возможности закодировать их в системе типов. В Haskell же есть стрелка
-o? SPJ рассказывал уже. Проверить, к сожалению, пока не могуНу Clean примерно так и работает уже тоже сколько-то десятилетий...
AT
А что за линейность? Как по-английски?
Так и по-английски: linearity. Linear Types ещё.
b⛅
Так и по-английски: linearity. Linear Types ещё.
Спасибо. Звучит круто
МБ
Ну Clean примерно так и работает уже тоже сколько-то десятилетий...
Clean я пока не осилил. Описание алгоритмов у них названию не соответствует. Хотя, уже надо бы плотно за это взяться.
AT
Спасибо. Звучит круто
Это ещё что! Вы работы Жирара почитайте! 😂
AS
У вас тут такое большое сообщество... И все пишут компиляторы всякие?
Почему бы и нет?
TC
@dponyatov Как у тебя со Smalltalk? Есть светлое будущее у языка и среды?
AV
Я думаю, что в haskell нужно будет с линейными типами писать новые либы
AV
максимум linearity polymorphic
МБ
Я думаю, что в haskell нужно будет с линейными типами писать новые либы
Зачем? Линейность в haskell - это утверждение: если результат функции используется 1 раз, то её аргумент используется 1 раз. Если не так, то обычное поведение.
AV
Типы не надо, а вот в функциях надо будет тип стрелки менять, изгородки функции линейными или ещё лучше полиморфинымм по линейности не станут
DP
@dponyatov Как у тебя со Smalltalk? Есть светлое будущее у языка и среды?
есть, но кормить еще не готов
BD
не знаю, читали или нет, но вот чувак делал микропарсер сабсета Си чисто для автовекторизации — https://leiradel.github.io/2011/05/05/Auto-Vectorization-1.html
E
> микропарсер сабсета Си чисто для автовекторизации
wut
wut
TC
Dmitry Ponyatov
есть, но кормить еще не готов
Кого кормить? И чем?
BD
> микропарсер сабсета Си чисто для автовекторизации
wut
wut
The main goal is to write a source code translator that will parse input written in our SimpleC language and output the vectorized C code corresponding to that input.E
написать простой пример llvm pass для блога чтобы векторизовать цикл? Неее, лучше написать парсер для сасета Си -_-