Leonid 🦇 Onokhovтекст ещё не в индексе
да мне нравится Хаскель, просто хочется чтобы его можно было применять шире с меньшим числом проблем
20 августа 2026
Dima | No AI clubда мне нравится Хаскель, просто хочется чтобы его можно было применять шире с меньшим числом проблем
ну к вашим запросам ATS3 больше подходит.
ATS can be as efficient as C/C++ both time-wise and memory-wise and supports a variety of programming paradigms that include:
* Functional programming
* Imperative programming
* Concurrent programming
* Modular programming
* ATS can greatly enforce precision in practical programming.
* ATS can greatly facilitate refinement-based software development.
* ATS allows the programmer to write efficient functional programs that directly manipulate native unboxed data representation.
* ATS allows the programmer to reduce the memory footprint of a program by making use of linear types.
* ATS allows the programmer to enhance the safety (and efficiency) of a program by making use of theorem-proving.
* ATS allows the programmer to write safe low-level code that runs in OS kernels.
* ATS can help teach type theory, demonstrating both convincingly and concretely the power and potential of types in constructing high-quality software.
Dima | No AI clubвсе языки для этого придуманы, просто по-разному
Некоторые придуманы как раз чтобы было удобно ручками что-то накручивать для перфа
Leonid 🦇 Onokhovну к вашим запросам ATS3 больше подходит.
ATS can be as efficient as C/C++ both time-wise and memory-wise and supports a variety of programming paradigms that include:
* Functional programming
* Imperative programming
* Concurrent programming
* Modular programming
* ATS can greatly enforce prec
наши костыли уже родные
Dima | No AI clubтекст ещё не в индексе
С регионами были эксперименты в mlkit и (спойлер для моей истории фп) они были неудачные, в современном млките гц есть и вывод регионов токо немного нагрузку снижает на него
Dima | No AI clubтекст ещё не в индексе
В хаскеле прост все полиморфное и понятное дело, что это не дружит с представлениями кроме универсального. Технически они есть и относительно недавно добавили кучу фич, но все равно с более менее нормальным хаскелем это так просто не состыковать
Dima | No AI clubтекст ещё не в индексе
Это не правда, помогает и были очень очень классные примеры, например с GraphHammer
IlyaС регионами были эксперименты в mlkit и (спойлер для моей истории фп) они были неудачные, в современном млките гц есть и вывод регионов токо немного нагрузку снижает на него
Тезис в любом случае был к тому что ничего не мешает в парадигме чистого лямбда исчисления работать с памятью. ФП в общем случае неопределенное понятие
Leonid 🦇 Onokhovhttps://hackage.haskell.org/package/concurrent-extra-0.7.0.12/docs/Control-Concurrent-RLock.html такое?
Типа того. Но хорошо бы ещё дырку для локуемого значения, чтобы не сходить мимо лока случайно.
Dima | No AI clubТезис в любом случае был к тому что ничего не мешает в парадигме чистого лямбда исчисления работать с памятью. ФП в общем случае неопределенное понятие
Рекурсия мешает. Если очистить фп от всего что мешает будет дженерик программинг типа как в плюсах