I
Кто-нибудь может по простому объяснить отличие ADT от GADT?
Size: a a a
2020 May 03
(
Кто-нибудь может по простому объяснить отличие ADT от GADT?
Попробуй пример из вики переписать на ADT
data Type :: * -> * where
Char :: Type Char
Int :: Type Int
List :: Type a -> Type [a]
I
просил же "по простому" 😒
(
Короче, гадт отличаются от адт тем, что конструкторы гадт умеют сами заполнять дырку типа, ограничивая возможности к созданию типов с произвольными дырками
(
Что-то вроде
sealed class Expr<A> {
data class EBool(val b: Boolean): Expr<Bool>()
data class EInt(val i: Int): Expr<Int>()
}ML
Короче, гадт отличаются от адт тем, что конструкторы гадт умеют сами заполнять дырку типа, ограничивая возможности к созданию типов с произвольными дырками
Проще
2020 May 04
BP
Хотя ладно, вопрос о ЧС был, если у вас такое же разделение на ЧС и ЧП, то ЧС не вводят явно не по этом причинам, и на экономику оно, насколько я это понимаю, повлиять не должно.
Наоборот же черезвычайнное положения не приводит.
(
Так
(
Нужна помощь физиков
ch
Нужна помощь физиков
(
Считается ли силой тяги при расчёте подъемной силы крыла инерция прикреплённого тела?
(
У меня есть высокие подозрения, что я сейчас фигни сказанул, но я в физике очень слаб
k
Считается ли силой тяги при расчёте подъемной силы крыла инерция прикреплённого тела?
Без бутылки не разобраца
(
Без бутылки не разобраца
Соглы, ох уже эта аэродинамика
(
Я просто раскурить не могу, как посчитать пресловутую подъемную силу у дельтаплана, а статейки студентов в интернетике чёт не помогают
AN
У меня есть высокие подозрения, что я сейчас фигни сказанул, но я в физике очень слаб
да, набор несвязных слов
AN
Я просто раскурить не могу, как посчитать пресловутую подъемную силу у дельтаплана, а статейки студентов в интернетике чёт не помогают
Подъемная сила - это весьма сложная штука, она зависит от миллиона факторов и нормально ее умеют считать только эродинамики (а там примерно такая же физика, как SQL-программирование, больше на шаманство похоже и сплошные численные расчеты). Скорее всего там есть полу-эмпирические формулы для конкретной формы крыла
AN
Подъемная сила зависит от скорости, а скорость создается тягой. Как скорость зависит от тяги - это тоже зависит много от чего. Главным образом от формы. Есть формула Стокса для шарика, но дельтаплан же не шарик...
(
Самый большой вопрос в случае дельтаплана у меня - это откуда берется тяга в формулу
Y + P = ..., где Y это собственно подъемная сила, а P тяга (формулу с вики взял)