Здравствуйте!
Только вот вчера начали в университете проходить Хаскель.

Одно из заданий заключается в проверке двух слов , а именно имени и фамилии на заглавные буквы.
Т.е. если введены имя и фамилия с заглавной буквы, то программу выдают True или выражение на подобе "Верно" =). Если имя и фамилия введены маленькими или большими буквами, то программы выдает или False или что-нить на подобе "Напишите имя и фамилию с заглавных букв"

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

Я написала три варианта и для каждого хаскель выдёт мне ошибку. Подскажите где мы что надо исправить и вобще в правильном ли я направлении думаю?

Спасибо огромное!

Для моего первого варианта Хаскель говорит
Uebung5.hs:5:4: parse error on input `case'
import Char
isName :: String -> Char
isName []
isName p(x:xs)
case of
isUpper (head(x:xs)) && isLower (tail(x:xs)) -> putStrLn "You entered your name right"
isUpper (head(x:xs)) && isUpper (tail(x:xs)) -> putStrLn "Enter only the begining letter large"
isLower (head(x:xs)) && isUpper (tail(x:xs)) -> putStrLn "Enter only the begining letter large"
isLower (head(x:xs)) && isLower (tail(x:xs)) -> putStrLn
else if isLower (head(x:xs)) && isUpper (tail(x:xs)) )
then False


Для второго выдаёт:
Uebung5.hs:5:4: parse error on input `if'

import Char
isName :: String -> Bool -> Bool
isName []
isName (x:xs)
if isUpper (head(x:xs)) && isLower (tail(x:xs))
then True
else if isLower (head(x:xs)) && isUpper (tail(x:xs)) )
then False




Для 3его выдаёт вот это:
Uebung5.hs:4:0:
The type signature for `isName' lacks an accompanying binding


import Char
isName :: String -> Bool -> Bool
isName []
isName p(x:xs)
|isUpper px = x : isName isLower p xs
|otherwise = False

ZyK_BotaN,

Он у меня всё равно выдаёт ошибку, связанную c if
Я понять не могу почему

import Char
isName1 (x:xs)=do
if isUpper x && (isLower xs)
then True
else if isLower x && isUpper xs
then False


И спасибо за скорый ответ

авторчем тебе мой пример не понравился?
Мне он очень даже и понравился. Я поэтому его
отсюда

авторбессмысленна, нужно переписать так
isName (x:xs)
if isUpper x && (isLower xs)

и скопировала и вставила в свой код. или так нельзя делать?))

автореще одно замечание по поводу этого кода.
не пользуйся оператором if, если результат имеет булев тип.
запись
if cond then True else False
эквивалентна записи
cond
, где cond - условие.


хорошо, тогда это мой новый код, который должен работать,да? но он не рабоатет так как cond is not in scope.

import Char
isName xs
cond isUpper (head xs && isLower (tail(xs)))


и как можно тогда ещё этот исправить?

import Char
isName :: String -> Char
isName []
isName (x:xs)
case (x:xs) of
isUpper x && isLower xs -> putStrLn "You entered your name right"
isUpper x && isUpper xs -> putStrLn "Enter only the begining letter large"
isLower x && isUpper xs -> putStrLn "Enter only the begining letter large"
isLower x && isLower xs -> putStrLn "First letters must be large!"
else if isLower x:xs && isUpper xs
then False

Я в Берлине учусь.

ZyK_BotaN,
я не пропускала all

авторбессмысленна, нужно переписать так
isName (x:xs)
if isUpper x && (isLower xs)
или
isName xs
if isUpper (head xs && isLower (tail(xs)

я взяла коды отсюда, а не код с all
и я не понимаю расставление скобок во втором.
должно это так выглядеть?

isName xs isUpper (head (xs)) && isLower (tail (xs))

или так?
isName xs isUpper (head xs) && isLower (tail xs)


хорошо. для одного имени я поняла. для двух слов аналогично получается?

как например
isName :: Double ->Double -> Bool
isName xs ys
isName [] = False
isName xs ys isUpper (head (xs)) && all isLower (tail (xs)) && isUpper (head (ys)) && all isLower (tail (ys))

Спасибо за объяснения.

Тогда получается всё так

import Data.Char

isName :: String -> String -> Bool
isName n1 n2 = isName1 n1 && isName1 n2

isName1 :: String -> Bool
isName1 [] = False
isName1 (x:xs) = isUpper x && all isLower xs

но оно всё равно не работает.

<interactive>:1:0:
No instance for (Show (String -> Bool))
arising from a use of `print' at <interactive>:1:0-15
Possible fix:
add an instance declaration for (Show (String -> Bool))
In a stmt of an interactive GHCi command: print it

м... что?

я передаю функции только одну строку, а надо две.

isName :: String -> String -> Bool
isName n1 n2 = isName1 n1 && isName1 n2

речь идёт об этой строчке?

а сколько мне их там тогда надо? у меня фамилия и имя это и есть два аргумента.
или мне их надо разделить и сделать что-то вроде этого?

isName n1 = isName1 n1
isName n2 = isName1 n2

м. да. это было глупо
спасибо большое))))