MP
но вот кого-нибудь из вас интересует психотехника для достижения свободы воли?
... ну и вот
... ну и вот
Size: a a a
2020 August 22
MB
А где-то было про психотехнику?
SS
Я вспомнил, что мне напоминает такой стиль общения: https://ekabu.ru/184183-hudozhnik-iz-nyu-yorka-risuet-komiksy-v-kotoryh-na-primere-inoplanetyan-pokazyvaet-lyudskie-strannosti.html — возможно я бы общался таким образом, если бы хотел скрыть свою идентичность (звучит как идея для стартапа — пишешь текст на русском, а он приводит его всегда к одному стилю)
p
Я вспомнил, что мне напоминает такой стиль общения: https://ekabu.ru/184183-hudozhnik-iz-nyu-yorka-risuet-komiksy-v-kotoryh-na-primere-inoplanetyan-pokazyvaet-lyudskie-strannosti.html — возможно я бы общался таким образом, если бы хотел скрыть свою идентичность (звучит как идея для стартапа — пишешь текст на русском, а он приводит его всегда к одному стилю)
хороший уровень юмора на первый взгляд, попытка работы со смыслами
CD
хороший уровень юмора на первый взгляд, попытка работы со смыслами
Ты случайно на синдром Аспергера на проверялся?
CD
По-моему объяснение тут простое, если ты не специально так пишешь.
Ц
вы что тут, с нейроботом общаетесь?
SS
Я вспомнил, что мне напоминает такой стиль общения: https://ekabu.ru/184183-hudozhnik-iz-nyu-yorka-risuet-komiksy-v-kotoryh-na-primere-inoplanetyan-pokazyvaet-lyudskie-strannosti.html — возможно я бы общался таким образом, если бы хотел скрыть свою идентичность (звучит как идея для стартапа — пишешь текст на русском, а он приводит его всегда к одному стилю)
Что-то в этом году захотелось руководить НИС у какой-нибудь из команд вышкинских комплингвистов помимо веб-дева, если получится — закину сюда результат 😅
Г
Подскажите: defn- вообще никак не экспортировать?
Г
Или есть какой-то трюк?
ST
Или есть какой-то трюк?
есть
#'namespace/private-nameMK
Я тут haskell смотрю.
Система типов, тесты не нужны, если скомпилилось - значит работает. Ага, щаз.
Оно компилится, и если запросить x,
Т.е. компилиятор не проверяет, что все возможнные опции в паттерн-матчинге описаны.
Да, можно варнинг вывести, да можено падать на варнингах.
Лучше самому палочкой потыкать, чем на штампы полагаться.
PS. А потом еще зависимых типов захочется...
Система типов, тесты не нужны, если скомпилилось - значит работает. Ага, щаз.
data X = A | B
foo A = 1
x = foo B
Оно компилится, и если запросить x,
то оно падает.Т.е. компилиятор не проверяет, что все возможнные опции в паттерн-матчинге описаны.
Да, можно варнинг вывести, да можено падать на варнингах.
Лучше самому палочкой потыкать, чем на штампы полагаться.
PS. А потом еще зависимых типов захочется...
V0
Я тут haskell смотрю.
Система типов, тесты не нужны, если скомпилилось - значит работает. Ага, щаз.
Оно компилится, и если запросить x,
Т.е. компилиятор не проверяет, что все возможнные опции в паттерн-матчинге описаны.
Да, можно варнинг вывести, да можено падать на варнингах.
Лучше самому палочкой потыкать, чем на штампы полагаться.
PS. А потом еще зависимых типов захочется...
Система типов, тесты не нужны, если скомпилилось - значит работает. Ага, щаз.
data X = A | B
foo A = 1
x = foo B
Оно компилится, и если запросить x,
то оно падает.Т.е. компилиятор не проверяет, что все возможнные опции в паттерн-матчинге описаны.
Да, можно варнинг вывести, да можено падать на варнингах.
Лучше самому палочкой потыкать, чем на штампы полагаться.
PS. А потом еще зависимых типов захочется...
Спасибо, добавил пример для вброса фанатикам
T
Я тут haskell смотрю.
Система типов, тесты не нужны, если скомпилилось - значит работает. Ага, щаз.
Оно компилится, и если запросить x,
Т.е. компилиятор не проверяет, что все возможнные опции в паттерн-матчинге описаны.
Да, можно варнинг вывести, да можено падать на варнингах.
Лучше самому палочкой потыкать, чем на штампы полагаться.
PS. А потом еще зависимых типов захочется...
Система типов, тесты не нужны, если скомпилилось - значит работает. Ага, щаз.
data X = A | B
foo A = 1
x = foo B
Оно компилится, и если запросить x,
то оно падает.Т.е. компилиятор не проверяет, что все возможнные опции в паттерн-матчинге описаны.
Да, можно варнинг вывести, да можено падать на варнингах.
Лучше самому палочкой потыкать, чем на штампы полагаться.
PS. А потом еще зависимых типов захочется...
Паттернматч не завязывает тебя на типе
Ты можешь добавить перегрузку
foo 0 = 0 и оно будет работать с датой и интом
Поэтому он и не предпреждает, что все варианты матчинга перечислены
Ты можешь добавить перегрузку
foo 0 = 0 и оно будет работать с датой и интом
Поэтому он и не предпреждает, что все варианты матчинга перечислены
MK
Паттернматч не завязывает тебя на типе
Ты можешь добавить перегрузку
foo 0 = 0 и оно будет работать с датой и интом
Поэтому он и не предпреждает, что все варианты матчинга перечислены
Ты можешь добавить перегрузку
foo 0 = 0 и оно будет работать с датой и интом
Поэтому он и не предпреждает, что все варианты матчинга перечислены
а если я явно скажу
foo :: X-> Num ?MK
а в твоем случает сигнатура будет
foo :: X | Num -> Num ?T
а если я явно скажу
foo :: X-> Num ?Скорее всего что-то типа
nonexhaustive patterns in foo ошибка
nonexhaustive patterns in foo ошибка
T
а в твоем случает сигнатура будет
foo :: X | Num -> Num ?Я не хаскелист, не знаю
T
Мб. Посмотри