AZ
var
l: TList<TPerson>;
begin
l.Sort(
lambda (aLeft, aRight) as aLeft.Age < aRight.Age
);
end.В паскале даже лямбды есть
В паскале даже лямбды есть
Size: a a a
2020 February 10
В паскале даже лямбды есть
AZ
просто стремный код, который сильно намекает, что чего-то с архитектурой решения не гладко
Ну надо глянуть как в хаскелле сделан Num трейт
AL
Ну надо глянуть как в хаскелле сделан Num трейт
вообще, алгебраические пирадмиды типов - не сильно решенная задача где угодно. они везде так или иначе стремноватые.
EG
В хаскелле меня всё ещё бесит то, что названия у функций стандартной библиотеки нечитаемые.
Даже если они состоят не из символов, а из букв, то называются очень коротко.
Даже если они состоят не из символов, а из букв, то называются очень коротко.
ap — спасибо, очень понятно сходу, что это делает. Традиция использовать однобуквенные переменные не помогает.AZ
вообще, алгебраические пирадмиды типов - не сильно решенная задача где угодно. они везде так или иначе стремноватые.
class (Eq a, Show a) => Num a where
(+), (-), (*) :: a -> a -> a
negate :: a -> a
abs, signum :: a -> a
fromInteger :: Integer -> a
-- Minimal complete definition:
-- All, except negate or (-)
x - y = x + negate y
negate x = 0 - xG
В хаскелле меня всё ещё бесит то, что названия у функций стандартной библиотеки нечитаемые.
Даже если они состоят не из символов, а из букв, то называются очень коротко.
Даже если они состоят не из символов, а из букв, то называются очень коротко.
ap — спасибо, очень понятно сходу, что это делает. Традиция использовать однобуквенные переменные не помогает.Угу, ещё есть названия функций X и X' в стандартной библиотеке. Спасибо, сразу понятно, что делает функция
AZ
ну в общем предполагается только 3 оператора
EG
class (Eq a, Show a) => Num a where
(+), (-), (*) :: a -> a -> a
negate :: a -> a
abs, signum :: a -> a
fromInteger :: Integer -> a
-- Minimal complete definition:
-- All, except negate or (-)
x - y = x + negate y
negate x = 0 - xТут, кстати, нет ни деления, ни целочисленного деления
EG
Оба в других тайпклассах
EG
В итоге изменил формулу — поменялась сигнатура функции и всех функций, которые её вызывают
AL
class (Eq a, Show a) => Num a where
(+), (-), (*) :: a -> a -> a
negate :: a -> a
abs, signum :: a -> a
fromInteger :: Integer -> a
-- Minimal complete definition:
-- All, except negate or (-)
x - y = x + negate y
negate x = 0 - xя не просто про Num, я в целом про все виды пирамид/башен: https://github.com/rust-lang/rust/issues/4231
AZ
В итоге изменил формулу — поменялась сигнатура функции и всех функций, которые её вызывают
ну это нормально
AZ
я не просто про Num, я в целом про все виды пирамид/башен: https://github.com/rust-lang/rust/issues/4231
я к тому, что в хаскелле всё это побито на тайпкласссы
AZ
то есть num собрал один мега-трейт из кучи операторных
AZ
а в хаскелле операторные сгруппированы друг с другом (сложение-вычитание, деление, умножение-целочисленное деление, ...)
EG
class (Eq a, Show a) => Num a where
(+), (-), (*) :: a -> a -> a
negate :: a -> a
abs, signum :: a -> a
fromInteger :: Integer -> a
-- Minimal complete definition:
-- All, except negate or (-)
x - y = x + negate y
negate x = 0 - xА, да, и ещё из-за этого нельзя переопределять арифметические операторы
AZ
и дальше ты на них уже можешь
AL
https://docs.rs/alga/0.9.2/alga/general/index.html вот это еще занятное начинание с клевым аскиартом)
EG
Если не переопределяешь их все
