OS
покажите cabal файл и ошибку
Size: a a a
2021 June 01
MK
это не doctests ли?
2021 June 02
[
В хаскеле есть такой синтаксис?..
OS
DM
GADT называется
[
Лол. Я такой синтаксис впервые в идрисе увидел и думал, что в хаскеле его нету
[
@A64m_qb0 очередной экскурс в историю. Тут в вики пишут, что рефал это функциональный язык. Кто прав. а кто виноват?
[
с другой стороны этот язык базируется на нормальных алгоритмах Маркова, а не на лямбда-исчислении Чёрча
AF
Palindrom {
s.1 e.2 s.1 = <Palindrom e.2>;
s.1 = True;
/* пусто */ = True;
e.1 = False;
}
Неплохо для 66го года. Юра.jpg
s.1 e.2 s.1 = <Palindrom e.2>;
s.1 = True;
/* пусто */ = True;
e.1 = False;
}
Неплохо для 66го года. Юра.jpg
MK
*алгорифмах
AA
не знаю рефал, ниче не могу сказать тут
[
Выглядит функционально
AP
Ща вы ещё скажете, что J или K выглядят функционально и более того — бесточечно
AP
Видимо писали люди, для которых функциональный и декларативный это синоним. Русская Википедия безнадёжна в принципе, мне кажется, так что я бы сильно не волновался.
AP
Главное не путать с комбинаторами :-)
AP
Завязал узелок на память :Р