Misha
@kana_sama Эти тулзы не взаимозаменяемы и тебе нужны будут обе.
Misha
(наверное)
Зигохистоморфный
ну а brittany?
Quet
форматтер кода желательно должен вообще не настраиваться
Quet
ну или минимально )
Misha
Утверждение так себе.
Misha
Задача заставить весь haskell community писать в одном стиле, мягко говоря, сложновата.
Quet
и этим форматтером желательно должны пользоваться все
тогда самый профит )
кана
hindent раздражает тем, как переводит строки для каждой переменной конструктора, какой-нибудь F a b c d будет на 5 строк растянут
Anonymous
скиньте пожалуйста что-нибудь доступное про эти ваши линейные типы и регионы
в расте ты не можешь получить из одного значения два, т.е. если ты отдаешь значение функции то ты не можешь его использовать если обратно оно не возвращается
struct A;
fn consume (x: A) -> () {}
let x = A;
consume(x);
// здесь нельзя использовать x
Anonymous
если же использовать вместо consume
fn not_consume(x: A) -> A { x }
то после вызова мы можем опять использовать x (но более простое решение, которое и используют, это создать референс типа &A и передать его)
Ilya
в расте ты не можешь получить из одного значения два, т.е. если ты отдаешь значение функции то ты не можешь его использовать если обратно оно не возвращается
struct A;
fn consume (x: A) -> () {}
let x = A;
consume(x);
// здесь нельзя использовать x
да я вроде не про раст спрашивал. или линейные типы и регионы это изобретение раста?
в любом случае, не вижу у тебя слов "линейные типы" и "регионы"
Ilya
реквест обзорных статей остаётся в силе
Anonymous
линейные типы это типы которые используются только один раз. статей у меня нет, сорь
Ilya
Ну на хабре я читал про раст несколько статей. Принцип борроу-чекера и лайфтаймы мне понятны.
Но ни разу в тех статьях не видел слов "линейные типы" и "регионы"
Ilya
за этим видимо какая-то теория стоит? вот её хочется увидеть
Ilya
линейная логика
на русском гуглится какой-то трэш
на английском нашлось вот это https://en.wikipedia.org/wiki/Linear_logic
оно?
Anonymous
Anonymous
а что если изначально был лишь один идеальный язык, но из-за заговора мы о нём не знаем и сми пропагандируют лишь отсталые языки программирования?
Ilya
спасибо
Alexander
форматтер кода желательно должен вообще не настраиваться
это возможно только в новом языке с фюрером
Quet
ну да, понятно что нереально ) но там где язык с фюрером и всех заставляют -- эффект хороший
Ilya
исходный код вообще должен не в текстовом виде храниться, а в чем-то типа AST (комменты делаем частью синтаксиса, да)
Дима
Противоречие определению
Ilya
плюсы: 1) не будет споров tab/spaces и пр. вкусовщина 2) рефакторинг не затрагивает полпроекта диффом
Дима
Лол
Дима
Переизобретение CST
Дима
То есть по большому счёту это решённая проблема, просто не во всех экосистемах есть нормальные тулчейны для управления подобным
Ilya
кто говорит о переизобретении? но ни в каком из мейнстримовых языков я такого не видел
Дима
Бывает
Quet
То есть по большому счёту это решённая проблема, просто не во всех экосистемах есть нормальные тулчейны для управления подобным
а есть живая экосистема где это работает?
Дима
git pre commit hook -> prettier-eslint
Quet
не, то что форматтер можно повесить на гит хук это понятно
Дима
Тут проблема собственно не в форматтере а в гите
Дима
А другого гита нам не завезли
Дима
Хотя я подумываю о реализации monotree
кана
кана
Потому что как я вижу, все эти конструкторы довольно однозначно соответствуют конструкторам в типе
Anton
язык и правда создавался так сказать ad-hoc, но они поняли, что без формализации никуда и продолжают работать в этом направлении
Ага, вот коллеги-конкуренты делают RustBelt: http://plv.mpi-sws.org/rustbelt/
кана
Предположим, у нас есть N монад для бизнес-логики, BL1, BL2, ..., BLN. Делаете ли вы только N инстансов MonadTrans для каждого BL, или делаете MonadBL1, MonadBL2, MonadBLN и инстансы для каждого из BL? (N^2 инстансов)? Или это тоже можно как-то генерировать?
кана
Имею StateT (Map UserId User) IO a
User имеет _balance :: Float
u <- use $ at userId - Ok, u :: Maybe User
b <- use $ at userId._Just.balance - Не ок, выдает No instance for (Monoid Float) arising from a use of `_Just'
Как мне получить b :: Maybe Float?
Artyom
preuse (ix userId . balance)
кана
Спасибо, понял
Artyom
Предположим, у нас есть N монад для бизнес-логики, BL1, BL2, ..., BLN. Делаете ли вы только N инстансов MonadTrans для каждого BL, или делаете MonadBL1, MonadBL2, MonadBLN и инстансы для каждого из BL? (N^2 инстансов)? Или это тоже можно как-то генерировать?
instance {-# OVERLAPPABLE #-} пишем
всего O(n) инстансов получается
кана
А каким образом идет разделение команд по БЛ? По модели? Или по крупным фичам?
Leonid 🦇
по проблемам
Anonymous
линейные типы это типы которые используются только один раз. статей у меня нет, сорь
http://linear-type.blogspot.ru
Вот тут на русском неплохо
Anonymous
Да, очень надеюсь на запиливание линейных типов в хаскеле
Евгений
@xgrommx, в чате про зависимые типы администратор считает, что чувак ставший одним из двух главных факторов интереса к зависимым типам -- недостойная для чата про зависимые типы тема разговора. Так что отвечу тут, где он на самом деле оффтоп.
На смерть Воеводского щас один первичный источник, по которому совсем непонятны причины смерти.
Anton
@xgrommx Еще на Hacker News можно почитать разные спекуляции на эту тему. Утром это была новость номер 1. При этом большинство СМИ даже не упомянули о нём.
Евгений
то есть ты хочешь чтобы все копирование происходило по-дефолту?
Не, я предлагаю заимствование по умолчанию, а не передачу владения.
Anonymous
и отдельный синтаксис для отсутствия заимствования?
Andrei
такое дело.. надо будет пописать на хаскеле в команде. Ищу ide чтобы не совем гэ. Традиционно кредит доверия jetbrains. Нашёл несколько плагинов, "Официальный", который jb вендорят, пока ноавится больше всех, посколку там из зависимостей лишь ghc-mod. У кого нибудь есть соображения на этот счёт или советы?
официальный — древний какой-то, stack не умеет. Intellij-Haskell вроде ничего (под капотом intero). ещё есть haskforce, умеет Eta. Вот, пожалуй, и всё.
Arseniy
vim > emacs
Arseniy
Потому что мне он приятнее. Я не начинаю спор бесполезный, просто сказал мнение.
ᛏᚺᛖ ᛚᛖᛋᛒᛁᚨᚾ ᛗᚨᚾ ᚷᛁᚱᛚ 🐝
Хорошо)
Misha
А что там?
Misha
Я хочу чтобы там было что-то типа упражнения.
Misha
given ты знаешь какой-то матан
Misha
последовательно рассказывали бы как его писать
Кабачок
А, с упражнениями это SF, правда не знаю сколько там матана.
Misha
SF?
Misha
можно пож линк
Кабачок
Про редакторы: имхо у Emacs (также известен как VS Code и Atom) лучшая концепция, а имплементация немного кривая.
Кабачок
Sofware Foundations: https://softwarefoundations.cis.upenn.edu/current/index.html
Если тебя что-то ещё по этой теме интересует давай лучше в личке или профильном чате, а то ещё забанят.
Alexander
в этом не забанят
Alexander
другое дело, что здесь аудитория меньше, чем в том чятике
Pawel
официальный — древний какой-то, stack не умеет. Intellij-Haskell вроде ничего (под капотом intero). ещё есть haskforce, умеет Eta. Вот, пожалуй, и всё.
есть вот такое странение IDEs для haskell
Alexander
/me использует чистый вим только с подсветкой