Ayrat
С вебкой обычно лучше идёт. Имхо
Ayrat
Больше доверия.
Dmitry
Doge
у нас был курс по Функциональному анализу - там брались функции от функций и в функциях аргументами были другие функции. Абсолютно без связи с программированием, было интересно но очень непросто. Зато после ФП концепции зашли очень легко
Функан - это не про функции непосредственно, это про бесконечномерные пространства. Пространства функций - это просто один из вариантов таких пространств.
Vladislav
Dmitry
С вебкой обычно лучше идёт. Имхо
тоже так думаю, когда видно от кого звук исходит как-то приятнее
gsomix
Не открыла, да. Связь давно была на поверхности, требовалось как всегда формальное доказательство
Насколько мне известно, ТК — это современный язык изложения математических теорий, незачем ее саму по себе отмечать. :)
Dmitry
Попуг в кадре был?
если буду сидеть с вебкой - будет виден, может иногда и прилетать будет. Как орёт - точно будет слышно
gsomix
Это относится к boring math первого курса или уже можно немного поэксайтить по этому поводу?
Да, это интересно, и я ничего не понимаю в этом.
gsomix
Ну, и какое это имеет отношение к теме "ФП и ТК" тоже неясно. :(
Ayrat
Насколько мне известно, ТК — это современный язык изложения математических теорий, незачем ее саму по себе отмечать. :)
Я чот поизучал, мне показалось другое, паттерны, объекты и абстракции ТК можно натянуть куда угодно. Это даёт направление куда копать если что-то из ТК ещё "незамаплено" в изучаемой области.
gsomix
Звучит как "серебряная пуля" в математике. Нет, я останусь при своих.
gsomix
Наверное, нужно закончить на этом, я не очень люблю трепаться на темы, в которых плаваю.
Анна
А мне интересно, я ж до сих пор не поняла, надо ли ехать изучать ТК %)
Ayrat
Филип Вадлер в своём спиче давал референс на мапинг области знаний друг на друга и говорил что вот в CS нет теории которая должна соответствовать чему-то там в логике, но он работает над этим.
Он умный наверное.
Ayrat
А мне интересно, я ж до сих пор не поняла, надо ли ехать изучать ТК %)
Прям ехать? Куда собралась ехать?)
Dmitry
Я чот поизучал, мне показалось другое, паттерны, объекты и абстракции ТК можно натянуть куда угодно. Это даёт направление куда копать если что-то из ТК ещё "незамаплено" в изучаемой области.
Саавватеев в каком-то интервью говорил, что есть три фундаментальных шага в математическом понимании -
1 понятие концепции абстрактного числа
2 понятие того что числа могут быть разной природы - рациональные и иррациональные, трансцендентные
3 понятие "структур" (групп, полей...) и реляций между ними
Dmitry
и, кажется, я победил Твич
Ayrat
Он хорош да)
gsomix
Приезжал к нам в город с лекцией недавно. Хороший научпоп читает.
Ayrat
Я вот посмотрел на его кол-во выступлений и не понимаю как он к ним успевает готовиться
gsomix
Как преподаватели успевают готовиться к лекциям? :)
Ayrat
Как преподаватели успевают готовиться к лекциям? :)
В нормальном учебном заведении подготовка к лекции включена в рабочие часы)
Dmitry
Я вот посмотрел на его кол-во выступлений и не понимаю как он к ним успевает готовиться
Так он в принципе про одно и то же рассказывает, не?
Dmitry
Т.е. я видел у него пару БООООЛЬШИХ лекций, а остальное - их подмножества
Ayrat
Ну больших я не видел, но может быть и так. Не очень реально так штамповать выступления и работать
gsomix
В нормальном учебном заведении подготовка к лекции включена в рабочие часы)
Я про другое. Большое количество наработанного материала, который ты можешь как угодно компоновать, изменять, добавлять.
gsomix
Особенно в риалтайм, если нет привязки к слайдикам.
gsomix
Писанина на доске сильно развязывает руки. :)
Ayrat
А, в этом смысле. Не знаю, такого лекторского опыта не имею (
Ayrat
https://research.jetbrains.org/groups/plt_lab/schools?id=17
Если не за свои, то я б даже не думал, поехал бы.
Éminence grise
Ну это мы нафлудили 😊 А к вопросу о функциональном программирование. Я уже не раз (а раз 10) встречал людей, которые без какой либо базы в этом сами пытаются писать в функциональном стиле. Им тяжело и больно. Ихприходится подучивать. Но вот тенденцию я вижу. Причем сильно в общем по индустрии.
gsomix
Что ООП, что ФП, что пролог, что акторы.
Romɑn
Vasily
Такс, репозиторий на гитлабе создан, и я даже написал маленький ридми
Vasily
https://gitlab.com/groups/FinForFun
Vasily
Группа закрытая вроде
Vasily
Так что давай профиль,, добавлю тебя
Vasily
Добавил
Vasily
У тебя ник редкий
Vasily
А там посмотрим
gsomix
Ок. У меня возникла мысль, что вид типизации (статическая или динамическая) никак напрямую не влияет на качество программного обеспечения. И это только вопрос каких-то личностных предпочтений.
gsomix
Пойду посплю. Доброй ночи.
Vladislav
Ок. У меня возникла мысль, что вид типизации (статическая или динамическая) никак напрямую не влияет на качество программного обеспечения. И это только вопрос каких-то личностных предпочтений.
Я видел папиру с доказательством обратного. Найти ее я конечно, не смогу
gsomix
https://danluu.com/empirical-pl/
gsomix
> When I switched to VSCode, I fell in love with it. It's soo easy to use and fast on my slow computer!
But after using it for first 15 minutes I missed this function. I have 3 monitors and I usually work with 2 files at the same time...
gsomix
Ну, рассказывайте, как вы умудряетесь работать с кучей мониторов?
Ayrat
открываю окно вс кода и перетаскиваю туда что надо
Vladislav
Ну, рассказывайте, как вы умудряетесь работать с кучей мониторов?
У каждого монитора свои задачи)
Doge
Ну, рассказывайте, как вы умудряетесь работать с кучей мониторов?
Удобно на соседних экранах открыть браузер или вынести часть окон студии, например, с навигацией или поиском.
gsomix
Ну, браузер — ок. Хотя я не вижу большой разницы между простым переключением окон.
Крылатый
Скорость, контекст.
gsomix
Ок, можно на отдельный виртуальный стол кинуть.
gsomix
Все равно внимание теряется, что взгляд переместить на другой экран, что переключиться в рамках одного монитора.
gsomix
Ок, у меня так и не получилось привыкнуть к многоэкранной конфигурации.
gsomix
Да и виртуальные рабочие столы уже не так часто нужны, потому что в подавляющем большинстве случаев "одно приложение на весь экран".
gsomix
Я понимаю.
gsomix
Но не критично.
Pavel
Есть смысл повернуть один монитор вертикально, удобно смотреть длинные портянки кода
x
ещё тема отдельный маленький мониторчик для консоли
gsomix
ещё тема отдельный маленький мониторчик для консоли
Терминал в редакторе, quke-style терминал.
Dmitry
Klei
Надо какой-то механизм изобрести, чтобы знать, что обсуждение темы внезапно переехало во флудилку.
Vladislav
Éminence grise
С тремя мониторами не работал, но без второго уже неудобно. Еще бы оба были 4К ...