а что если изначально был лишь один идеальный язык, но из-за заговора мы о нём не знаем и сми пропагандируют лишь отсталые языки программирования?

спасибо

а что если изначально был лишь один идеальный язык, но из-за заговора мы о нём не знаем и сми пропагандируют лишь отсталые языки программирования?

лисп?

лисп?

нет, лисп не может быть идеальным яп

форматтер кода желательно должен вообще не настраиваться

это возможно только в новом языке с фюрером

и этим форматтером желательно должны пользоваться все тогда самый профит )

ха-ха

ну да, понятно что нереально ) но там где язык с фюрером и всех заставляют -- эффект хороший

исходный код вообще должен не в текстовом виде храниться, а в чем-то типа AST (комменты делаем частью синтаксиса, да)

Противоречие определению

плюсы: 1) не будет споров tab/spaces и пр. вкусовщина 2) рефакторинг не затрагивает полпроекта диффом

Лол

Переизобретение CST

То есть по большому счёту это решённая проблема, просто не во всех экосистемах есть нормальные тулчейны для управления подобным

кто говорит о переизобретении? но ни в каком из мейнстримовых языков я такого не видел

Бывает

То есть по большому счёту это решённая проблема, просто не во всех экосистемах есть нормальные тулчейны для управления подобным

а есть живая экосистема где это работает?

git pre commit hook -> prettier-eslint

не, то что форматтер можно повесить на гит хук это понятно

Тут проблема собственно не в форматтере а в гите

А другого гита нам не завезли

Хотя я подумываю о реализации monotree

Потому что как я вижу, все эти конструкторы довольно однозначно соответствуют конструкторам в типе

язык и правда создавался так сказать 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?

preuse (ix userId . balance)

Спасибо, понял

Предположим, у нас есть N монад для бизнес-логики, BL1, BL2, ..., BLN. Делаете ли вы только N инстансов MonadTrans для каждого BL, или делаете MonadBL1, MonadBL2, MonadBLN и инстансы для каждого из BL? (N^2 инстансов)? Или это тоже можно как-то генерировать?

instance {-# OVERLAPPABLE #-} пишем всего O(n) инстансов получается

А каким образом идет разделение команд по БЛ? По модели? Или по крупным фичам?

по проблемам

линейные типы это типы которые используются только один раз. статей у меня нет, сорь

http://linear-type.blogspot.ru Вот тут на русском неплохо

Да, очень надеюсь на запиливание линейных типов в хаскеле

@xgrommx, в чате про зависимые типы администратор считает, что чувак ставший одним из двух главных факторов интереса к зависимым типам -- недостойная для чата про зависимые типы тема разговора. Так что отвечу тут, где он на самом деле оффтоп. На смерть Воеводского щас один первичный источник, по которому совсем непонятны причины смерти.

@xgrommx Еще на Hacker News можно почитать разные спекуляции на эту тему. Утром это была новость номер 1. При этом большинство СМИ даже не упомянули о нём.

то есть ты хочешь чтобы все копирование происходило по-дефолту?

Не, я предлагаю заимствование по умолчанию, а не передачу владения.

и отдельный синтаксис для отсутствия заимствования?

такое дело.. надо будет пописать на хаскеле в команде. Ищу ide чтобы не совем гэ. Традиционно кредит доверия jetbrains. Нашёл несколько плагинов, "Официальный", который jb вендорят, пока ноавится больше всех, посколку там из зависимостей лишь ghc-mod. У кого нибудь есть соображения на этот счёт или советы?

официальный — древний какой-то, stack не умеет. Intellij-Haskell вроде ничего (под капотом intero). ещё есть haskforce, умеет Eta. Вот, пожалуй, и всё.

vim > emacs

vim > emacs

Почему?

Потому что мне он приятнее. Я не начинаю спор бесполезный, просто сказал мнение.

Хорошо)

Интуитивно понятный интерфейс видимо?

это так нынче большие подсказки снизу называются?

это так нынче большие подсказки снизу называются?

Ну там нету режимов как минимум!

О кстати, есть ли хорошие маны по coq?

Офсайт не предлагать?

А что там?

Я хочу чтобы там было что-то типа упражнения.

given ты знаешь какой-то матан

последовательно рассказывали бы как его писать

А, с упражнениями это SF, правда не знаю сколько там матана.

SF?

можно пож линк

Про редакторы: имхо у Emacs (также известен как VS Code и Atom) лучшая концепция, а имплементация немного кривая.

Sofware Foundations: https://softwarefoundations.cis.upenn.edu/current/index.html Если тебя что-то ещё по этой теме интересует давай лучше в личке или профильном чате, а то ещё забанят.

в этом не забанят

другое дело, что здесь аудитория меньше, чем в том чятике

официальный — древний какой-то, stack не умеет. Intellij-Haskell вроде ничего (под капотом intero). ещё есть haskforce, умеет Eta. Вот, пожалуй, и всё.

есть вот такое странение IDEs для haskell

/me использует чистый вим только с подсветкой

в большинстве случаев хватает

есть вот такое странение IDEs для haskell

какое?

hindent раздражает тем, как переводит строки для каждой переменной конструктора, какой-нибудь F a b c d будет на 5 строк растянут

ну тут предполагается что ты после каждого параметра напишешь документацию к нему, т. е. F --^ ... a --^ ... b --^ ... etc

хммммм

это имеет смысл

Переизобретение CST

Что это?

Тут проблема собственно не в форматтере а в гите

В том, что он ориентирован на текстовые файлы?

Что это?

concrete syntax tree

В том, что он ориентирован на текстовые файлы?

В данном случае да

Colemak ❤️

https://gist.github.com/paf31/5c1279796d66fe04a177e34b0d674ac6

ох ты, Окасаки на русском?

Имеет ли смысл читать марлоу, если не прочитал окасаки?

конечно

какие классные книги

@elemir90 да они вообще не пересекаются

@voidlizard когда-то давно я сподвиг кучу народа читать делать окаскаки, часть из народа (Брагилевский?) оказались достаточно активными и заделали перевод

фиг знает, зачем этому переводы, но пусть будет

обидно, что мой вклад был только сподвигнуть народ +)

как минимум, переводная книжка выходит дешевле

это да

вон таппл переводной от 0

что странно, конечно - дополнительная работа положительная, а добавленная стоимость - отрицательная

кстати интересно как у таких вещей с правами

поидее же перевод без разрешения автора (издательства в зависимости от договора) вообще делать нельзя, не то, что публиковать книжку

ну договариваются, наверное

если настоящими издательствами переводные книги печатаются

поидее же перевод без разрешения автора (издательства в зависимости от договора) вообще делать нельзя, не то, что публиковать книжку

переводить себе в стол ты можешь что угодно, а издавать — да, это проиводная работа, нужно разрешение автора оригинальной работы

в стол тоже не может

*не можешь