/cht/ – chat


a237ba237b4adbdbd4fa29abf1f646fdcf40a – ``chat''

@685d68bca73a4d028981fa214f05f065 Anonymous 2015-03-13 22:54:05
test message
@42df43fee01e49ce8002a89f9744d019 fulmar 2021-09-22 14:53:29
Тогда можно вообще всё через неё выразить? Цель же в том чтобы синтаксис минимальный был?
@a36e470892ca45148bcadb9d8b3c81bc fibonator 2021-09-23 13:15:40
а как связывание со символом через лямбду выразить?
@edf0532d08704ee8aabe8fa26c56f5f5 fulmar 2021-09-23 13:17:39
очень легко
(lambda(new_symbol) new_symbol + 4)(factorial(5))
@22c9eaf6ef4b416fb654284375763a20 fibonator 2021-09-23 13:43:32
не понял
@611508595dc64062905187f6a251f10e fibonator 2021-09-23 13:45:04
f := λx.x

:= же предполагается
@bf00f27d02894fbaada0a0e4588433b1 fulmar 2021-09-23 13:47:31
var x = factorial(5);

print(x + 4)

то же самое, что
(x => print(x + 4))(factorial(5))
@6994a04da00e4f2794318fb41c9bac77 fibonator 2021-09-23 13:48:48
аа
@43676c9af0fa4399b5a8639f8538538b fibonator 2021-09-23 13:54:49
lambda(sym1, sym2, sym3) 
....
val1, val2, val3
@7d6b533fdf244e68916ae93da035f521 fibonator 2021-09-23 14:13:04
>Тогда можно вообще всё через неё выразить? Цель же в том чтобы синтаксис минимальный был?

Это уже есть -- лямбда исчисление. Цель в том, чтобы убирать из какого-то синтаксиса сущности до тех пор, пока сложность написания программ "умеренно" приближается к написанию на лямбда-исчислении.
@31b454a556b041a0bb3519b554136bd0 fibonator 2021-09-23 14:17:11
:= с возможностью обращения внутри функции к себе сильно упрощает все. А еще if тоже сильно упрощает. Вот придумал, как это совместить.
@f569e6c066d647409ee981a02b34d84c fibonator 2021-09-23 14:19:04
ну и логические типы в нагрузку, операторы сравнения и т. д.
@ba323f4c266c4f8ebb7bcd9c0fdffae9 fibonator 2021-09-23 14:20:53
а что кроме статей на вики читать? TAPL?
@11fd43a7464747d88863e4a8cd984603 fulmar 2021-09-23 14:49:39
если про типы, то да, тапл.
@850e8d0d71a640388ab6fda7c0ef6f4d fulmar 2021-09-23 14:54:00
Хочу вкатиться в автоматическое доказательство теорем, но не знаю как подступиться.
@5db8a237d97647e18a69eea74a755d9d fulmar 2021-09-23 14:54:49
Что-то всё не нравится.
@201216aa8e3f47a895ca0d2ed2db40ba fulmar 2021-09-23 14:55:16
В смысле, подходы существующие.