AT
(a->a->a), наверно, двумя способами можно реализовать, не помню точно
ага, двумя (это как раз булев тип по Черчу)
Size: a a a
2020 May 14
AI
и кроме того, выходной список состоит из элементов входных списокв (только про кратность и порядок не известно ничего)
разумеется нет
AT
разумеется нет
разумеется да
JS
Или log?
ну, в Хаскеле может быть trace, но это выходит за пределы программы, программе с этим всё равно ничего сделать не может
AT
+1 каждому элементу?
произвольного типа?
K
ну, в Хаскеле может быть trace, но это выходит за пределы программы, программе с этим всё равно ничего сделать не может
Разве trace не может повлиять на завершаемость?
AI
+1 каждому элементу?
там не числа. он он имеет в виду под кратностью наверное то что я имел в виду под нет
AT
там не числа. он он имеет в виду под кратностью наверное то что я имел в виду под нет
кратность, это когда мы кол-во элементов можем менять от нуля до ...
n
произвольного типа?
А, ну лан. Я констрейнты туда не включал
AT
А, ну лан. Я констрейнты туда не включал
так я поэтому так и написал)
DS
А без костылей ты, конечно, не поймёшь, что сложение даст те же типы.
Нет, не пойму. Потому что некоторые языки вполне позволяют сложить списки с элементами разных типов. Поэтому лучше, когда я точно знаю, а не догадываюсь..
n
ну, в Хаскеле может быть trace, но это выходит за пределы программы, программе с этим всё равно ничего сделать не может
Кек. А говорили, что математику пишут
n
так я поэтому так и написал)
Я уже пони. Но строго говоря можно и не указывать, тогда до вызова с левыми типами ошибок не будет
n
Нет, не пойму. Потому что некоторые языки вполне позволяют сложить списки с элементами разных типов. Поэтому лучше, когда я точно знаю, а не догадываюсь..
Ясно, понятно, секта.
JS
Разве trace не может повлиять на завершаемость?
не должен. каким образом?
DS
Ясно, понятно, секта.
Доводы уже закончились? 😊
AI
вот пара строчек из нашего рабочего проекта на кложе
типы есть, сигнатура понятна )
(defn parse-date ^Date [^String format ^String date-string]
(.parse (SimpleDateFormat. format) date-string))
типы есть, сигнатура понятна )
K
не должен. каким образом?
Ну он может форсировать вычисление строки, которую трейсит
n
Доводы уже закончились? 😊
Почему о содержимом можно догадываться, а о типах нужно твёрдо знать?