Π’ΠΈΡ ΠΎ ΠΈ Π½Π΅Π·Π°Π±Π΅Π»Π΅ΠΆΠΈΠΌΠΎ, ΠΈΠ·Π»Π΅Π·Π΅ Π½ΠΎΠ²Π° Π²Π΅ΡΡΠΈΡ Π½Π° ΠΈΠ·Π²Π΅ΡΡΠ½ΠΈΡ ΠΊΠΎΠΌΠΏΠΈΠ»Π°ΡΠΎΡ Π½Π° Haskell.
Π‘ΡΠ΅Π΄ ΠΏΡΠΎΠΌΠ΅Π½ΠΈΡΠ΅:
- ΠΠΎΠ΄Π΄ΡΡΠΆΠΊΠ° Π½Π° ΠΏΡΠΎΡΠ°ΠΉΠ»ΠΈΠ½Π³ Π½Π° 64-Π±ΠΈΡΠΎΠ²ΠΈ ΡΠΈΡΡΠ΅ΠΌΠΈ Ρ Windows.
- GHC ΡΠ΅Π³Π° ΠΈΠ·ΠΈΡΠΊΠ²Π° LLVM Π²Π΅ΡΡΠΈΡ 7.
- ΠΠ΅ΡΠΎΠ΄ΡΡ fail ΠΎΠΊΠΎΠ½ΡΠ°ΡΠ΅Π»Π½ΠΎ Π΅ ΠΈΠ·ΠΌΠ΅ΡΡΠ΅Π½ ΠΎΡ ΠΊΠ»Π°ΡΠ° Monad ΠΈ ΡΠ΅Π³Π° ΡΠ΅ Π½Π°ΠΌΠΈΡΠ° Π² ΠΊΠ»Π°ΡΠ° MonadFail (ΡΠΈΠ½Π°Π»Π½Π°ΡΠ° ΡΠ°ΡΡ Π½Π° Proposal Π·Π° MonadFail).
- Π―Π²Π½ΠΎΡΠΎ ΠΏΡΠΈΠ»Π°Π³Π°Π½Π΅ Π½Π° ΡΠΈΠΏ (type application) Π²Π΅ΡΠ΅ ΡΠ°Π±ΠΎΡΠΈ ΠΈ Π·Π° ΡΠ°ΠΌΠΈΡΠ΅ ΡΠΈΠΏΠΎΠ²Π΅, Π° Π½Π΅ ΡΠ°ΠΌΠΎ Π·Π° ΡΡΠΎΠΉΠ½ΠΎΡΡΠΈ.
- forall Π²Π΅ΡΠ΅ Π΅ ΠΊΠ»ΡΡΠΎΠ²Π° Π΄ΡΠΌΠ° Π½Π΅Π·Π°Π²ΠΈΡΠΈΠΌΠΎ ΠΎΡ ΠΊΠΎΠ½ΡΠ΅ΠΊΡΡΠ°, ΠΊΠΎΠ΅ΡΠΎ ΠΏΠΎΠ·Π²ΠΎΠ»ΡΠ²Π° Π΄Π° ΡΠ΅ ΠΈΠ·ΠΏΠΎΠ»Π·Π²Π° Π² type families ΠΈ rewrite rules.
- ΠΠΎΠ΄ΠΎΠ±ΡΠ΅Π½ Π°Π»Π³ΠΎΡΠΈΡΡΠΌ Π·Π° ΠΊΠΎΠΌΠΏΠΎΠ½ΠΈΡΠ°Π½Π΅ Π½Π° ΠΊΠΎΠ΄ Π·Π° x86.
- ΠΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ Π΄ΡΡΠ³ΠΈ ΠΏΡΠΎΠΌΠ΅Π½ΠΈ.
ΠΠ·ΡΠΎΡΠ½ΠΈΠΊ: linux.org.ru
