NI
Их собирались убирать?
Да. Но официально про это никто не говорит.
Size: a a a
2021 January 18
IK
Да. Но официально про это никто не говорит.
почему?
AA
я имею в виду что те работы, которые были до этого
ну и я их
AP
я имею в виду что те работы, которые были до этого
Я думаю, что примопы ничего не отменяют, а просто делают более дешевыми все/большинство прошлых работ
AA
Их собирались убирать?
это шутка про шутку про то, что из гхц после мерджей иной раз фичу убирают до релиза, к примеру в этой так боксед реф откатили, а в 19-ом году SIMD
MK
ну я вот играюсь со скоупед операциями
наверное то, что я делаю, бессмысленно если есть примопы
наверное то, что я делаю, бессмысленно если есть примопы
D
Новости ghc-steering-committee: разом вмёрджили delimited continuations primops и -XGHC2021
те самые, которые алексис разбирала в докладе про мтл и эффекты?
AP
те самые, которые алексис разбирала в докладе про мтл и эффекты?
Ну она не показывала примопы там. Но да, это все ее работа (проползал) и к ее библиотеке непосредственно относится
AA
Syntax:
EmptyCase,
PostfixOperators,
TupleSections,
ImportQualifiedPost,
NamedFieldPuns,
BangPatterns
Literals:
BinaryLiterals,
HexFloatLiterals,
NumericUnderscores
Types:
GADTSyntax,
RankNTypes,
TypeApplications,
PolyKinds,
StandaloneKindSignatures,
ExistentialQuantification,
TypeOperators,
ConstraintKinds
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
EmptyCase,
PostfixOperators,
TupleSections,
ImportQualifiedPost,
NamedFieldPuns,
BangPatterns
Literals:
BinaryLiterals,
HexFloatLiterals,
NumericUnderscores
Types:
GADTSyntax,
RankNTypes,
TypeApplications,
PolyKinds,
StandaloneKindSignatures,
ExistentialQuantification,
TypeOperators,
ConstraintKinds
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
хорошо они популярные экстеншоны избежали, только банги пролезли
MK
хорошо они популярные экстеншоны избежали, только банги пролезли
ну STV есть
MK
флексиблы есть, MPTC есть
AP
хорошо они популярные экстеншоны избежали, только банги пролезли
Да, с бангов можно сказать движуха началась, белобрыс смешно если бы они не попали
MK
дерайвы эти несчастные
AP
Жаль что лямбда-кейса нет. \оф сделал ему bad rap как говорится
MK
дерайвинг виа только не включили(
AP
дерайвы эти несчастные
Ага, весь вагон старья, а виа побоялись
AP
дерайвинг виа только не включили(
Говорят, «слишком новое»
AA
флексиблы есть, MPTC есть
МПТЦ бесполезны без фундепов или фемилей
MK
Говорят, «слишком новое»
кажется кто-то в комитете слишком старый
AP
МПТЦ бесполезны без фундепов или фемилей
Ну вот юзер будет явно выбирать