Let in

@pcmax · Регистрация: 29.01.2018

Студворк — интернет-сервис помощи студентам

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

Haskell
1
2
3
4
5
6
7
8
module Main where
let foo :: Int   in func -- тут при объявлении функции хочу сразу указать область ее видимости 
foo =  1
 
func :: Int -> Int 
func x = x + 3
 
main = print $ func foo

но это не работает

Tklwegsd · 15.03.2019, 18:05

Curry, Я бы назвал ее переменной, но, как сказал korvin_, в математическом смысле.

XRuZzz · 15.03.2019, 18:11

Сообщение от Curry

А что, Москвин, о котором вы в каждой теме упоминаете, говорит что есть?

Сами провоцируете

Чтобы понять, почему в Haskell-е константы это функции нужно посмотреть начало старого курса Дениса Москвина:
Функциональное программирование
Я уже сам не знаю, как их обозвать, чтобы больше никто не прицепился к словам

Добавлено через 3 минуты

Сообщение от Tklwegsd

f x = x + 1

Хорошо согласен - переменная. Видимо не поняли друг друга. Я думал, что это обзывают переменной:

Haskell
1
foo = 1

@korvin_ · 15.03.2019, 18:11

Сообщение от Tklwegsd

В данном контексте x - это переменная, функция или что?

Haskell
1
f x = x + 1

Переменная.

Tklwegsd · 15.03.2019, 18:13

Ура! В хаскеле все-таки есть переменные.

XRuZzz · 15.03.2019, 18:21

Сообщение от Tklwegsd

Ура! В хаскеле все-таки есть переменные.

Всё верно, Денис Москвин подтверждает в своём старом курсе, что в лямбда исчислении они называются переменные

Я когда писал, думал о foo = 1.

Добавлено через 2 минуты
Хотя я и её могу обозвать переменной для удобства, если точно знаю, что человек знает, что это не переменная.

@nezabudka · 15.03.2019, 18:30

Сообщение от Curry

В Haskell переменных нет. Всё это функции.

Сообщение от XRuZzz

Очень хочется зацепиться за это слово, и сказать, что в Haskell-e нет переменных, по крайней мере, нельзя такое слово употреблять,

То есть то что я читаю "Переменные в хаскель являются неизменными" по сути
лукавство для новичков, чтобы снизить порог вхождения? Прочла в гугле несколько
споров на эту тему. Да, я думаю это должно резать слух.
А как на счет значения с именем foo,
или определим параметр с именем foo,
или данные с именем foo? Нет и понятия присваивания.
Неужели правильно называть это функцией? По моему будет
страдать ясность изложения мысли
Не видела пока писала появившиеся коменты)

XRuZzz · 15.03.2019, 18:38

Не по теме:

Сообщение от nezabudka

Неужели правильно называть это функцией?

Посмотрите лямбда-исчисления Дениса Москвина, тогда сможете со спокойной совестью называть foo переменной :)

@nezabudka · 15.03.2019, 19:04

XRuZzz, Думаю надо пересмотреть и заострить на этом внимание.
Я довольствовалась приведенным выше утверждением "Переменные в хаскель являются неизменными"
и было счастье. Примерно представляю где собака зарыта. На начальном знакомстве может такая
вольность и допустима но общение может превратится в общение с инопланетянином если
влаживать в это слово неверный смысл, а неверный (пришедший из дргугих языков)
смысл так и ходит рядом и ждет своего часа запутать начинающего адепта.
Значит есть необходимость избегать двусмысленности. Что и запишем.

@Curry · 15.03.2019, 19:35

Сообщение от XRuZzz

в лямбда исчислении они называются переменные

При чём тут что как называется в лямбда исчислении?
В Haskell есть переменные типов - type variables. А то что слева от знака = определения функций, они не переменные.

XRuZzz · 15.03.2019, 22:48

Вот ещё взрывомозгная конструкция из книги Холомьёва:

Haskell
1
2
fix f = let x = f x
        in  x

Из той же 5й главы ФВП.

@nezabudka · 16.03.2019, 20:47

Haskell
1
foo = 42

или

Haskell
1
let foo = 42

"Определяется функция не принимающая ни одного аргумента и возвращающая значение 42"

Добавлено через 59 минут

Haskell
1
let foo = 42 :: Int

@Curry · 16.03.2019, 21:24

Сообщение от XRuZzz

Вот ещё взрывомозгная конструкция из книги Холомьёва:

Это стандартная функция из базового пакета. Вот, например, решение задачки из соседней темы

Haskell
1
2
3
4
5
6
7
8
import Data.Function
 
sumArithmetic :: Integer -> -- ^ a - первый член последовательности
                 Integer -> -- ^ d - разность
                 Integer -> -- ^ n - количество первых членов последовательности 
                 Integer
sumArithmetic a d = fix (\f r x i -> if i <= 0 then r 
                                     else f (r+x) (x+d) (i-1)) 0 a

