Gregory's Server@baka rust так то не хаскель, да и вообще не особо упарывается на доказательности
|
3 comments
mittorn
@mudasobwa @baka но он хотя бы стремится обрабатывать программу в математическом её представлении, rust же всё-таки рантаймовый, хоть и имеет макросню 
Aleksei � Matiushkin
@mittorn Чего? Кто куда стремится? В расте, так-то, статическая типизация была, когда я в последний раз проверял. |
@mittorn хаскель к доказательствам тоже никакого отношения не имеет, это не идрис (и не агда).
@baka