SP
и со мной сам клапауций согласился
Size: a a a
2020 August 01
SP
я теперь просто думаю о том что кого то подсаживать на статику - это как натурара подсаживать на сочных парней
SP
в теории это может сработать если начать с трапов. но на практике даже я знатный траполюб не готов воспринимать парней в каком то таком смысле
SP
но я сам считаю что я транс-статист. и мой переход был довольно болезненный
SP
и тут тоже проблема что не надо думать что каждый способен на этой переход
b
ой я бы дал сейчас критику этого текста
b
но боюсь обидеть чьи-то чувства)
b
лучше промолчу
SP
дай
b
ты читал эссе джорджа оурелла “decline of the english language”?
SP
нет
p
Гофера бояться, в лес не ходить.
Ну пока будет simfpl - simple functional programming language. Я придумал что я буду делать. Для начала я реализую некий плейграунд: обычный ФП язык с типичной системой типов, АДТ, каррированием и выводом типов по Хиндли Миллнеру. Потом сделаю себе некий список челленджов с пометкой "сложный", "лёгкий" и т.д. Например лёгкий это тайпклассы и модули. Средний уровень сложности это макросы на уровне АСТ, и рефайнмент типы. Сложный уровень это дерайвинг через генерики и компайл тайм рефлексия. И хардкорный уровень, это моя мечта, компайл тайм завтипы с рефайнментами на уровне дженериков.
b
советую почитать: там актуально не только в контексте английского, но в контексте языка в принципе
SP
Ну пока будет simfpl - simple functional programming language. Я придумал что я буду делать. Для начала я реализую некий плейграунд: обычный ФП язык с типичной системой типов, АДТ, каррированием и выводом типов по Хиндли Миллнеру. Потом сделаю себе некий список челленджов с пометкой "сложный", "лёгкий" и т.д. Например лёгкий это тайпклассы и модули. Средний уровень сложности это макросы на уровне АСТ, и рефайнмент типы. Сложный уровень это дерайвинг через генерики и компайл тайм рефлексия. И хардкорный уровень, это моя мечта, компайл тайм завтипы с рефайнментами на уровне дженериков.
KR
Ну пока будет simfpl - simple functional programming language. Я придумал что я буду делать. Для начала я реализую некий плейграунд: обычный ФП язык с типичной системой типов, АДТ, каррированием и выводом типов по Хиндли Миллнеру. Потом сделаю себе некий список челленджов с пометкой "сложный", "лёгкий" и т.д. Например лёгкий это тайпклассы и модули. Средний уровень сложности это макросы на уровне АСТ, и рефайнмент типы. Сложный уровень это дерайвинг через генерики и компайл тайм рефлексия. И хардкорный уровень, это моя мечта, компайл тайм завтипы с рефайнментами на уровне дженериков.
Звучит годно и разумно.
KR
Ну пока будет simfpl - simple functional programming language. Я придумал что я буду делать. Для начала я реализую некий плейграунд: обычный ФП язык с типичной системой типов, АДТ, каррированием и выводом типов по Хиндли Миллнеру. Потом сделаю себе некий список челленджов с пометкой "сложный", "лёгкий" и т.д. Например лёгкий это тайпклассы и модули. Средний уровень сложности это макросы на уровне АСТ, и рефайнмент типы. Сложный уровень это дерайвинг через генерики и компайл тайм рефлексия. И хардкорный уровень, это моя мечта, компайл тайм завтипы с рефайнментами на уровне дженериков.
Кстати, если мне не изменяет память, то в курсе на степике было что тайпкласы - это вполне себе синтаксический сахар, и они выражаются через сами типы.
KR
Хотя это, скорее всего, будет неэфективная их реализация. Я уже не помню что там было, но вроде обьект таскал с собой функи аля ООП.
p
Кстати, если мне не изменяет память, то в курсе на степике было что тайпкласы - это вполне себе синтаксический сахар, и они выражаются через сами типы.
Хз о каком сахаре речь
p
Тайпклассы как раз это чистая перегрузка лол
KR
Ты проходил курс на степике?