RR
Yuriy Pachin
В идрисе анонимные рекорды есть?
Нет
Size: a a a
2021 January 12
RR
Но есть именованные аргументы которые выглядят как рекорды
RR
И именованные типы
RR
{s1 : String} -> {s2 : String} -> String
RR
Но вот export и public export раздражает немного
RR
1000 строк кода в 1500 превращает
R
Dollar Føølish
Чёт кекнул в соседнем канале с вакансии с требованием кутэ пять (!) От трёх лет опыта
Через 3 года... Требования кутэ 6 три года... А я помню кутэ 4...
Вот это уже старый. А щас ещё просто не молодой.
Вот это уже старый. А щас ещё просто не молодой.
NI
Через 3 года... Требования кутэ 6 три года... А я помню кутэ 4...
Вот это уже старый. А щас ещё просто не молодой.
Вот это уже старый. А щас ещё просто не молодой.
Я помню Qt3 ;-)
И как хотел использовать Qt4 (он тогда только появился), но мне не разрешали! ;-)
И как хотел использовать Qt4 (он тогда только появился), но мне не разрешали! ;-)
R
Типа маленький ещё.
R
Подрости тогда получишь. Лет через 10.
NI
Типа маленький ещё.
Типпаа он только-только вышел, нестабильный ещё.
Чтоб потом героически портировать на 4-ю версию
R
Типпаа он только-только вышел, нестабильный ещё.
С виндой такая же фигня была.
NI
До этого, у меня был виндовс.
Хорошо помню, как искренне верил, что MFC возможно хоть как-то использовать.
И пытался ;-)
Хорошо помню, как искренне верил, что MFC возможно хоть как-то использовать.
И пытался ;-)
R
Главное что не на макро осемблере как некоторые.
SK
Говорят в DC транслируют "Лебединое озеро".
SK
Даже воздушное пространство закрывали..
SK
Кто знает, правда?
SK
(хотя.. если действующий президент объявляет чрезвычайное положение, это путч или нет?)