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