ะขะธั…ะพ ะธ ะฝะตะทะฐะผะตั‚ะฝะพ, ะฒั‹ัˆะปะฐ ะฝะพะฒะฐั ะฒะตั€ัะธั ะธะทะฒะตัั‚ะฝะพะณะพ ะบะพะผะฟะธะปัั‚ะพั€ะฐ ัะทั‹ะบะฐ Haskell.

เปƒเบ™เบšเบฑเบ™เบ”เบฒเบเบฒเบ™เบ›เปˆเบฝเบ™เปเบ›เบ‡:

  • ะŸะพะดะดะตั€ะถะบะฐ ะฟั€ะพั„ะฐะนะปะธะฝะณะฐ ะฝะฐ 64-ะฑะธั‚ะฝั‹ั… ัะธัั‚ะตะผะฐั… ั Windows.
  • GHC ั‚ะตะฟะตั€ัŒ ั‚ั€ะตะฑัƒะตั‚ LLVM ะฒะตั€ัะธะธ 7.
  • ะœะตั‚ะพะด fail ะพะบะพะฝั‡ะฐั‚ะตะปัŒะฝะพ ะฒั‹ะฝะตัะตะฝ ะธะท ะบะปะฐััะฐ Monad, ั‚ะตะฟะตั€ัŒ ะพะฝ ะฝะฐั…ะพะดะธั‚ัั ะฒ ะบะปะฐััะต MonadFail (ั„ะธะฝะฐะปัŒะฝะฐั ั‡ะฐัั‚ัŒ MonadFail Proposal).
  • ะฏะฒะฝะพะต ะฟั€ะธะผะตะฝะตะฝะธะต ั‚ะธะฟะฐ (type application) ั‚ะตะฟะตั€ัŒ ั€ะฐะฑะพั‚ะฐะตั‚ ะธ ะดะปั ัะฐะผะธั… ั‚ะธะฟะพะฒ, ะฐ ะฝะต ั‚ะพะปัŒะบะพ ะดะปั ะทะฝะฐั‡ะตะฝะธะน.
  • forall ั‚ะตะฟะตั€ัŒ ัะฒะปัะตั‚ัั ะบะปัŽั‡ะตะฒั‹ะผ ัะปะพะฒะพะผ ะฒ ะฝะตะทะฐะฒะธัะธะผะพัั‚ะธ ะพั‚ ะบะพะฝั‚ะตะบัั‚ะฐ, ั‡ั‚ะพ ะฟะพะทะฒะพะปัะตั‚ ะธัะฟะพะปัŒะทะพะฒะฐั‚ัŒ ะตะณะพ ะฒ type families ะธ rewrite rules.
  • ะฃะปัƒั‡ัˆะตะฝ ะฐะปะณะพั€ะธั‚ะผ ะบะพะผะฟะพะฝะพะฒะบะธ ะบะพะดะฐ ะดะปั x86.
  • เบเบฒเบ™โ€‹เบ›เปˆเบฝเบ™โ€‹เปเบ›เบ‡โ€‹เบญเบทเปˆเบ™เป†โ€‹เบˆเปเบฒโ€‹เบ™เบงเบ™โ€‹เบซเบผเบฒเบโ€‹.

เปเบซเบผเปˆเบ‡เบ‚เปเป‰เบกเบนเบ™: linux.org.ru

เป€เบžเบตเปˆเบกเบ„เบงเบฒเบกเบ„เบดเบ”เป€เบซเบฑเบ™