Телеграмм чат группы pofftop страница 12078

15:31пожаловаться #1

AN

Alexander Nozik in Programming Offtop

Andrew Mikhaylov

Не, в офис я совершенно точно ездить не буду — во-первых, он у нас переехал к чёрту на кулички, во-вторых, там полно ковидиотов сидит.

В офис да. Я на пары. Это приятнее, хотя и далековато

15:31пожаловаться #2

(

Alexander Nozik

Там нигде не сказано, что должен быть полиморфный по типу конструктор

Даже в изначальном, категорном определении сказано

15:31пожаловаться #3

I

Нужны, в контракте есть конструктор pure : a -> f<a>

А зачем это нужно моноиду в категории эндофункторов. Для этого достаточно флатМапа.

Виталий Брагилевский — JavaScript на службе у теоретической информатики

15:31пожаловаться #4

AN

Alexander Nozik in Programming Offtop

Igor

По сути перефразировал Брагилеского https://youtu.be/T66wMYbtfNA?t=3743

YouTube

Ближайшая конференция — HolyJS 2020 Moscow
25-28 ноября, Online
Подробности и билеты: https://holyjs-moscow.ru/

. При изучении теоретической информатики можно использовать самые разнообразные инструменты. Пожалуй, чаще всего нужно доказывать теоремы по индукции, но программированию место тоже можно найти.

В этом докладе мы расскажем об одном подходе к изучению теоретической информатики (а конкретнее, теории алгоритмов), при котором программирование на JavaScript становится основным видом деятельности учащегося. Мы пройдёмся по основным разделам теории и посмотрим, чем нам там поможет Javascript.

Для начала мы введём три модели вычислений (λ-исчисление, рекурсивные функции и машины Тьюринга), покрутим их немного, чтобы разобраться, что к чему, а потом попробуем применить к теории вычислимости (там доказывают существование неразрешимых задач) и теории сложности вычислений (там классифицируют задачи по объёмам требуемых для их решения ресурсов — времени и памяти). Не то чтобы Javascript позволяет проделывать…

Круто...

15:31пожаловаться #5

(

А зачем это нужно моноиду в категории эндофункторов. Для этого достаточно флатМапа.

Как значения в вычисление вводить будешь?

15:32пожаловаться #6

I

Как значения в вычисление вводить будешь?

Любым другим способом.

15:40пожаловаться #7

AN

Alexander Nozik in Programming Offtop

Чего-то так себе там чат. Думал Елизарова почитать, а там cpu - виртуальная машина и девопс на С

15:41пожаловаться #8

AM

Andrew Mikhaylov in Programming Offtop

Alexander Nozik

Чего-то так себе там чат. Думал Елизарова почитать, а там cpu - виртуальная машина и девопс на С

Надеюсь, подутихнет ближайшие пару дней.

15:43пожаловаться #9

I

https://t.me/pofftop/247659

Alexander Nozik

Чего-то так себе там чат. Думал Елизарова почитать, а там cpu - виртуальная машина и девопс на С

Ilmir in Programming Offtop

Это отбросы^W сливки общества @CompilerDev, которых выпнули оттуда^W^W решили, что для обсуждения тонкостей языков нужен отдельный чат.

15:43пожаловаться #10

(

Любым другим способом.


fun <M<_> : Monad> plusInM(a: Int, b: Int): M<Int>

Вводи любым другим способом

15:43пожаловаться #11

BP

Bogdan Panchenko in Programming Offtop

Я такого не говорил. 1.Х.0 у нас всегда мажорный релиз. То, что в 1.4.0 не было мажорных фич, не означает, что сам релиз минорный.

Так никто из джб так не говорил. Тут вообще 0 претензий, если что.

15:50пожаловаться #12

BP

Bogdan Panchenko in Programming Offtop

Да, сразу будет Котлин 5.

Просто прекрасно. Вы решили убить мем про Котлин 2.0 ?

15:51пожаловаться #13

I

Bogdan Panchenko

Просто прекрасно. Вы решили убить мем про Котлин 2.0 ?

Превратив его в мем про Котлин 5.

15:51пожаловаться #14

I


fun <M<_> : Monad> plusInM(a: Int, b: Int): M<Int>

Вводи любым другим способом

listOf(1, 3, 5).flatMap { listOf(it.toString(), "aaaa") }.flatMap { listOf(println(it)) }
Вместо aaaa я мог бы даже readln заюзать.

15:55пожаловаться #15

AM

Andrew Mikhaylov in Programming Offtop

listOf(1, 3, 5).flatMap { listOf(it.toString(), "aaaa") }.flatMap { listOf(println(it)) }
Вместо aaaa я мог бы даже readln заюзать.

Опять 25. Ты ж понимашь, о чём Егор, зачем набрасываешь-то :)

15:55пожаловаться #16

(

listOf(1, 3, 5).flatMap { listOf(it.toString(), "aaaa") }.flatMap { listOf(println(it)) }
Вместо aaaa я мог бы даже readln заюзать.

ты в моём примере введи

15:55пожаловаться #17

I

ты в моём примере введи

Не могу, мне компилятор мешает

Names _, __, ___, ..., are reserved in Kotlin
Expecting '('
Expecting a top level declaration

15:56пожаловаться #18

(

Не могу, мне компилятор мешает

Names _, __, ___, ..., are reserved in Kotlin
Expecting '('
Expecting a top level declaration

Я бы сказал, что это недостаток компилятора

15:58пожаловаться #19

AM

Andrew Mikhaylov in Programming Offtop

Я бы сказал, что это недостаток компилятора

Тебе уже кто-нибудь говорил, что ты сову на глобус натягиваешь вместо того, чтобы найти себе подходящий инструмент?