Alexander
минут через 15-25
Aliester
мы же хаскелисты - значит можем рассужать о судьбах
Leonid 🦇
запилите уже haskell_ru_blah
Anonymous
Евгений
Anonymous
Alexander
@the_arctic_cat https://github.com/qnikst/qnikst.github.com/blob/raw/site.hs
Alexander
сейчас найду где именно
Alexander
а не я не так сделал тут я явное поле сделал..
Alexander
так нечестно
Yurij
Евгений, вы марксист?
Yurij
Везде где не было буржуазных революций было феодальное болото
Aliester
капиталист
Евгений
"Марксист" звучит как "дарвинист". Я сторонник научного взгляда на историю
Yurij
Но используете почему-то марксистскую терминологию, в то время как историки в лице современных мидеивистов в принципе отказываютсяя от термина "феодализм"
Yurij
"Марксист" звучит как "дарвинист". Я сторонник научного взгляда на историю
Yurij
Я уже молчу про "буржуазный" или "пролетарский"
Yurij
Истмат был неплохой попыткой объяснить все, если вам нра, то ок
Евгений
"Биологи" в лице современных креационистов тоже отказываются от понятия эволюции
Yurij
При чем здесь это?
Yurij
Мы о терминах
Aliester
а как называется общественный строй Средневековья?
Yurij
Вы называете себя сторонником научного взгляда на историю, но упорно игнорируете реальные достижения в этой области
Евгений
Ну типа странно ссылаться на тот факт, что какие-то люди, проталкивающие религиозный взгляд на развитие общества, отказываются от тех или иных понятий
Yurij
Какого и где именно?
Yurij
а как называется общественный строй Средневековья?
Anonymous
Aliester
ну возьмем эру Ивана Грозного
Yurij
Евгений, вы некомпетентны ни разу
Yurij
Не позорьтесь
Vladislav
> Я сторонник научного взгляда на историю
История не наука и быть ей не может.
Vladislav
Как и математика.
A64m
и история и математика могут быть науками, какие проблемы-то?
Aliester
определение науки в студию
Yurij
История не наука, все верно
Yurij
Но в этом нет противорчия
Yurij
Не наука, ну и ничего страшного
A64m
да почему не наука-то?
Aliester
если уж вы математику называете не наукой, тогда наук как таковых не существует
Leonid 🦇
История это чисто поржать
Yurij
Методы исследования научные, но сама история не наука
Евгений
а как называется общественный строй Средневековья?
Предполагается что общество состоит из разрозренных "цивилизаций", которые проходят несколько стадий (от рождения до смерти). А вся история сводится к описанию становления этих "организмов"
Vladislav
Наука это то, где строятся гипотезы, подтверждаются экспериментами, а на их основе делаются предсказания.
Vladislav
Научный метод
A64m
Yurij
Так и говорите, что вы сторонник цивилизационного подхода
Yurij
Предполагается что общество состоит из разрозренных "цивилизаций", которые проходят несколько стадий (от рождения до смерти). А вся история сводится к описанию становления этих "организмов"
Vladislav
Математика и история не имеют экспериментального элемента
Yurij
Все верно
Yurij
История не наука, ее нельзя верифицировать
Евгений
Астрономия тоже не наука? :O
Aliester
A64m
верификация это детство философии науки, вы чего
Yurij
А философия науки это наука?
A64m
Vladislav
Астрономия тоже не наука? :O
Почему? Космологические гипотезы подтверждают экспериментально (с помощью телескопов и проч. детекторов)
Aliester
A64m
Yurij
История ведь не только бумажки, но и археология, а там есть экспериментальные области
Yurij
Первый научный метод исследования - это эксперимент. И как его прменяет "наука" история?
Yurij
Трасология и прочее
A64m
кана
хм, алиас типосемьи это же обобщение над просто тайп алиасом
кана
то есть в принципе при наличии типосемей type можно выпиливать
кана
type P a b = a -> b
type family T a b :: Type
type instance T a b = a -> b
кана
то есть, алиас семьи это как обычный тайп только с расширенным паттерн-метчингом и клозами
кана
в некоторых редких случаях семейства могут заменить даже GADTы
кана
кана
и меня такая возможность писать одинаковые вещи двумя способами немного настораживает
Vladislav
"Смотрим еще" аналогично эксперименту.
Vladislav
Космологические теории имеют предсказательную силу.
Aliester
https://habrahabr.ru/post/345366/
Aliester
в основном мы получаем константу а потом стараемся ее объяснить
Yurij
А зачем истории обязательно быть наукой в строгом смысле понятия "наука" и всяких критериев Поппера?