Ввод данных, локальные переменные и область видимости

@Buckminster · Регистрация: 30.01.2012

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

добрый день! вопрос по приведенному коду: имеется ли возможность сформировать локальную переменную на основе введенных параметров и использовать ее многократно при выводе результатов? программа находит среднее значение ряда чисел, определяемого на основе запрашиваемых с клавиатуры параметров x1 и x2... искомый ряд чисел формируется функцией threeDigMasked x1 x2... было бы удобно поместить значение функции в промежуточную переменную, но в блоке where параметры x1 и x2 не видны... или здесь поможет только оформление вывода отдельной функцией (возможно, локальной -- пришло в голову пока писал вопрос

)? но вопрос в любом случае остается: возможно ли формирование локальных переменных на основе IO-образцов или здесь вступают в силу какие-то принципиальные ограничения языка?

Code
1
2
3
4
5
6
7
8
main = do x1 <- readNum 
          x2 <- readNum
          putStrLn $ show (threeDigMasked x1 x2)
          putStrLn $ show (length $ threeDigMasked x1 x2)
          putStrLn $ show (sum $ threeDigMasked x1 x2)
          putStrLn $ show (listAvg $ threeDigMasked x1 x2)
        where readNum :: IO Integer
              readNum = readLn

@Nameless One · 30.01.2012, 15:10

Haskell
1
2
3
4
5
6
main = do x1  <- readLn :: IO Int
          x2  <- readLn :: IO Int
          let series = [x1..x2]
          print $ length series
          print $ sum series
          print $ product series

ЗЫ. putStrLn . show = print

@Nameless One · 30.01.2012, 15:25

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

но в блоке where параметры x1 и x2 не видны

они и не могут быть видны. do-нотация — это на самом деле синтаксический сахар; например, следующие два
фрагмента будут аналогичны:

Haskell
1
2
3
4
5
6
7
8
9
10
11
main = do x1 <- readNum
          x2 <- readNum
          print $ length series
    where readNum :: IO Integer
          readNum = readLn
          series = threeDigMasked x1 x2[/code][code]main = readNum >>= \x1 ->
       readNum >>= \x2 ->
       print $ length [x1..x2]
           where  readNum :: IO Integer
                  readNum = readLn
                  series = threeDigMasked x1 x2

естественно, формальные параметры анонимных функций не могут быть видны в блоке where.
В то время, как вариант

Haskell
1
2
3
4
5
6
main = do x1 <- readNum
          x2 <- readNum
          let series = [x1..x2]
          print $ length series
    where  readNum :: IO Integer
           readNum = readLn

разворачивается в

Haskell
1
2
3
4
5
6
main = readNum >>= \x1 ->
       readNum >>= \x2 ->
       let series = [x1..x2] in
       print $ length series
           where  readNum :: IO Integer
                  readNum = readLn

Почувствуй разницу ©
Подробнее про do-нотацию: http://book.realworldhaskell.o... #monads.do

@Buckminster · 30.01.2012, 16:07 **[ТС]**

Сообщение от Nameless One

Code
1
let series = [x1..x2]

Nameless One, огромное спасибо! всё так просто и незамысловато...

т.е. в do-нотации допускается изолированное использование оператора let вне блока let-in... насколько я понял, let x = y синонимично x <- return y, в то время как я пытался выполнить присваивание через x <- y без оборачивания в контейнер...

@Nameless One · 30.01.2012, 16:10

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

т.е. в do-нотации допускается изолированное использование оператора let вне блока let-in

да

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

насколько я понял, let x = y синонимично x <- return y

можно, в принципе, и так сказать

@Buckminster · 30.01.2012, 16:50 **[ТС]**

Сообщение от Nameless One

можно, в принципе, и так сказать

благодаря наводке обнаружил вот эту статью, которая объясняет некоторые особенности do-нотации:

The main function starts with do, then has a sequence of xI <- exprI statements, and ends with return ().
Each statement has a pattern on the left of the arrow (often just a variable), and an expression on the right.
If the expression is not of type IO, then you must write xI <- return (exprI).
...people usually simplify the code using the following three rules:
1. _ <- x can be rewritten as x.
2. If the penultimate line doesn't have a binding arrow (<-) and is of type IO (), then the return () can be removed.
3. x <- return y can be rewritten as let x = y (provided you don't reuse variable names).

беглый просмотр справочника Душкина этих особенностей не выявил (и вообще я как-то не обнаружил нигде, чтобы на этом моменте фокусировалось внимание), откуда и родился вопрос...
ещё раз спасибо за квалифицированную помощь и исчерпывающие объяснения...

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .
И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»	SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .