[
Чёт меня налюбили. В стак не завезли туторы, там голая шаблонная аппа с одним тестом и одним гет-запросом😐
Size: a a a
2021 March 02
[
type это прям совсем в тупую определение алиаса для других типов, да?
AP
Да
к
такой тип тоже валиден
type Point = forall a. Num a => (a, a)
type Point = forall a. Num a => (a, a)
[
такой тип тоже валиден
type Point = forall a. Num a => (a, a)
type Point = forall a. Num a => (a, a)
к
ну там же написано все
[
А, ну, да
[
просто мне так непривычно, что хлс может в автоисправления. Он у меня 99% времени, если я хочу открыть тулбар подсказок, уходит в вечную загрузку
[
это алиас для кортежа, единственная функция которого - занеймить дескрипцию принимаемых значений, чтоб вызывающему коду было понятнее, чё он вообще туда кидает.
В сиподобных яп принимаемые значения функции имеют тип + название int getX((int, int) point), тут такого нет, поэтому для дескрипции типов-примитивов надо использовать алиасы.
В сиподобных яп принимаемые значения функции имеют тип + название int getX((int, int) point), тут такого нет, поэтому для дескрипции типов-примитивов надо использовать алиасы.
[
Если я не прав, поправь меня.
AP
это алиас для кортежа, единственная функция которого - занеймить дескрипцию принимаемых значений, чтоб вызывающему коду было понятнее, чё он вообще туда кидает.
В сиподобных яп принимаемые значения функции имеют тип + название int getX((int, int) point), тут такого нет, поэтому для дескрипции типов-примитивов надо использовать алиасы.
В сиподобных яп принимаемые значения функции имеют тип + название int getX((int, int) point), тут такого нет, поэтому для дескрипции типов-примитивов надо использовать алиасы.
Скорей всего, вам надо просто
То есть добавлять контекст Num a где он действительно необходим
type Point a = (a,a)
getX :: Point a -> a
distanceToOrigin :: Num a => Point a -> a
То есть добавлять контекст Num a где он действительно необходим
[
Зачем мне кортеж из строки и були под именем "точка"?
AP
Зачем мне кортеж из строки и були под именем "точка"?
Из строки и були не получится, потому что а один
[
Из строки и були не получится, потому что а один
Ну, да, но из двух булей тогда?