Чтобы прицел на цель налез

ну в ногу себе особо не пострелять, так хоть в кого-то

я не в плане самого прицела, а как синоним к "обьем" "масштаб" "область" с англ на рус

типа уточняет что это область в видимости = прицел

главное что стало понятно что за ошибка

главное что стало понятно что за ошибка

текст списывал с экрана с видео, пока не исправил, на видео все ок, посмотрю ща обьяснения по строчкам

ты уверен что на экране ты видел весь текст?

т.к. эта функция у тебя не определена

а компилятор вывести её содержимое по имени не может

Плохой компилятор!

да, переменная тут более общее чем в обычном языке, это и функция и ещё что

а вообще корректно называть переменные в хаскеле переменными?

если дать определение переменной то почему бы и нет

ты уверен что на экране ты видел весь текст?

да, на видео по экранам показано, может скажете тематику какую теорию посмотреть, countAge функция?, тоесть она получается не из модуля time взята

байндингами бы наверное лучше было, но тогда с »= путаться будет

и FFI

других подходящих слов нет

непеременная

а вообще корректно называть переменные в хаскеле переменными?

Они могут разные значения при вызовах принимать

А ghc делать частично применённые функции? В том смысле, в f 1 x он сможет сделать экземпляр функции, где первый аргумент в теле всегда 1?

байндингами бы наверное лучше было, но тогда с »= путаться будет

я понял, просто не обьявлена (::), автор видео почему то потерял строчку, видимо когда материал для видео готовил, в реальном времени не запускает

(как-то это по-другому называется, не частичное применение)

я понял, просто не обьявлена (::), автор видео почему то потерял строчку, видимо когда материал для видео готовил, в реальном времени не запускает

нет, не объявлена countAge

А ghc делать частично применённые функции? В том смысле, в f 1 x он сможет сделать экземпляр функции, где первый аргумент в теле всегда 1?

звучит как базовый функциоонал хаскеля

о чем явно было написано

нет, не объявлена countAge

да я про нее

щл

ok

напомнило навозного жука...

Хаха смешно, в последнее время столкнулся с дюжиной полезных приложений, написанных на Go, и не одного на Хаскелл.

Хаха смешно, в последнее время столкнулся с дюжиной полезных приложений, написанных на Go, и не одного на Хаскелл.

на плюсах тоже много чего полезного

звучит как базовый функциоонал хаскеля

Не, я про другое. f x y = if x == 1 then g y else h y. Вызов f 1 a будет заменен на g a?

а вообще корректно называть переменные в хаскеле переменными?

корректно, это же лямбда-исчисление с расширениями

80% интернета на php написано. А хаскелистам всё смешно

Ну всё же как-то странно называть переменными то, что никогда не меняется. Variables that don't vary.

Хаха смешно, в последнее время столкнулся с дюжиной полезных приложений, написанных на Go, и не одного на Хаскелл.

это не отменяет того факта, что Go - вно ;)

это не отменяет того факта, что Go - вно ;)

Согласен ) Но наблюдение печальное

Не, я про другое. f x y = if x == 1 then g y else h y. Вызов f 1 a будет заменен на g a?

f 1 y = g y f _ y = h y ?

Вы так говорите, будто goвно - это что-то плохое! Растения, удобренные goвном, дают прекрасные плоды!

ok

ошибка компилятора означала функция указана, но что она делает и какого типа не ясно, верно?

или тебе для этого побочная функция нужна?

ошибка компилятора означала функция указана, но что она делает и какого типа не ясно, верно?

нет

ошибка компилятора обозначала, что функция не указана

он не смог найти определения countAge в области видимости

и он вывел её тип

Хаха смешно, в последнее время столкнулся с дюжиной полезных приложений, написанных на Go, и не одного на Хаскелл.

языки программирования нужны для того чтоб программист хорошо себя чувствовал, а не для того чтоб какие-то там "полезные программы" писать

f 1 y = g y f _ y = h y ?

Да хоть так. Компилятор сможет заменить f 1 a на g a, или сделает программу, которая по всем вариантам будет проходить?

и он вывел её тип

благодарю, типа компилятор догадался что это может быть функцией, но видит только имя, что под ним скрывается не знает, но знает какого типа должна быть чтобы сработало выражение?

языки программирования нужны для того чтоб программист хорошо себя чувствовал, а не для того чтоб какие-то там "полезные программы" писать

А пользователям найдется место в этой картине мира?

в haskell нету большой разницы между функцией и не функцией

компилятор догаладся что имя countAge связано с чем-то что имеет тип указанный там

Да хоть так. Компилятор сможет заменить f 1 a на g a, или сделает программу, которая по всем вариантам будет проходить?

ааа. ну это сложно (+ всё равно не понимаю про какую оптимизацию речь - он в любом случае сравнит с единицей) ставлю на то что нет

А пользователям найдется место в этой картине мира?

пользователь сожрет любое говно, это нам из опыта известно, так что особо о нем переживать не нужно

но определения этого не нашёл

Есть! У функции в типе стрелка есть, а у нефункции нет :)

о чем и написал

Всё, нашел. Не может

Supercompilation – GHC https://ghc.haskell.org/trac/ghc/wiki/Supercompilation

при чем тут суперкомпиляция-то?

@Yuu_chan Num => (a, Int -> Bool) ?

Num a

это функция?

языки программирования нужны для того чтоб программист хорошо себя чувствовал, а не для того чтоб какие-то там "полезные программы" писать

Звучит как что-то для игр в песочнице

при чем тут суперкомпиляция-то?

Ну постановка известных значений в тело функции - одна из техник суперкомпиляции

это функция?

Ну упс. Ну тогда стрелка "на самом верхнем уровне" - как это правильно сказать?

а Num a => a ?

тут как бы стрелки нету, но и значением это тоже назвать наверное нельзя

или Family a, которое может быть функцией, а может быть нет в зависимости от a

или например Right это функция, есть стрелка

а Right 'a' уже как бы значение

а let right = Right in right 'a' ?

тут как бы стрелки нету, но и значением это тоже назвать наверное нельзя

Да и функцией тоже... Хм. Всё, моя жизнь не будет прежней. Что есть функция? *филосораптор.жпг*

на внутреннем языке это станет функцией

Является ли функцией undefined?

Хаха смешно, в последнее время столкнулся с дюжиной полезных приложений, написанных на Go, и не одного на Хаскелл.

Ура, холивар! А то скучно в чатике стало

ну обычно действительно имет ввиду отображения из одного множества(?) в другое

на внутреннем языке это станет функцией

если не заинлайнится

Ура, холивар! А то скучно в чатике стало

Холивар - это vim/emacs, табы/пробелы итп - а здесь спорить не о чем

Является ли функцией undefined?

да

ну обычно действительно имет ввиду отображения из одного множества(?) в другое

Ну то в математике. А в языке программирования Haskell?

обычно называют тип a -> b

и не вдаются в придирки как я