ααααΆααα½α Habr ααΎα’αααα αααααααΆαααααα’αΆαα·αααααααα·α αα? α’αΆαααααΆααααααααααα»ααα½αααααΉαααΎαααΉαα α·αααα’αααα αΎαααααααΉαααααΎα±ααα’ααααα·αα
α’αααααααααααααα·ααΈααααΎα
αααα»αααΆα’αααααααααααααα·ααΈαααααααΎααααα·αααΉα
ααααΉαααΆαααΆααααΌαααααΆαα·ααΆαααααααααααααα·ααΈα
αααα»ααα
αααααΆαααααααααα
α’αΆαα»ααααααΈα
α αΎααα
α’αΆαα»αααααα½αααΆαααααΉααααΆα
αΆαααααααΆααα
ααααααα
ααΆαααΆααα
αααααα α αΎαα’αααααΆα’αΆα
αα·ααΆαααΆαααΆ
αα½αααααΉαα
αΆααααααΎααααα»αα
αΌααα
αααα»ααα·αααααααα
αααα»αααΉαααΆαααα½ααα
ααααααα»αα’αΆαα»ααΆααα·αααααΆα
α αΎααα
α’αΆαα»αααα·ααααα»αααΉααα
ααΆααΆααααααααα
ααΆαααααΆααααα»αααΆαααααΎαααΎααα»ααααα·αααΎαβααΆααβααΎα ααΎαβααβαα·αβααΎαβααα»αααβααα
ααα»ααααααααααΌααα·ααααααΆαααααααααααΆαααααααΆααααΎαααα
ααΎαα
ααααΆααααααα
αΆαααααααΆααααα·αααααααΆαααααααα
αα·αβαααβα’αααβααΆααβαααβααβαααβα
αΌαβααβαα»αβα
αααΆαα
αααα·αααααΆαααααααΊααααΆα αΆααα·αααααΆα αΆα
αα½ααααα·ααΆααα»α αα’αααΈααααΆααααααα½αααΆαα
ααΎαα
ααααΆααααααα
αΆαααααααΆαα
ααααααΉαα’αααΈαααα αΆαααα
ααΎααα·αααααΌαααΆαααααααΆααααααα αα½αααααΉαααααΆαααααααΆαααααΉααααααα
ααΎαα
ααααΆααααααα
αΆαα - αααααΊαααααΆαααααααααα -
αα
αααα»αα’ααααΌαααααααΉααααααα’αα»ααααΆαααΌαα
ααΎαααΌαααΌαααααααΌαααΆααααΆαααΆαααα»αααααααα
ααΆααΆααΆαα’αΆαααΆααααααα½ααααα·αααααΈαααα
ααΈααΆαααΆαααααα»αααααΎααααΈ ...Didas ααΆαααααα»αααααΎααααΈ
α αΎααα½αααααΆααααααααααααΆαα FP αα
ααΆααααΆααααα
αα·ααααααααααα½ααααα·αααα½αααααα
ααΎα’αααααΆαααααΆαα
α·αααααΆαα½α lambdas αα·α Functions?
Didas ααΆαααααα»αααααΎααααΈ
αααα»ααααα’αααΆα
αα dough,
α αΎαβααβαααβααα»αααβαααααβα²ααβααααΆαα
α’ααααααααΆααααααΆαααα FPshnogo α’αΆαααααα
ααααααΈααααααααΌαααΆαα§αααα·ααααααΆαα’αα·αααααααααΆαααΆαα» OS αα»ααααα·ααΆααααααααΎ Haskell αα Kaspersky Lab α
ααΈααΆαααααααααααααα αα·α HaskellααΈααΆβαααααβααααΌαβααΆααβαα»α
ααα½αααααΈαααα αΆα
α αΎααααα»αααΆααα·αααΈααααααΎααααΈαα½ααααααααα Xi
ααΈααα α»αααΆααααα αΌαα
ααΆαααα·αα
αααΎααα αΌααααααΆααααααααΆααααααααα
αα·αβααΆαβαααΆα αα·αβαα·αβααΆαβαααβαααβαααα½αα
ααα»ααααααΆααααΆαααααΎααααααΆαααΆααα’
ααααααααα Haskell ααααααααα roost α
ααΆααααΆαααΎαααααα
ααααααΆαααααΆαα
αααΆααα
ααΌαααααΌαααααα’αΆαα
α αΎαααΆααααΆααααααΎα D.S.L.
αααααΎααααααΌα C α
α αΎαα’αααΈααααααααΆαααΉααααααΆααααα»ααααααΆαααΆαααα
ααΆαααα·αααΆαα·αα
ααααα
αααααΆααααΆαααααΎαααΎα Haskell α₯α‘αΌαααα
ααΆααααααΆαααΆααααΌαααααΌαααΆαααααααα
ααα
ααΆααΆ "Haskell"α
αΌααα
αααα»α whirlpool αααααααΆαααααΆααααα
ααα‘α
ααΆααααΆαααααα»αααΉααααΆαααααΆα αΆαα
ααααΈααααα
αααααΆααααα»αααααααΎααα
ααΎααααΆαα, -
Vitaly Bragile α
αα
αααα»αααΆααααααααααΆα Xi αα·α Ha
ααΈααα»ααααααα»αα
ααΆααααΆαααααααααΊαα
αααααααα
αααα»αααΈαααα»αααΌααααΌ -
Yuri Syrave ααααααΎαα
ααααΆααα»ααααααα½αααΌα
α’αααα
αα
αααα»αααα»ααααααααα·ααααααΆαααααααΎαα
αααααβααΆαβαααααΆαβα²ααβααΎαβααΆααβααααΆβαααβαα
Klapau ααα’ααα
αΆαααα
ααααααααααααΌα GHC
ααΆααααΉαααα’αααΈαααα’ααααα»α
αα»ααααααΆαααααα»ααα
oar,
Zavyalov Vladisla α
αα
ααΎααααΌααααααΆααα»ααααα·ααΆααααΆαααααα»ααααα½α
α’ααααα»ααα - α
αΆαααα»αααΉαααΆαααΎα
αααααΈαααα»ααα½αααααααααααΆα
αααΎα,
Vershilov Alexan α
ααααα
αααααααα»αααΏαααααααΎα,
ααΎαααΆαααΆαααα
ααα
ααααααΉα
ααααΆααααΆαααααααΆααα·αααα’
Haskell ααααααΎαααΆααααααααααα
Hogweed ααΊααΆ meme αααα»ααααα»αααααΆααααα haskell_blah αα αααα»α Telegram α
Hogweedαααα±ααααΆαααα’, ααααΆα
Lambdas αα·ααααααααα
αααα»ααα·ααααα»αααα
Hog parsnip ααΆαααΆαααΆααααα
ααΉαααααΎα±ααα’ααααααααααααΆαααα
ααααααα
αα·αααΆαα·ααΆαα
α·ααααααΆαααΆαα αααα
αα»ααααααααααΆαααααα
Hogweed ααααΆα
ααΉαααααααΎαααααΆααααα»αααααααΈααααΎα
αααααΆα, ααααα
αααα½αα’ααα, α’αααα
ααααΆαα,
αααααΊαααΉαα αΎααααα
α
ααααα»αααααΆα
αααααααααΆαα
α’ααααααα·ααα
αααα»αααααααααααααααααΆα
ααΆαααααα·ααα
αααααααααααααααααααααΆαααααΆα
ααΆαααΆαααΈαααααΌαα
Hogweed ααΊαα»αααααΆααααΆαα -
αα·αα·ααααααααΆα’ααααααααΆα lambda α
αα·ααααΆαβααααβαααΆααΆα-βααααααααΆαβααΏαβαααβααααα
ααΆααα·ααΆααα·ααααΆααΎαα‘αΎα, -
αααβα αΎαβααΆβαα·ααααΆαβααααβαααΆααΆαα-ααΆαααΆα
ααααΆααααααΈαα»ααααααααΆααα’ααα
αΆαααα
α’αααα’αΆα
αααα»ααααααααΆαααααα·ααα½αα
ααΎααααΈααα Haskell αα
ααααααΆαα½α,
ααα»ααααααΆααααΆαααααααα
αααααα·αααα’α
ααΆααααΆααΆα-ααΆαααΆααΆα’αΆαααααα
α’αααααΆαα
αααααα
αα
ααΈαα»ααααΆαααααααΎαααααα,
ααΆαα α
Smatana ααΈααααα·αααααΆα
ααα»ααααααΆαα·ααααααΆαα·ααΆα
ααααααα
αα·ααα·ααααΆαααΌα
αα½ααα theorkat α
α’αααβααΆαβααΆααβα
αα α αΎα Haskell ααΊαβαααβα αΎαα
α’αΌαααΆαααααΌααααααα·α
α
α αΎααα
ααααααααΆαα½αααΆααααα
αα·αα―ααα
αα·ααααΆαα’αΆααα’ααα
α·ααααααα theorkat α
ααααΎααααααΆαααααΆααααΈ HaskellianHaskellists ααααΊαα
αααααα
ααΈαααααΊαααααααααααααα·αα·ααα,
α αΎααα
αααα»ααααα·α - ααααΈααααΆαααα·αααα·αα»ααα -
αα½ααααααα»αααΎαααααααααααααααα½αααα
α
α»α! - α’αααααααΆαααααααΆαααΆαααΊα
αΆααααΆαααααααΌα
αααα·ααααααα‘αΆααααααα»α
α’αααΈαααααααΆαααααα»αααΎααααΈααααΎ: α
αα»αααααα
α¬ααΆααααα
ααααα’ααΆα?
ααααα»ααΆαααα»αααα
αα½αααααΆαααααααααα
ααΆααα½ααα
ααααααα
ααααΆααα
αααα½ααααα ααααααΆαααααααα
ααααα
α·ααα! - ααα‘αααααααΌαα α
α
ααααΆααα! ααΆααα½ααααααΊααααα·ααα½α
!
ααα»ααααααΆααα
ααααΆα "ααααΆαα" ααααααααα
αααα·ααααααα½αααΆαααααα»αα
αααααααα·ααααΈαααα
ααΆαααααΆααΆ "αααααΆαα" ααΆααααα
αααΎα:
α₯α‘αΌαβααΆααβαααβαα·αβααΉαβααΆβαααααα
ααΆααααα½αααΎαα
ααααΈααααααα
αα½α
ααΆααα ααα»αααααααα»ααα»ααααα·αααΆαααααΉα
αααα·αααααααΈααααααα½αααΆααααα
ααΆααααΊααΆαααααααααΆααααα α¬αα·αααΆ
ααΆαααααα»α
αααααα
ααα’βααα»ααααΆβαααβααααΆαβααΆαβααΊβα
αΆαα
ααΎαααααα ααΆαααααααααα
αααΎαααΆαα
αα
αααα»ααα·ααααααααα’αααα’αΆα
ααΆαααααΈααΆα
ααΎααααααααααααααα’αααα
α αΎααααααΆαααααα’αα - ααΆαααΆααααααα½αα’αααΈ C ++ ααααααα»αααΆαα’αΆααα αααα»ααα»αααααααΆαααααααα»ααα α―ααααα·ααΈα C ++ Siberia 2019 α
ααΏα C ++ ααΆααΈααααα αα·ααα½αααααααααααααααααααΈ 1. αααααα αα·αααΆααααα ααααα·
αααααααΆα
ααααΎααΆαα αααααΊα’ααααααα
ααΆααααααΆααα»αα
ααααΈαααααααααα
αααα»αα
αααα
ααΆα; ααα»ααααααΆαα
ααααΆαα
α αΎαααααα·ααααααΆα’αααΈαααα’αααααααΌααα·ααααααα
ααΆααααααααααα»αααα αα·ααααα½αααΆαααΆααααα»ααα
αααααα·ααΈαα·αααΆαααα½α
ααΆαααα...
... α αΎαβααΆαβαα·αβαααβαααΆαβα
ααααΌαα
ααααα
αααΆααααααΆαααααααΌα
α
ααΆαααα
αααα‘αΎααα·αααΊααΆααααα»αα·αα·ααα
α αΎαα’αααα
αααααααΆαα·ααα
ααα»αααααααααΆαααααααααααααα ααΆααα’ααΆαα
ααΎααααΈααα αΌαααααααΆααααΆααα
α’αααΈαααΆαααΆααααα»αααααΆαααΆαα½αααααααααΆαααααα
ααααααα»αα’αα·ααααΆααααΆαααΆααααα ααααααα»ααα»ααααααΆααααα
αα·αααΆααα·ααΈααΎααααΈαααα αΆααα½αααα
ααΆααα’ααααααα·αα’αΆα
α’αα»ααααΆαααΆαα
αααααΆααα’αααΈαααααα·αααα’αΆααα
αααα»ααααααα·ααΈ
αααααα·ααΈα
αααααααααααΎαααΉααα
αααααα
ααααΆααααα α»αααΌα ααααΎαααΆααααααα½αα―α
αα αΌααααα’ααααααα
αααααααΈ 2. αααααΌαα αααΎααααα
ααΆαααααα·ααααα»ααα·ααααΆααααααααα αα·αααααααααα
αα
αααα»αααααααααΆαααα
ααΆααααα
αααα’α½α
α
αααα»αβα
ααβα
αΌαβααα... ααα»ααααβααΆβαα
βααβααΆαα
α αΎαα’ααααα·αα
αΆαααΆα
ααα·αα’αααΈααΆ ...
... ααα α»αβααΌα
βααΆαβααααβαααα‘αΆα
ααΆαααααΆααααααΌααα·αααααααα»α
Dedlock ααΊααΆ Credo ααααΎαααααααΆαα
α αΎαααΆαα ααα αΎααααΆαααΈααααααΆααααΊααΆαααΆααααααΆα
ααΆααααα·αααΈα’αΆαα»ααααα’αΆα
ααααΆααααααΌαααΆαα
ααααΎααΆαααΆαααααα αΆαα
αααααα
α
α αΎαααΆααα
ααααΆαααΌααΆααααααα
αααβα’αΌαβαααα»αβαααΌαα
ααΆααααΉαααΆαα
αααα»ααααααααΆαααΆαα½ααααααΆααααααΆαα
ααααααααααααααΎααΆαα»ααΆααΆα
α αΎααααααΆαααΆαααααααααααΌαα
ααΎα’αααααΆααααΌαααααΈααααααα
αααα "ααΆααααααΆαα·α"?
α’αααααΆαααα
ααααΈααΆαααααααααα
α
αΌααα
αα·α
αα½ααααα·αααΆααα»ααααα·ααΆααααα»ααα»ααα
αααααααΈααααααα
ααΎααααΆααΆα’ααααααααΆααααΌαααααα
αααααααΌα
αααα
α αΎαααΆααααΆααααααΎα ballast ααΈαα»αααΆαα
ααααααα·ααααα»αααΆααααα½ααα·αααα’,
αα
ααααα»αααααΆαααΆααα’αα
ααΆααα
ααΆαα½ααααααα»ααααααα’αΆα
ααααΆααααααΌαααΆαα
αα
αααααα α»ααα...
... "α’αααΎα’αΆααααα" ααααα·αααααΆααααΆαααΈαα»ααα
α’ααααα·αααΆααα½ααααααααΆααΌαααα αΎαα
αααα αΆααΎαα‘αΎαααΌα
αα»α
αααααΌααααααα
ααΆαααα αΆα
αααααααΈ 3. ααααΆα OOP αα·α BOILERPLATE
ααΌαααααΊα‘αΌα
αααααααααΈαααααΆααααααααΎα
α
ααΆαβα α
βαα·αβαααβααΌα
βααΆ peahen,
ααα»ααααααααα·ααααααΆα’αααΈαααα’αααααααΌααα·ααααααα
αα·ααααααααααααααα αΎα
αααααΆαααααααα, αα ααααΆα
αααα bolts,
ααα·αααααα½αααααΌαααΆααααΈααααα
αααα·ααααΆααΆααΆ
ααΈααΆααα·αααααααααααααΆααα
αα
αααα»ααααα
ααααααααααα»
α αΎαααααΆααααΆααααΆααααΆ
α αΎαααααΎααΆαααααΌαααα·ααΆααααααΆαα
α’αααβαααααβα±ααΆαβααααΌαβααΆαβααααααβαα
βααΈβαααα
ααΆαααΆαααααααΆααααΊααααΌααααα»ααααααααα
α’αααΈααααααααΆαααααα
αα·αα ααα»ααα
α’αααΈααααααααΆααααααΆαααααααααααΆαα’αααααααα·αααΌααααΈαα
αααααααααα’αααααααα·αααΆααααα½αααΎαα
ααααααααΆα Occam
α αΎαααΆααααΆααα»ααααααααααααααααΆααα
ααΆαα½αααΆαα ααΆαααΎαααΉαααααΆαααΆααΏαα’αΆαααΆαα
α αΎαα
α·αααααααΌαααΆαααααααΆαααΆαααααα»αα
αααααΆαααααΆααα
ααΆαα
αααα»αααααααΆααααΆα,
ααΆααααΉααα
αααααα’αααΈαααααααααααααααααΆα
αα·αααΆααα·ααααΈαααααΆααααααΆαα
ααΈααααα·αααΈαααα
αα»ααααααΈααααΎααααΆααΆααα’α·α
ααααααααααααααααα»αααααΆααααα»αα
ααΆβααΆβααβαα½αβαα»αβα±ααβααΆααβα
ααα‘α
ααΆααβααΆβα’αααβααααΆαβααΆαβαααααβαααβα
αααΎαβαααΆα...
... αααβαααβαα
βαααβαααβααα»αααβα’αΆααααα
αα
αααα»αααΉαααΈααααααααα OOPea
ααΈαααΆαααΆαααααααααΆααααααααααα αΎα
ααααααααααα½ααΆααΈααααΆααααΊαα·αααα ααα»ααααα
ααααααα α αααα
αααααΆααα½αααααΆααααΈαααΆααααααααααα
αααα»α
ααααΆ ααΆα‘α·ααΆ,
α
αααααβαααα’ααβααααΉααααααα
ααα»ααααααααα·ααααααΆα’αααΈαααα’αααααααΌααα·ααααααα
ααΎααααΌααα·ααααΆαααΆ?.. αα’α·ααα
ααααΆα
α’αααααααααα·αα
αΌααα
αααα»αααΆααααΉααααααα
ααΆααα·ααααΆαα αΎααααΆα
α αΎαααααΆααααα’αααΈααααααααααΌαααα½αααΆαα
ααΆαααααααααα
α αΎααα
ααΈαααααΆαα
αααα’αα
ααΆααα’αααααααααααααααα
αααα:
αα·αααα’αα αα·αααααΎα αα·αααΌα
αα·ααααααΆαααΌα
αααααβααΆβααΌαβαααβααΆαβαααα
ααααΌαααΎαα
αα α
α αΎαααΆααΌαααΆαααα
αααα»αααΆα
ααααΆαααααααααα’αΆαααΌα
αααααααΉαα
ααΆααααΌαααΆααααααααααααααα’ααααΆαααααΎαααα,
α αΎααααα
αααααααΊααααΊα
αααα
ααααααααααααα ααα»ααα
αααααααααα»αααααααΎαααααααΆααα
αααααααα
αααα
ααααα
αααΌαα
α·αααα αα·αααα·αα»ααα
ααΆαααααααΆαααααααααααΆααααααααΆααα
ααΆαα½αααΉαααΆαααααααα
ααΆααΉααααΆα
αα»αααααΆααααΉααα»αααααααΆαααα
ααΆααααααααΌααΆααΆαααΆαααα
αα·αααΆαααΆααααΆααααααΏαααΌα
ααΆα
α
ααΆαααααααΆαααα,
αααααααααααααΆαα’ααααΌαα ααα»αααααα·α
ααααααΆαα
ααΆαααΆααααα»ααααααααΈααααΆα
ααΆααΉααα·αααααΎα±ααααΌα
ααααΎαααΆαααα
ααΆαααΆαα»αααΆα αα·ααα»ααααα·ααΆα
αα·αααΆαααΆαααΊα
αΆααα¬ααααΆααα’ααααα
ααΆααα»ααααααααααΌαααΆααααααΆαα»α,
α αΎαα’αΆαα»αα·ααααααΆαααα αΆααα
ααΆαααΌααααΈααα’αααααα
αΈαα»αα
ααααα
ααΉααααααα±ααα’αααααΌαααααααααΆααα
ααΆαααα·αααΌααααααααααΆααα
α αΎααααααΆααααααΆααΌαααα
ααααΈααα’...
... αα»αα·αααααααααα αα
αααα’αααααααΆααα‘αΎα
αααααααααα·ααα
αααααΆαα·ααΆααα
α αΎαα₯α‘αΌαααααααα»αααΆαααΆαααααα»ααα»αα·ααα½αα
αααααα neurasthenia α
ααααα·αααΎα’αααα
αΌαα
α·αααααΆ ααααΆαααα·ααααα½αααΆαααΆα αα·ααα·αααααααα·ααααα’αααα π α’αααα’αΆα
αααααααα’ααααααααααααα
ααΎααα ααααααααααααα»αα ααΆα, αα, ααΆαααΆαα αααα»αααΉααααααΆαα
α·αααααΆαα!
ααααα: www.habr.com