LET IN выражения

@mporro · Регистрация: 04.07.2014

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

Здравствуйте!

Хочу понять кое-что про let <val> = <expr> in <expr> выражения в Haskell.

В OCaml я могу описать глобальное имя:

Code
1
2
3
4
5
let area_of_a_ring inner_radius outer_radius =
    let pi = 3.141593 in
    let sqr x = x *. x in
        let area_of_circle r = pi *. sqr r in
            area_of_circle outer_radius -. area_of_circle inner_radius;;

Как тоже самое записать на Haskell с правильными отступами?

@Catstail · 02.03.2016, 14:44

Haskell
1
2
3
4
5
6
7
8
area_of_a_ring inner_radius outer_radius =
    let pi = 3.141593 in
        let sqr x = x * x in
            let area_of_circle r = pi * sqr r in
                area_of_circle outer_radius - area_of_circle inner_radius
 
Main> area_of_a_ring 2 5
65.9734

@Curry · 02.03.2016, 15:03

Haskell
1
2
3
4
5
6
7
8
9
area_of_a_ring:: Double -> Double -> Double
area_of_a_ring inner_radius outer_radius =
    let pi = 3.141593 -- хотя pi определено в Prelude
        sqr x = x * x 
        area_of_circle r = pi * sqr r 
    in  area_of_circle outer_radius - area_of_circle inner_radius
 
main :: IO ()
main = print $ area_of_a_ring  1.2 3.4

@mporro · 02.03.2016, 16:35 **[ТС]**

Catstail
Т.е. каждый let я сдвигаю на любое положительное число пробелов?

KolodeznyDiver
У меня проблема с пониманием того, как работают сдвиги в Haskell. Если сложная вложенная структура let ... in выражений, то как делать отступы правильно? В OCaml с этим проще, а в Haskell несколько напрягает...

@Catstail · 02.03.2016, 16:49

mporro, не обязательно. Можно и так:

Haskell
1
2
3
4
5
area_of_a_ring inner_radius outer_radius =
 let pi = 3.141593 in
 let sqr x = x * x in
 let area_of_circle r = pi * sqr r in
    area_of_circle outer_radius - area_of_circle inner_radius

Но один пробел необходим. А, собственно, для чего здесь нужны вложенные let? По-моему, код, который предложил KolodeznyDiver, вполне разумен.

@Curry · 02.03.2016, 16:52

http://ohaskell.dshevchenko.bi... tting.html

@mporro · 02.03.2016, 17:07 **[ТС]**

Catstail
Вроде бы и понятно, а как опять начну писать -- путаюсь. Нужно как-то привыкнуть.
Пример, конечно, искусственный.

Новые блоги и статьи Все статьи Все блоги /
Переходник USB-CAN-GPIO Eddy_Em 20.03.2026 Достаточно давно на работе возникла необходимость в переходнике CAN-USB с гальваноразвязкой, оный и был разработан. Однако, все меня терзала совесть, что аж 48-ногий МК используется так тупо: просто. . .	Оттенки серого Argus19 18.03.2026 Оттенки серого Нашёл в интернете 3 прекрасных модуля: Модуль класса открытия диалога открытия/ сохранения файла на Win32 API; Модуль класса быстрого перекодирования цветного изображения в оттенки. . .	SDL3 для Desktop (MinGW): Рисуем цветные прямоугольники с помощью рисовальщика SDL3 на Си и C++ 8Observer8 17.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-rectangles-sdl3-c. zip finish-rectangles-sdl3-cpp. zip	Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая ссылка» (hard link),. . .
[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ФедосеевПавел 14.03.2026 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .	делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .

@mporro 306 / 101 / 18 Регистрация: 04.07.2014 Сообщений: 571
	02.03.2016, 16:35 [ТС]
	Catstail Т.е. каждый `let` я сдвигаю на любое положительное число пробелов? KolodeznyDiver У меня проблема с пониманием того, как работают сдвиги в Haskell. Если сложная вложенная структура `let ... in` выражений, то как делать отступы правильно? В OCaml с этим проще, а в Haskell несколько напрягает... 0

@Curry Модератор 5158 / 3487 / 536 Регистрация: 01.06.2013 Сообщений: 7,566 Записей в блоге: 9
	02.03.2016, 16:52
	http://ohaskell.dshevchenko.bi... tting.html 1

@mporro 306 / 101 / 18 Регистрация: 04.07.2014 Сообщений: 571
	02.03.2016, 17:07 [ТС]
	Catstail Вроде бы и понятно, а как опять начну писать -- путаюсь. Нужно как-то привыкнуть. Пример, конечно, искусственный. 0

LET IN выражения

Решение