V
Size: a a a
2021 February 09
E
Haskell Platform уже неактуален, все пользуются Stack и www.stackage.org
AV
Поставить точку останова, слежение за переменными и т.п. всё это в си/си++ уже не работает
Требую прува! Точнее - примера кода, я попробую воспроизвести
V
Требую прува! Точнее - примера кода, я попробую воспроизвести
Ну это надо денёк покарпеть, чтобы со всеми доказательствами
AV
потому как тут от тулинга же сильно зависит. иначе я могу тоже сказать, что "а у меня все работает". и таки да, работает.
AV
Eugene
семантика у раста местами интереснее адской, но синтаксис прямо говно-говно
а мне синтаксис норм. вполне дружественный и читабельный. у обоих языков
E
а мне синтаксис норм. вполне дружественный и читабельный. у обоих языков
может тебе и синтаксис языка ATS понравится? :)
http://www.ats-lang.org/Examples.html
A fully verified implementaion of the fib function in ATS can now be given as follows:
fun
fibats{n:nat}
(n: int (n))
: [r:int] (FIB (n, r) | int r) = let
//
fun
loop
{i:nat | i <= n}{r0,r1:int}
(
pf0: FIB(i, r0), pf1: FIB(i+1, r1)
| n_i: int(n-i), r0: int r0, r1: int r1
) : [r:int] (FIB(n, r) | int(r)) =
(
if (n_i > 0)
then
loop{i+1}
(
pf1, FIB2(pf0, pf1) | n_i-1, r1, r0+r1
) (* then *)
else (pf0 | r0)
// end of [if]
) (* end of [loop] *)
in
loop{0}(FIB0(*void*), FIB1(*void*) | n, 0, 1)
end // end of [fibats]
http://www.ats-lang.org/Examples.html
A fully verified implementaion of the fib function in ATS can now be given as follows:
fun
fibats{n:nat}
(n: int (n))
: [r:int] (FIB (n, r) | int r) = let
//
fun
loop
{i:nat | i <= n}{r0,r1:int}
(
pf0: FIB(i, r0), pf1: FIB(i+1, r1)
| n_i: int(n-i), r0: int r0, r1: int r1
) : [r:int] (FIB(n, r) | int(r)) =
(
if (n_i > 0)
then
loop{i+1}
(
pf1, FIB2(pf0, pf1) | n_i-1, r1, r0+r1
) (* then *)
else (pf0 | r0)
// end of [if]
) (* end of [loop] *)
in
loop{0}(FIB0(*void*), FIB1(*void*) | n, 0, 1)
end // end of [fibats]
AV
Eugene
может тебе и синтаксис языка ATS понравится? :)
http://www.ats-lang.org/Examples.html
A fully verified implementaion of the fib function in ATS can now be given as follows:
fun
fibats{n:nat}
(n: int (n))
: [r:int] (FIB (n, r) | int r) = let
//
fun
loop
{i:nat | i <= n}{r0,r1:int}
(
pf0: FIB(i, r0), pf1: FIB(i+1, r1)
| n_i: int(n-i), r0: int r0, r1: int r1
) : [r:int] (FIB(n, r) | int(r)) =
(
if (n_i > 0)
then
loop{i+1}
(
pf1, FIB2(pf0, pf1) | n_i-1, r1, r0+r1
) (* then *)
else (pf0 | r0)
// end of [if]
) (* end of [loop] *)
in
loop{0}(FIB0(*void*), FIB1(*void*) | n, 0, 1)
end // end of [fibats]
http://www.ats-lang.org/Examples.html
A fully verified implementaion of the fib function in ATS can now be given as follows:
fun
fibats{n:nat}
(n: int (n))
: [r:int] (FIB (n, r) | int r) = let
//
fun
loop
{i:nat | i <= n}{r0,r1:int}
(
pf0: FIB(i, r0), pf1: FIB(i+1, r1)
| n_i: int(n-i), r0: int r0, r1: int r1
) : [r:int] (FIB(n, r) | int(r)) =
(
if (n_i > 0)
then
loop{i+1}
(
pf1, FIB2(pf0, pf1) | n_i-1, r1, r0+r1
) (* then *)
else (pf0 | r0)
// end of [if]
) (* end of [loop] *)
in
loop{0}(FIB0(*void*), FIB1(*void*) | n, 0, 1)
end // end of [fibats]
мне AST не интересен.
AV
возможно зря, но тем не менее это так - оно с GC
E
мне AST не интересен.
при чём тут AST? о_О
AV
*ATS
E
возможно зря, но тем не менее это так - оно с GC
ATS programs can run with or without (systematic) garbage collection.
AV
Eugene
ATS programs can run with or without (systematic) garbage collection.
ага, угу. прям как Go 😄
E
там же линейные и сессионные типы, зачем сборщик мусора?
AV
Eugene
там же линейные и сессионные типы, зачем сборщик мусора?
потому, что он тамъ есть! 🙂
E
его включать надо специальной опцией компилятора, по умолчанию его нет
E
Modular programming. The module system of ATS is largely infuenced by that of Modula-3, which is both simple and general as well as effective in supporting large scale programming.