Зигохистоморфный
Зигохистоморфный
упало..
Евгений
https://forklog.com/vedushhie-birzhi-ushli-v-oflajn-na-fone-korrektsii-bitkoina/
Cheese
Denis
харе крисдно
A64m
я смотрю, комитетчики встречают без-$-do пропозал одобрением
Alexander
я вот в шоке
Alexander
чем толковее расширение, тес больше там чуши
Denis
по-моему без-$-do это какой-то ад-хок дичайший
A64m
что-то не припоминаю, чтоб комитетчики какие-то толковое расширение вообще рассматривали
Alexander
линейные типы
A64m
они не рассматривались комитетом, они же предварительное обсуждение даже не прошли
Denis
foo bar quuz do
fooBar quuzFoo
Denis
монолитненько так
Alexander
ну там многие комитетчики отписались
Alexander
с ":with comittee member hat on" (c)
A64m
монолитненько так
с подстветкой нормально будет, но я не любитель этого расширения (правда и не противник)
A64m
ну там многие комитетчики отписались
да, но я именно про то, что они обсуждают уже у себя в рассылочке, чтоб принять -отвергнуть
Alexander
ясно
Кабачок
типа запретить foo $ do ...?
A64m
https://github.com/ghc-proposals/ghc-proposals/pull/90
A64m
не запретить
Кабачок
а, наоборот
Зигохистоморфный
@A64m_qb0 я знаю тебе интересны такие штуки https://github.com/phadej/vec
A64m
это я видел уже
A64m
комитетчики с удовольствием обсуждают всякие микрофичи типа фиксити тайпоператоров, иной раз по паре месяцев, ну очевидно сомнительные фичи еще, если вдруг что-то посложнее, вроде OR-паттернов, они не принимают и не отказывают а отфутболивают автора дописывать пропозал
A64m
если же отфутболиваемый сам в комитете, как в случае мутабельных объектов, то он что-нибудь заявляет о недостатке времени и обсуждение глохнет
A64m
как они что-то серьезное будут принимать, я боюсь представить даже, похоже хаскелю крышка
Евгений
Всегда можно форкнуть, свободка же (нет)
A64m
им бы одного-двух человек, которые правда что-то принимать и делать хотят, как в библиотечном комитете (до его задвигания жертвами туплов)
Сергей
как они что-то серьезное будут принимать, я боюсь представить даже, похоже хаскелю крышка
Чем незначительнее вопрос, тем большее число людей может иметь по нему своё мнение, и тем дольше обсуждение.
Поэтому не факт что что-то сложное будут обсуждать дольше.
A64m
да проблема не в том, что они долго будут обсуждать, а в том, что не будут
A64m
а отфутболят на ранней стадии на доработку описания без внятного решения
Alexander
вот да
Alexander
у нас там вообще требования выставили
Alexander
мол реализуйте все сначала, сделайте либы, покажите как пользователи используют, а мы подумаем
Alexander
и все равно скажем что нужно афинные типы, потому, что для vector этого хватит
Alexander
(утрировано)
Зигохистоморфный
https://arxiv.org/pdf/1711.09286.pdf
Нурлан
и все равно скажем что нужно афинные типы, потому, что для vector этого хватит
тут уже несколько раз встречал в чате это понятие, а чем они так плохи?
Alexander
ничем не плохи
Alexander
просто дают чуть меньше ограинчений, и выражать ими линейные типы в общем случае печально и требует враппить все структуры в Rank2Type
Alexander
обратное поидее проще
Нурлан
это я понимаю (правда только на уровне определения, что есть Rank2Type не знаю)
Нурлан
стандартно же все типы линейные разве не?
Alexander
почему типы линейные стандартно?
Нурлан
http://cyclowiki.org/wiki/Линейные_типы я нашел только это определение
Нурлан
линейные типы как я понял обеспечивают отсутсвие сайдэффектов
Нурлан
нет?
Нурлан
прошу прощения если я какую-то ахинею несу
Зигохистоморфный
это как стрим) к ним можно доступиться только раз
Alexander
значение линейного типа внутри функции можно использовать только один раз, если сама фукнция используется линейно
Alexander
где "используется" определяется операционной семантикой языка
Alexander
афинные - 0 или 1
Alexander
т.е. с афинными типами его можно забывать
Alexander
пример языка использующего это - раст
Зигохистоморфный
http://kategory.io/
Alexander
но если посмотреть, уже на его внутреннее представление MIR, то видно что компилятор добавляет код поднимающий афинные до линейных
Alexander
хороший подход, мне нравится, но требует многое от компилятора
Aliester
Aliester
А хаскелистам надо такие классы? Или об этом есть пейпер?
Слава
Это очень круто, но вы лично пробовали найти разработчика на Reason? Тут нормального разработчика на JS фиг найдешь. Толпы хипстеров на гироскутерах, с вейпами, после недельных курсов. Которые, блин, даже fizzBuzz с трудом пишут.
FizzBuzz пишется очень просто и прямолинейно. Но как правило, к прямолинейному и очевидному решению начинаются придирочки, что решение-де недостаточно витиевато, мы-то пять лет на мехмате учились ходить на головах и мехом наружу - что же, это все зря!? Нет, ваше решение недостаточно сложное, усложните!
parket
FizzBuzz пишется очень просто и прямолинейно. Но как правило, к прямолинейному и очевидному решению начинаются придирочки, что решение-де недостаточно витиевато, мы-то пять лет на мехмате учились ходить на головах и мехом наружу - что же, это все зря!? Нет, ваше решение недостаточно сложное, усложните!
Никаких придирочек, всё объективно. На голове не хожу.
Alexander
сразу видно человека не написавшего fizzbuzz
Alexander
=)
Alexander
<- а тут видно человека, завалившего simple algorithm на onsite гугловом когда-то, но я там по делу завалил ибо не подумал сразу и писал на языке, на котором кучу лет не писал до этого
Alexander
при том что похоже, что остальное в т.ч. advanced algorithms сдал нормально
Слава
Я со стороны наблюдал за собеседованиями, когда в филиал набирали людей, но местный глава филиала не желал видеть никого нового и всех отбраковывал, с глумом
Aliester
У меня скоро в ФБ онсайт
Aliester
Стремно
Alexander
тут ребята из fb кстати были