Anatolii
ну у нас юзеры пока все в нашей тайм зоне:)
Anatolii
ну и откат у нас далется очень легко
Anatolii
так что репорты уже тром и до обеда:)
Leonid 🦇
а у нас они приходят к обеду и уходят в 11
Leonid 🦇
в 23
Alexander
а вот у нас в америке
Alexander
и это не удобно, могу попросить релиз срочно-срочно т.к. там меганужная фишка для демо, которое через полчаса показывать будут
Alexander
причем эта меганужная фишка у них уже неделю есть, и они так и не сказали
Sherzod
надо сделать бота что-бы сидел в куче чатов по схожей тематике, и если кого-то банят за спам в одном - банить везде.
Хаскеломорфные, когда бота с норм ИИ уровня 16 летнего подростка запилите?
Евгений
нужно как в англии с неписанной конституцией
Ты знаешь как в Англии с конституцией? Если разные древние свободы постановлений, противоречащие друг другу. Там прыжков и споров только больше :) И "грань" толще
Евгений
Хаскеломорфные, когда бота с норм ИИ уровня 16 летнего подростка запилите?
Это невозможно. Человек континуально-дискретный, а не дискретный
Leonid 🦇
ИИ это только на питоне же
Sherzod
Зачем тогда нужен хаскель? Задачи дискретной математики решать?
Leonid 🦇
фибоначи же
Евгений
Ты знаешь как в Англии с конституцией? Если разные древние свободы постановлений, противоречащие друг другу. Там прыжков и споров только больше :) И "грань" толще
Представь, что кто-то начнёт вытаскивать ваши с волизардом слова и разрешения ссылаться на них :) Типа "а в августе кникст разрешил похожую рекламу"
Вот это будет как в Англии
Евгений
Зачем тогда нужен хаскель? Задачи дискретной математики решать?
Писать языки с зависимыми типами
Sherzod
Что такое зависимые типы?
Sherzod
Сегодня пятница, думаю сегодня дозволено поспрашивать глупые вопросы без гуглинга
A64m
ИИ = умножение вектора на матрицу
Anonymous
опять эти скучные вопросы
Anonymous
кмк стоило бы запилить пост на telegra.ph для таких людей
Λrtem
простите
Leonid 🦇
как там было "разработаю ИИ, чтобы девкам слал..."
Mikhailъ⃞
Что такое зависимые типы?
меня умные люди побьют, но если сильно упрощенно, то однажды тебе придет в голову идея вида: "а что если я буду собирать типы на ходу по заранее определенным правилам - ну как инстансы типов, только аж типы"
потом ты начнешь думать о том, что это тебе даст, и из веселых побочных эффектов можно заметить, что теперь типы функций рассказывают чуть свою историю
в том же идрисе вектора (там это листы по факту вроде) типизированы над размером - вроде чет типа
Vector Size ElemType
а такие приколы позволяют утверждать, что, например, конкатенация вектора размера к и вектора размера н дает вектор размера к+н
и все это прямо в сигнатуре конкатенации
concat : Vector k a -> Vector n a -> Vector (k+n) a
Dmitry
сделали ж бота, который девок разводил посылать фотки топлесс
Dmitry
но наверное не на хаскелле.
Leonid 🦇
я думаю бот разводящий мужиков на фотки пенисов был бы куда успешнее и проще
Dmitry
но кому он нужен?
Leonid 🦇
учёным!
Dmitry
не просто ученым, а очень маленькой группе учёных. вероятно, в этой группе нет достаточного количества умеющих в AI
Dmitry
видать, перевелись с времен Тьюринга
Sherzod
меня умные люди побьют, но если сильно упрощенно, то однажды тебе придет в голову идея вида: "а что если я буду собирать типы на ходу по заранее определенным правилам - ну как инстансы типов, только аж типы"
потом ты начнешь думать о том, что это тебе даст, и из веселых побочных эффектов можно заметить, что теперь типы функций рассказывают чуть свою историю
в том же идрисе вектора (там это листы по факту вроде) типизированы над размером - вроде чет типа
Vector Size ElemType
а такие приколы позволяют утверждать, что, например, конкатенация вектора размера к и вектора размера н дает вектор размера к+н
и все это прямо в сигнатуре конкатенации
concat : Vector k a -> Vector n a -> Vector (k+n) a
Спасибо. Пока мне отвечали полез в гугл. Первые два абзаца еще для людей, сразу представил таплы/кортежи, но потом пошла дичяйшая теория множеств или как там :)
Sherzod
Формулы всякие
Aragaer
я чот про ученых вспомнил комикс, но оно совсем не годится для культурной компании
Dmitry
про журналистов?
Aragaer
не, то еще ладно
Aragaer
именно про "но кому оно нужно" и ученых
Dmitry
успех это сделать бота, который долго ломается, но потом (в обмен на что-то) посылает спрашивающему фотку
Mikhailъ⃞
Спасибо. Пока мне отвечали полез в гугл. Первые два абзаца еще для людей, сразу представил таплы/кортежи, но потом пошла дичяйшая теория множеств или как там :)
могу предложить почитать конспекты лекций штукенберга как входную точку в тт, только их читал
ничотак
Leonid 🦇
фотку спрашивающего
Sherzod
A64m
погодите-ка. Но ведь формулы - как раз для людей
Mikhailъ⃞
теория типов
A64m
конечно уверен
Leonid 🦇
объясните мне зависимые типы на примере машин или животных
Sherzod
Пример-сравнение хаскеля с джавой не помешал бы
Anonymous
аааааааа
Sherzod
Типо, вот такая есть задача, джава не может, а с хаскелем можна уот так и все
Sherzod
Именнно задача, из прода
Sherzod
Не выдуманая математика
Anonymous
нет задачи с которой справляется джава но не справится хаскель
Anonymous
вопрос в проверке корректности
Leonid 🦇
есть задача не получать NPE, а джаве нельзя в хаскеле можно
Sherzod
нет задачи с которой справляется джава но не справится хаскель
Мне как раз нужно доказательство этого как пример
Cheese
на Хаскелле можно писать красивый и понятный код, а на жабе нельзя
A64m
различия хаскеля с жавой - минимальные. Оба языка в стиле 80-х, ГЦ-с поколениями, параметрический полиморфизм на универсальном представлении, стирание типов
Sherzod
есть задача не получать NPE, а джаве нельзя в хаскеле можно
А причем тут типы то? Можно монадки завести и в джаву
Sherzod
Result, Option
Anonymous
нельзя конечно же
Sherzod
В шарпы завезли же
Anonymous
что завезли?
Anonymous
в шарпе нет алгтд
Sherzod
Option<T> и Result<T>
Aleksei (astynax)
В Java любая ссылка может быть null. И никаким вводом optional types этого не изменить.
Aleksei (astynax)
Сам то Optional есть в java
Sherzod
В Java любая ссылка может быть null. И никаким вводом optional types этого не изменить.
Хорошо, джава тут боком, давайте шарп, ок?
Anonymous
google.com/#q=adt+computer+science
Dmitry
есть задача не получать NPE, а джаве нельзя в хаскеле можно
Sherzod
Или даже джава
Aleksei (astynax)
В С# вроде обещали завести ADT
Anonymous
омг