SP
но это обратная сторона уверенности
Size: a a a
2020 June 10
DS
я пока правда не знаю нахуй вам хкт
Пример, есть трейт, который указан ниже, я хочу чтобы дженерик параметр явно зависел от того 'a, который указан в методе трейта, но при этом не протекал в сигнатуру самого трейта.
С ХКТ запросто:
Без ХКТ тупо пойдёшь нафиг или придется городить хаки
С ХКТ запросто:
trait MyFilter<Item<...>> {
fn do_something<'a>(&'a self, item: Item<'a>) -> FilterResult
}
Без ХКТ тупо пойдёшь нафиг или придется городить хаки
G
SP
топ
S
в хаскеле проблема в определении порядка выполнения программы, сделанной из плотного множества функций (6-10 строк по 3-7 функций в каждой), объединенных хитромудрыми операторами, состоящими из от одного до трех небуквенных символов, о значении которых невозможно догадаться без... Не знаю без чего, я не догадался
S
а я & и && не могу запомнить, что для чего
DS
в хаскеле проблема в определении порядка выполнения программы, сделанной из плотного множества функций (6-10 строк по 3-7 функций в каждой), объединенных хитромудрыми операторами, состоящими из от одного до трех небуквенных символов, о значении которых невозможно догадаться без... Не знаю без чего, я не догадался
По типам. Обычно тип оператора описывает практически всё, что о нём надо знать
S
и где я должен искать определения этих операторов с их типами-то?
DS
и где я должен искать определения этих операторов с их типами-то?
IDE, hoogle, GHCI
DS
:t (>>=)
S
но и сами типы тоже часто представляют такое заклинание, что хочется язык, в котором сигнатуры типов будут на том же языке, на котором пишут выводы хеллоувоплдов и сортировку массивов
S
А то непонятность сишных макросов просто перетекла в непонятность типов, а жить проще не стало
DS
А то непонятность сишных макросов просто перетекла в непонятность типов, а жить проще не стало
Что непонятно в сигнатуре типа:
(:) :: a -> [a] -> [a]
(<>) :: Semigroup a => a -> a -> a
(>>=) :: Monad m => m a -> (a -> m b) -> m b
DS
Т.е. читать сигнатуры - это базовый хаскель же
SP
(:) :: a -> [a] -> [a]
кладем хуйню и список хуйни получаем список хуйни. что он делает с ними - хуй знает
кладем хуйню и список хуйни получаем список хуйни. что он делает с ними - хуй знает
G
(:) :: a -> [a] -> [a]
кладем хуйню и список хуйни получаем список хуйни. что он делает с ними - хуй знает
кладем хуйню и список хуйни получаем список хуйни. что он делает с ними - хуй знает
Другое дело Idris
S
и еще неизвестно, это функция принимает а и возвращает функцию, которая принимает [a] и возвращает функцию, которая возвращает [a] или же ее предназначено понимать как функцию с двумя аргументами
S
И это только первая строчка
SP
(<>) :: Semigroup a => a -> a -> a
ничем не отличается от жавовского yoba(int int int):int
ничем не отличается от жавовского yoba(int int int):int
DS
(:) :: a -> [a] -> [a]
кладем хуйню и список хуйни получаем список хуйни. что он делает с ними - хуй знает
кладем хуйню и список хуйни получаем список хуйни. что он делает с ними - хуй знает
Ну мы достаточно много свойств уже можем отсюда вывести.
Например, мы по сигнатуре знаем, что выходной список как минимум будет содержать подмножество элементов из входного списка и дополнительного элемента
Например, мы по сигнатуре знаем, что выходной список как минимум будет содержать подмножество элементов из входного списка и дополнительного элемента