Д
Но 1в1 как в расте не получается итераторы сделать потому что в го исключительно дженерик функции и дженерик типы. Дженерик методов не бывает
Size: a a a
2021 May 30
[
Я умру...
pl
рано или поздно все умрут
[
моя проблема в том, что я умру, так и не поставив идрис
Д
Ето что-то из корана?
[
возможно
ID
Як умру, то поховайте
Мене на завтипах.
Серед функцій широких,
На Ідрісі милім.
Мене на завтипах.
Серед функцій широких,
На Ідрісі милім.
а
Я думаю просто не стоит использовать brew на линуксе, особенно когда idris уже есть в репозиториях apt
ID
ubuntu кстати тоже не стоит юзать
[
возможно
[
$ sudo apt install Idris2
Чтение списков пакетов… Готово
Построение дерева зависимостей
Чтение информации о состоянии… Готово
E: Невозможно найти пакет Idris2
С
Собрать из исходников
[
ха-ха
[
делал минут 20 назад
а
ну да это довольно новый язык
а
Если ты только начинаешь изучать завтипы, наверное лучше не брать экспериментальную версию экспериментального языка, а взять другой более популярный яп по которому больше ресурсов в интернете и всякое такое
[
я хочу сыграть на том, что хаскель мне знаком и привычен
[
и ловить с этого флешбеки
ID
например жопаскрипт