А⚙
Причем второе скорее всего важнее первого в этом плане
Менее важно. noalias в LLVM до сих пор не починили
Size: a a a
2020 April 09
Т8
Лямбда исчисление кому угодно обьясняется за одну пару. Там три конструкции в языке и пара правил редукции.
не могу на это ничего ответить - не знаком
P
Т-34 85
не могу на это ничего ответить - не знаком
потрать полтора часа на видос в интернете и сможешь
Т8
потрать полтора часа на видос в интернете и сможешь
мне это не нужно. Пока, по крайней мере
P
Т-34 85
мне это не нужно. Пока, по крайней мере
ну, ща нужно, чтоб в чате ответить
P
ты сможешь сказать "я посмотрел видос и ничё не понял"
P
(даже если понял)
Т8
ну, ща нужно, чтоб в чате ответить
p
лучше помогите как можно выразить начальное состояние в конечном автомате, учитывая что если его использовать как входное, оно не принимает на вход слова, а при переходе из другого состояния принимает
DS
Менее важно. noalias в LLVM до сих пор не починили
Так вроде чинили же
P
Т-34 85
в чате отвечать? ну так отвечаешь же
А⚙
хочу серьезного технопорно
Ну найди бенчмарки C vs C++, где сравниваются qsort из stdlib и std::sort. Второе тащит, потому что компаратор инлайнится
А⚙
Так вроде чинили же
ЕМНИП, в gcc чинили
P
лучше помогите как можно выразить начальное состояние в конечном автомате, учитывая что если его использовать как входное, оно не принимает на вход слова, а при переходе из другого состояния принимает
открыть теорию автоматов
Т8
в чате отвечать? ну так отвечаешь же
так не отвечаю же - https://t.me/rust_offtopic/222764
P
Т-34 85
так не отвечаю же - https://t.me/rust_offtopic/222764
что-то не отвечаешь, а что-то -- отвечаешь
Т8
что-то не отвечаешь, а что-то -- отвечаешь
так если шарю хоть немного, то говорю по мере. Если не знаю - стараюсь воздерживаться или просто своё мнение
r
массивы на примере паравозиков нельзя объяснить, обычно на шкафчиках
Надо сразу на функциях объяснять, а то портят детей императивным мышлением. Массив - это функция
arr :: Integer -> Maybe a, такая, что для любых a и b, для которых выполняется a <= b && isJust $ arr a && isJust $ arr b, не существует с для которого выполняется a <= c && c <= b && isNothing $ arr cP
Т-34 85
так если шарю хоть немного, то говорю по мере. Если не знаю - стараюсь воздерживаться или просто своё мнение
а мог бы узнать
p
red75prime
Надо сразу на функциях объяснять, а то портят детей императивным мышлением. Массив - это функция
arr :: Integer -> Maybe a, такая, что для любых a и b, для которых выполняется a <= b && isJust $ arr a && isJust $ arr b, не существует с для которого выполняется a <= c && c <= b && isNothing $ arr cИ будешь ты объяснять это три недели если вообще объяснишь