I
@happy_bracket прикинь, а в purescript есть type-holes как в idris (только код по ним нельзя генерить)
Size: a a a
2020 July 07
(
@happy_bracket прикинь, а в purescript есть type-holes как в idris (только код по ним нельзя генерить)
кто?
I
кто?
Ну как эти штуки называются с вопросиком
vzipWith f xs ys = ?vzipWith_rhs
(
а, просто holes
I
https://i.gyazo.com/f0159453caa8d685b0a8e028bcc6fbe2.png
ну да, просто дырки
как бы их с хкт не путать
ну да, просто дырки
как бы их с хкт не путать
Kd
Парни, вы писаете стоя или сидя?
public poll
Я парень и писаю стоя! – 60
👍👍👍👍👍👍👍 42%
Я ВЛАДЕЛЕЦ ПОЛОВОГО ЧЛЕНА И ВАШ УБЛЮДСКИЙ ТРАНСФОБНЫЙ ОПРОС ОСКОРБЛЯЕТ МЕНЯ – 41
👍👍👍👍👍 29%
Я парень и писаю сидя! – 29
👍👍👍 20%
Я ДЕВУШКА И ПИСАЮ СТОЯ – 13
👍👍 9%
👥 143 people voted so far.
public poll
Я парень и писаю стоя! – 60
👍👍👍👍👍👍👍 42%
Я ВЛАДЕЛЕЦ ПОЛОВОГО ЧЛЕНА И ВАШ УБЛЮДСКИЙ ТРАНСФОБНЫЙ ОПРОС ОСКОРБЛЯЕТ МЕНЯ – 41
👍👍👍👍👍 29%
Я парень и писаю сидя! – 29
👍👍👍 20%
Я ДЕВУШКА И ПИСАЮ СТОЯ – 13
👍👍 9%
👥 143 people voted so far.
Kd
ой наверно как то не так линканул
AK
Konstantin dmz9
Парни, вы писаете стоя или сидя?
public poll
Я парень и писаю стоя! – 60
👍👍👍👍👍👍👍 42%
Я ВЛАДЕЛЕЦ ПОЛОВОГО ЧЛЕНА И ВАШ УБЛЮДСКИЙ ТРАНСФОБНЫЙ ОПРОС ОСКОРБЛЯЕТ МЕНЯ – 41
👍👍👍👍👍 29%
Я парень и писаю сидя! – 29
👍👍👍 20%
Я ДЕВУШКА И ПИСАЮ СТОЯ – 13
👍👍 9%
👥 143 people voted so far.
public poll
Я парень и писаю стоя! – 60
👍👍👍👍👍👍👍 42%
Я ВЛАДЕЛЕЦ ПОЛОВОГО ЧЛЕНА И ВАШ УБЛЮДСКИЙ ТРАНСФОБНЫЙ ОПРОС ОСКОРБЛЯЕТ МЕНЯ – 41
👍👍👍👍👍 29%
Я парень и писаю сидя! – 29
👍👍👍 20%
Я ДЕВУШКА И ПИСАЮ СТОЯ – 13
👍👍 9%
👥 143 people voted so far.
а где "Я УГОРЕЛ ПО RX И ПУСКАЮ СТРИМ ПОД СЕБЯ!" ?
Kd
а где "Я УГОРЕЛ ПО RX И ПУСКАЮ СТРИМ ПОД СЕБЯ!" ?
зайди на канал там кнопочка обсудить, вот туда и пиши )
Kd
хотя наверно местное сообщество не поймет
AM
Читать бесплатно без регистрации и смс на высокой скорости
Kd
NV
Не, от части это правильное движение. Например многие лекции можно и нужно заменять видео. Просто потому, что тогда их будет больше и они будут разнообразнее. Но вот практические занятия и экзамены - это довольно утомительно. Нагрузка на препов вырастает в 2-3 раза.
Для меня как и студенту и преподу удаленка стала хуже нормальных пар. Намного меньше взаимодействия между студентами и преподом, из-за чего сложно например понять кому из студентов сложно выполнить задание
NV
Если говорить про лекции, то да, там особо разницы нет, но у нас и так все материалы лекций публикуются
AN
Для меня как и студенту и преподу удаленка стала хуже нормальных пар. Намного меньше взаимодействия между студентами и преподом, из-за чего сложно например понять кому из студентов сложно выполнить задание
Разумеется. Удаленка имеет смысл тогда, когда нет возможность учиться очно. Например для глубокой провинции. Ну и я говорил, что ползены отдельные элементы. Лекции, интерактивные занятия, удаленная сдача и проверка домашек (вместо таскания тонны листочков).
NV
Из перечисленного у нас и так все было по удалёнке
AN
Из перечисленного у нас и так все было по удалёнке
У вас- это где? А так, да, все к этому шло. Но буст хороший.
NV
У вас- это где? А так, да, все к этому шло. Но буст хороший.
Университет Иннополис