Má Haskell budoucnost?

[zboj]

Bude k tomu nějaký materiál?

Myslíš třeba jako kilo koksu?

Je to první setkání, asi spíš jenom pokec.

To neberu/koksem netopím (neznám tě tak dobře, abych tvou otázku mohl úspěšně disambiguovat ).

[Reklama]

[Kit]

Bude k tomu nějaký materiál?

Myslíš třeba jako kilo koksu?

Je to první setkání, asi spíš jenom pokec.

To neberu/koksem netopím (neznám tě tak dobře, abych tvou otázku mohl úspěšně disambiguovat ).

Kilem koksu by se ani nezahřál kotel, ale na tohle by to bylo asi akorát: https://www.youtube.com/watch?v=tUxOdFJEDdg

[pr]

Mimochode, jak se v Haskell řeší mutable stav? Je zde například key-value úložiště?

[v]

Mimochode, jak se v Haskell řeší mutable stav? Je zde například key-value úložiště?

mutable stave bez IO:
https://hackage.haskell.org/package/base-4.8.2.0/docs/Data-STRef.html
úložiště (jedno z mnoha):
https://hackage.haskell.org/package/acid-state

[andy]

Mimochode, jak se v Haskell řeší mutable stav? Je zde například key-value úložiště?

Mutable stav se typicky řeší přes nějaký State monad, abys nepotřeboval mutable stav. Takže pak máš třeba "HashTable" (spíš HashMap), která je sice immutable, ale když ji potřebuješ měnit, tak prostě poběžíš v state/stateT a pak můžeš psát třeba:

Kód: [Vybrat]

flip runStateT mempty $ do
   at "key" .= 10
   over (ix "key") (+ 1)
   over (ix "does-not-exist") (+ 20)
   newvalue <- use (at "key")
   whenJustM (use (at "key")) print
Ad key-value úložiště - jestli myslíš diskové, tak acid-state, ale moje osobní zkušenost je, že je lepší použít persistent nad PostgreSQL. Jinak pro haskell existují knihovny pro hodně věcí jako Redis apod.

Jinak docela hezký je třeba vault, který má jako klíč "typ".

[Reklama]

[zboj]

Mimochode, jak se v Haskell řeší mutable stav? Je zde například key-value úložiště?

O tom je celé tohle vlákno: monády, monády, monády...

[Kit]

Mimochode, jak se v Haskell řeší mutable stav? Je zde například key-value úložiště?

O tom je celé tohle vlákno: monády, monády, monády...

Však jsem za tohle vlákno v této podobě docela vděčný. Bylo tady řečeno víc, než na co jsem se ptal a díky němu mám i s čím experimentovat.

[Mirek Prýmek]

Však jsem za tohle vlákno v této podobě docela vděčný. Bylo tady řečeno víc, než na co jsem se ptal a díky němu mám i s čím experimentovat.

Myslím, že bys klidně mohl výsledky experimentů i postovat. Je tady několik praktických haskellistů, kteří určitě rádi nasměují/poradí/prodiskutují - a my, nehaskellisti, si to se zájmem poslechneme, jak se praktické věci v haskellu řeší.

[Kit]

Však jsem za tohle vlákno v této podobě docela vděčný. Bylo tady řečeno víc, než na co jsem se ptal a díky němu mám i s čím experimentovat.

Myslím, že bys klidně mohl výsledky experimentů i postovat. Je tady několik praktických haskellistů, kteří určitě rádi nasměují/poradí/prodiskutují - a my, nehaskellisti, si to se zájmem poslechneme, jak se praktické věci v haskellu řeší.

Ono toho zatím moc není. Mám ještě stále problémy se čtením symbolů, které bývají v jiných jazycích slovní, ale v Haskellu jsou tvořeny posloupností nealfanumerických znaků. Časem si na to zvyknu a teprve pak to ocením.

[BoneFlute]

Ono toho zatím moc není. Mám ještě stále problémy se čtením symbolů, které bývají v jiných jazycích slovní, ale v Haskellu jsou tvořeny posloupností nealfanumerických znaků. Časem si na to zvyknu a teprve pak to ocením.

Mě pomohlo, když jsem si uvědomil, že veškerý kód v Haskellu se skládá z pouhých dvou tokenů: mezery a názvu výrazu. A pak závorky.

[Mirek Prýmek]

Ono toho zatím moc není. Mám ještě stále problémy se čtením symbolů, které bývají v jiných jazycích slovní, ale v Haskellu jsou tvořeny posloupností nealfanumerických znaků. Časem si na to zvyknu a teprve pak to ocením.

Tohle mě třeba taky štve. Číst kód, který je směsicí >> >>= << <=< $ <$> kde některé z nich fungují "zprava doleva" a některé naopak, je peklo. Občas mám pocit, že to snad haskellisti dělají schválně, aby okolí ukázali "já na to mám"

[Kit]

Ono toho zatím moc není. Mám ještě stále problémy se čtením symbolů, které bývají v jiných jazycích slovní, ale v Haskellu jsou tvořeny posloupností nealfanumerických znaků. Časem si na to zvyknu a teprve pak to ocením.

Mě pomohlo, když jsem si uvědomil, že veškerý kód v Haskellu se skládá z pouhých dvou tokenů: mezery a názvu výrazu. A pak závorky.

To platí pro Lisp, ale Haskell toho má podstatně víc. Symboly => -> :: apod. jsou pro mne stále stěží čitelné.

Kromě toho mezera přece není tokenem, ale pouze oddělovačem tokenů, ne? Jinak žádnou funkci nemá.

[Mirek Prýmek]

To platí pro Lisp, ale Haskell toho má podstatně víc. Symboly => -> :: apod. jsou pro mne stále stěží čitelné.

Myslím, že jste si teď s BoneFlute nerozuměli, každý mluvíte o něčem jiným.

Kromě toho mezera přece není tokenem, ale pouze oddělovačem tokenů, ne? Jinak žádnou funkci nemá.

Ještě jako indentation. Haskell má významný whitespace (narozdíl třeba od javy).

[BoneFlute]

Ono toho zatím moc není. Mám ještě stále problémy se čtením symbolů, které bývají v jiných jazycích slovní, ale v Haskellu jsou tvořeny posloupností nealfanumerických znaků. Časem si na to zvyknu a teprve pak to ocením.

Mě pomohlo, když jsem si uvědomil, že veškerý kód v Haskellu se skládá z pouhých dvou tokenů: mezery a názvu výrazu. A pak závorky.

To platí pro Lisp, ale Haskell toho má podstatně víc. Symboly => -> :: apod. jsou pro mne stále stěží čitelné.

No, tak jsem si docela dost jistý, že třeba <- je funkce. A vůbec by měl nepřekvapilo, kdyby :: byla funkce pro definování typové anotace.

[Mirek Prýmek]

No, tak jsem si docela dost jistý, že třeba <- je funkce.

Standardni fce to neni. Je to syntakticky cukr pouzitelny jenom v do blocku. do taky fce neni.