ЗП
и eval in code
Size: a a a
2021 March 11
MK
AA
да магваерострадание только заработало, че там документировать-то
JS
я что-то даже не заметил, как
GHC2021 родился, а его успели уже не только родить, но и в GHC воткнутьЗП
AA
* Syntax:
* Literals:
* Types:
* Type signatures:
* Class and instances declarations:
* Deriving mechanism:
EmptyCase, PostfixOperators, TupleSections, ImportQualifiedPost, NamedFieldPuns, BangPatterns* Literals:
BinaryLiterals, HexFloatLiterals, NumericUnderscores* Types:
GADTSyntax, RankNTypes, TypeApplications, PolyKinds, StandaloneKindSignatures, ExistentialQuantification, TypeOperators, ConstraintKinds, NoCUSKs (replaced by StandaloneKindSignatures)* Type signatures:
ExplicitForAll, KindSignatures, NamedWildCards, ScopedTypeVariables* Class and instances declarations:
FlexibleContexts, FlexibleInstances, MultiParamTypeClasses, ConstrainedClassMethods, InstanceSigs, TypeSynonymInstances* Deriving mechanism:
DeriveDataTypeable, DeriveFoldable, DeriveFunctor, DeriveTraversable, StandaloneDeriving, EmptyDataDeriving, DeriveLift, GeneralisedNewtypeDeriving, DeriveGenericJS
а в какой релиз попадёт?
AA
9.2
R
* Syntax:
* Literals:
* Types:
* Type signatures:
* Class and instances declarations:
* Deriving mechanism:
EmptyCase, PostfixOperators, TupleSections, ImportQualifiedPost, NamedFieldPuns, BangPatterns* Literals:
BinaryLiterals, HexFloatLiterals, NumericUnderscores* Types:
GADTSyntax, RankNTypes, TypeApplications, PolyKinds, StandaloneKindSignatures, ExistentialQuantification, TypeOperators, ConstraintKinds, NoCUSKs (replaced by StandaloneKindSignatures)* Type signatures:
ExplicitForAll, KindSignatures, NamedWildCards, ScopedTypeVariables* Class and instances declarations:
FlexibleContexts, FlexibleInstances, MultiParamTypeClasses, ConstrainedClassMethods, InstanceSigs, TypeSynonymInstances* Deriving mechanism:
DeriveDataTypeable, DeriveFoldable, DeriveFunctor, DeriveTraversable, StandaloneDeriving, EmptyDataDeriving, DeriveLift, GeneralisedNewtypeDeriving, DeriveGenericне знал про
> Haskell 98 prohibits class method types to mention constraints on the class type variable
> The restriction is a pretty stupid one in the first place, so ConstrainedClassMethods is implied by MultiParamTypeClasses.
ConstrainedClassMethods. Погуглил:> Haskell 98 prohibits class method types to mention constraints on the class type variable
> The restriction is a pretty stupid one in the first place, so ConstrainedClassMethods is implied by MultiParamTypeClasses.
R
* Syntax:
* Literals:
* Types:
* Type signatures:
* Class and instances declarations:
* Deriving mechanism:
EmptyCase, PostfixOperators, TupleSections, ImportQualifiedPost, NamedFieldPuns, BangPatterns* Literals:
BinaryLiterals, HexFloatLiterals, NumericUnderscores* Types:
GADTSyntax, RankNTypes, TypeApplications, PolyKinds, StandaloneKindSignatures, ExistentialQuantification, TypeOperators, ConstraintKinds, NoCUSKs (replaced by StandaloneKindSignatures)* Type signatures:
ExplicitForAll, KindSignatures, NamedWildCards, ScopedTypeVariables* Class and instances declarations:
FlexibleContexts, FlexibleInstances, MultiParamTypeClasses, ConstrainedClassMethods, InstanceSigs, TypeSynonymInstances* Deriving mechanism:
DeriveDataTypeable, DeriveFoldable, DeriveFunctor, DeriveTraversable, StandaloneDeriving, EmptyDataDeriving, DeriveLift, GeneralisedNewtypeDeriving, DeriveGenericудивительно, что они
PolyKinds добавили, это ж прям anti-boring breaking changeAA
да, да и скоупед тайп вариайблес тоже
AA
нокускс ноже, думаю, че-то поломает, но не боринг код в основном
R
да, да и скоупед тайп вариайблес тоже
он ломающий, но не настолько нескучный как
PolyiKnds, так что это удивляет чуть меньше. Хотя вон Митчелл говорил, что и полиморфизм редко использует, так что для него наверное явный форалл — это уже дискотека