@nezabudka · 20.03.2019, 16:10

Вот еще из уважаемых источников (просто информация к размышлению). раньше не обратила бы на это внимание ))
"When a function doesn't take any parameters, we usually say it's a definition (or a name)."
"В Haskell функции без параметров называются определениями (definition) или именами (name)."
"В Haskell нет функций без параметров. В сигнатуре функции (после всех возможных подстановок) всегда присутствует хотя бы одна стрелка; если это не так — то это не функция, это конкретное значение."

@Curry · 20.03.2019, 17:28

......

Новые блоги и статьи Все статьи Все блоги /
Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого zorxor 21.09.2026 Раньше я радовался или получал некоторые эмоции, пусть небольшие, но всё же, от самого процесса написания кода, рекомпиляции и запуска, видя постепенное развитие программы и прочее. А теперь лень. . .	Мобильное приложение ColorStep pavlinmavlin 17.09.2026 Реализовал приложение Красный, Зеленый, Синий в Unity3d + c#. Название изменил на ColorStep. Приложение прошло модерацию и теперь доступно для скачивания. Делал его сам, шаг за шагом — и вот,. . .	Запрет дублирования строк в табличной части Maks 13.09.2026 Реализация из решения ниже выполнена на нетиповом справочнике "Нормы ТО" с табличной часть "Виды ТО", разработанного в КА2, со следующими реквизитами: - ВидТО (СправочникСсылка. ВидыТО); - ВидГСМ. . .	Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Jin X 06.09.2026 Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Работая с форумом и нейросетями в браузере часто хочется что-то подкорректировать или добавить какого-то функционала. Ниже прикреплён. . .
Программа опроса у.з. расходомера SLS-720F Argus19 02.09.2026 Программа опроса у. з. расходомера SLS-720F Программа опрашивает один раз в минуту три ультразвуковых расходомера SLS-720F через интерфейс RS-485 по протоколу Modbus RTU. Опрашиваются регистры. . .	Hyper-V: Компьютер должен поддерживать доверенный платформенный модуль 2.0. Maks 31.08.2026 При установке Windows 11 на виртуальную машину Hyper-V 2-го поколения вылезла такая ошибка: Решение: в параметрах виртуальной машины, в разделе "Безопасность" (Security) активировать флаг. . .	Архитектура биовида Стива в Майнкрафте: Зачем бонобо кубический каннибализм anaschu 30.08.2026 Кубический Вагинокапитализм в Minecraft: Математический инвариант ОДУ и рок Стивов-бонобо Главная задача разработанной «Модели Всего» — наглядно продемонстрировать наличие системной «судьбы». . .	Оттачиваю умение писать js программы. russiannick 30.08.2026 Проектом выходного дня стало написание Книги шифров Виженера. Итогом стала версия 200, синий туман. Синий туман назван так, потому что замораживает текст под собой. Нажатие синих кнопок управляют. . .

Tklwegsd 845 / 608 / 211 Регистрация: 24.07.2013 Сообщений: 2,102
	15.03.2019, 18:05
	Curry, Я бы назвал ее переменной, но, как сказал korvin_, в математическом смысле. 1

Tklwegsd 845 / 608 / 211 Регистрация: 24.07.2013 Сообщений: 2,102
	15.03.2019, 18:13
	Ура! В хаскеле все-таки есть переменные. 2

@nezabudka 3334 / 752 / 252 Регистрация: 28.06.2015 Сообщений: 1,552 Записей в блоге: 16
	15.03.2019, 19:04
	XRuZzz, Думаю надо пересмотреть и заострить на этом внимание. Я довольствовалась приведенным выше утверждением "Переменные в хаскель являются неизменными" и было счастье. Примерно представляю где собака зарыта. На начальном знакомстве может такая вольность и допустима но общение может превратится в общение с инопланетянином если влаживать в это слово неверный смысл, а неверный (пришедший из дргугих языков) смысл так и ходит рядом и ждет своего часа запутать начинающего адепта. Значит есть необходимость избегать двусмысленности. Что и запишем. 1

@nezabudka 3334 / 752 / 252 Регистрация: 28.06.2015 Сообщений: 1,552 Записей в блоге: 16
	20.03.2019, 16:10
	Вот еще из уважаемых источников (просто информация к размышлению). раньше не обратила бы на это внимание )) "When a function doesn't take any parameters, we usually say it's a definition (or a name)." "В Haskell функции без параметров называются определениями (definition) или именами (name)." "В Haskell нет функций без параметров. В сигнатуре функции (после всех возможных подстановок) всегда присутствует хотя бы одна стрелка; если это не так — то это не функция, это конкретное значение." 1

@Curry Модератор 5171 / 3536 / 536 Регистрация: 01.06.2013 Сообщений: 7,689 Записей в блоге: 9
	20.03.2019, 17:28
	...... 1