Да

Не понимаю вопрос. replicateM_ n greet означает “выполнить n раз greet, отбросив результат”

{-# LANGUAGE MultiWayIf #-}
import System.IO
import Data.Fixed

main :: IO ()
main = do
   
   hSetBuffering stdout NoBuffering
   putStr "Enter name ... "
   title <- getLine

   putStr "Enter quantity ... "
   quantity <- readLn :: IO Float

   putStr "Enter a price ... "
   price <- readLn :: IO Float

   putStr "Type 1 or 2 "
   typeofprod <- readLn :: IO Float
   putStrLn (if   | typeofprod == 1 -> "1 total" ++ show ( quantity * price)
                  | typeofprod == 2 -> "2 50%" ++ show ( quantity * price / 2)
                  | otherwise -> "Type 1 or 2" )

Например в этом коде можно только один раз вести только один тип товара и получить общую стоимость

Так на что влияет typeofprod?

Я хотел несколько раз ввести разные товары и получать их общую сумму

Пока что не на что

))

а откуда взять число товаров?

оно вводится до этого, или нужны какие-то команды?

Заранее вводиться

Для авторизации мне ещё долго надо учиться))

type Item = (String, Int)

readItem :: Int -> IO Item
readItem i = do
 putStrLn $ "Enter item #" <> show i
 name <- readLn
 price <- readLn
 pure (name, price)

total :: [Item] -> Int
total items = sum (map snd item)

main = do
 n <- readLn
 items <- for [1..n] readItem
 print $ total items



инлайн версия


main = do
 n <- readLn
 items <- for [1..n] \i -> do
   putStrLn $ "Enter item #" <> show i
   name <- readLn :: IO String
   price <- readLn :: IO Int
   pure (name, price)
 print $ sum $ map snd $ items

for принимает в данном случае список чисел от 1 до n, и для каждого числа выполняет какое-то IO действие, которое что-то возвращает (в данном примере пару)

список всех пар идет в items

Поменял код теперь во втором случае выводит 50% поделив общую сумму на 2

Супер, спасибо Вам🙏

а, for нужно импортировать из Data.Traversable

в Prelude есть traverse, который как for, только в другом порядке аргументы

items <- traverse readItem [1..n]

replicateM кстати тут мб даже лучше подходит чем for, если индексы не нужны

просто вместо replicateM_ нужен replicateM

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

items <- replicateM_ n do
 print "Enter item"
 a <- readLn
 b <- readLn
 pure (a, b)

как можно собирать библиотеки с hackage без Cabal ?