Syntaxe Haskell funkce

[BoneFlute]

Ahoj.

Mějme funkci (třeba v Haskellu):

Kód: [Vybrat]

foo a = a + 1

Existuje nějaký zajímavý důvod, proč je ten argument před rovnítkem?

Mám totiž takovouto úvahu:
Pokud symbolu přiřazuju hodnotu:

Kód: [Vybrat]

a = 1
b = "text"
c = True

tak v případě funkce přiřazuju lambdu:

Kód: [Vybrat]

foo = \a -> a + 1

Díky za odpovědi.

[Reklama]

[balki]

Ja sa pridam otazkou, ako sa robi nad definiciami funkcie cez lambdu pattern matching?

(To '=' mi tiez prijde, ze je to len na zmatenie nepriatela, ale haskellisti budu mat asi dobry dovod na takyto syntakticky cukor)

[Inkvizitor]

Ahoj.

Mějme funkci (třeba v Haskellu):

Kód: [Vybrat]

foo a = a + 1

Existuje nějaký zajímavý důvod, proč je ten argument před rovnítkem?

Mám totiž takovouto úvahu:
Pokud symbolu přiřazuju hodnotu:

Kód: [Vybrat]

a = 1
b = "text"
c = True

tak v případě funkce přiřazuju lambdu:

Kód: [Vybrat]

foo = \a -> a + 1

Díky za odpovědi.

Nevim, jestli rozumim, o co Ti jde. Ale klic podle me je v tom, co pises dole

a = 1
b x = x
c x y = x + y

V Haskellu nejsou zvlast konstanty a funkce. Haskellovsky program je reseni soustavy rovnic. Prava a leva strana rovnice, to je podle me klic k vysvetleni.

[v]

Ja sa pridam otazkou, ako sa robi nad definiciami funkcie cez lambdu pattern matching?

(To '=' mi tiez prijde, ze je to len na zmatenie nepriatela, ale haskellisti budu mat asi dobry dovod na takyto syntakticky cukor)

buď

Kód: [Vybrat]

 \x -> case x of .. 

a nebo s -XLambdaCase

Kód: [Vybrat]

\case
    1 -> ...
    2 -> ...

[v]

nemám na to rozumnou odpověď, ale fakt bych nechtěl muset psát tím druhým způsobem, takže tipuju, že v tom hraje roli ergonomie

[Reklama]

[listoper]

Existuje nějaký zajímavý důvod, proč je ten argument před rovnítkem?

Zajimavy to asi neni, ale podle me je duvodem podobnost s matematickym zapisem.

Kód: [Vybrat]

f(x) = x + 1

Cte se to jako "Funkce 'f' jedne promenne x ...".

[hlawolam]

Neni lepší jít touhle cestou ?

Kód: [Vybrat]

((.)(.) :: (have'' -> boobs'') -> (in' -> haskell'))

[Géomètre]

Je to jako v matematice, f(x)=něco(x) je to samé, co f=λx.něco(x). Při psaní kódu je to kratší a přehlednější. Žádná věda v tom není.

[balki]

Ja sa pridam otazkou, ako sa robi nad definiciami funkcie cez lambdu pattern matching?

(To '=' mi tiez prijde, ze je to len na zmatenie nepriatela, ale haskellisti budu mat asi dobry dovod na takyto syntakticky cukor)

buď

Kód: [Vybrat]

 \x -> case x of .. 

a nebo s -XLambdaCase

Kód: [Vybrat]

\case
    1 -> ...
    2 -> ...

Dakujem

[BoneFlute]

Haskellovsky program je reseni soustavy rovnic. Prava a leva strana rovnice, to je podle me klic k vysvetleni.

Díky.

[BoneFlute]

ale fakt bych nechtěl muset psát tím druhým způsobem

Proč?

[v]

ale fakt bych nechtěl muset psát tím druhým způsobem

Proč?

pohodlí - bylo by to delší, ošklivější a pattern matching na více argumentech by byl takový divný

[BoneFlute]

ale fakt bych nechtěl muset psát tím druhým způsobem

Proč?

pohodlí - bylo by to delší, ošklivější a pattern matching na více argumentech by byl takový divný

Kód: [Vybrat]

foo x = x + 1

versus

Kód: [Vybrat]

foo = x -> x + 1

Ano, přísně vzato je to o kousek delší.

Kód: [Vybrat]

foo (x:xs) = [(x + 1) : (foo xs)]

versus

Kód: [Vybrat]

foo = (x:xs) -> [(x + 1) : (foo xs)]

pattern matching IMHO pohoda, divnost nevidím - možná ukaž příklad

Co je ošklivější je obávám se otázka zvyku. Mě přijde "ošklivá" ta nekonzistence, že přiřazení hodnoty se děje jinak, než přiřazení funkce.

[Swan]

ale fakt bych nechtěl muset psát tím druhým způsobem

Proč?

Je to pro masochisty, viz CPL.

[v]

na více než jednom argumentu

Kód: [Vybrat]

f (x:xs) (y:ys) = ...
f _ _ = ...

vs.

Kód: [Vybrat]

f = \a b -> case (a, b) of ...