В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Programming Offtop

447 membersпожаловаться на группу
2020 May 16

I

Igor in Programming Offtop
Mikhail Levchenko
т.е. получается что если подмножество функций в модуле совпадают по сигнатуре с твоими ожиданиями – всё ок?
да, и еще это на типы распространяется (тк их тоже можно объявлять в сигнутурах модулей)

и в окамле вроде как нет приватных функций, по этому "сокрытие" делается через явную декларацию сигнатуры
источник
16:19пожаловаться#1

AM

Andrew Mikhaylov in Programming Offtop
Igor
А в чем разница между ocaml и typescript?
Я просто в тайпкскриптом почти не работал
Вот и обсудили)
источник
16:20пожаловаться#2

I

Igor in Programming Offtop
ну я помню по докладам - что в ts это плохо, только я вот сейчас задумался а почему
источник
16:21пожаловаться#3

AM

Andrew Mikhaylov in Programming Offtop
Igor
да, и еще это на типы распространяется (тк их тоже можно объявлять в сигнутурах модулей)

и в окамле вроде как нет приватных функций, по этому "сокрытие" делается через явную декларацию сигнатуры
Не совсем понял, как явная декларация сигнатуры помогает с сокрытием
источник
16:22пожаловаться#4

I

Igor in Programming Offtop
Andrew Mikhaylov
Не совсем понял, как явная декларация сигнатуры помогает с сокрытием
https://i.gyazo.com/cde0cc2fb75d12473b2fed757f745475.png

Ну смотри в модуле PersitentStore по факту 2 функции (restore и init)
А снаружи видно только одну init, тк при создание модуля явно описал его сигнатуру.

А если бы я не написал (как допустим в f#, где такого вроде нет) - то в сигнатуру попало бы все что там есть.
источник
16:29пожаловаться#5

AM

Andrew Mikhaylov in Programming Offtop
Igor
https://i.gyazo.com/cde0cc2fb75d12473b2fed757f745475.png

Ну смотри в модуле PersitentStore по факту 2 функции (restore и init)
А снаружи видно только одну init, тк при создание модуля явно описал его сигнатуру.

А если бы я не написал (как допустим в f#, где такого вроде нет) - то в сигнатуру попало бы все что там есть.
А, сигнатуры модуля, а не функции, понял
источник
16:30пожаловаться#6

I

Igor in Programming Offtop
Кстати чем дальше смотрю, тем больше kotlin object - напоминаю модули
Они как набор стат. функций, но могут реализовывать интерфейсы и передаваться как параметры
источник
16:31пожаловаться#7

I

Igor in Programming Offtop
А кто скажет, где она в котлине применяется?
источник
16:42пожаловаться#8

(

( in Programming Offtop
Igor
А в чем разница между ocaml и typescript?
Я просто в тайпкскриптом почти не работал
я хз, как в окамле, в тс-е вот так:
function jeppa<T : { kek: String }>(t: T) {}
и вот в жёппу можно передать что угодно, у чего есть описанное поле
источник
16:45пожаловаться#9

I

Igor in Programming Offtop
(
я хз, как в окамле, в тс-е вот так:
function jeppa<T : { kek: String }>(t: T) {}
и вот в жёппу можно передать что угодно, у чего есть описанное поле
а какие тут минусы?
источник
16:49пожаловаться#10

(

( in Programming Offtop
Igor
а какие тут минусы?
Главным образом то, что можно передать какую-нибудь левую хуйню, которую сюда передавать не стоило
источник
16:51пожаловаться#11

(

( in Programming Offtop
Банальный пример - есть куча рекордов с айдишками и совать их во всякие функции, которые требуют айдишки, впринцопе норм, но есть один рекорд, у которого тоже есть айдишка, но не та
источник
16:52пожаловаться#12

ML

Mikhail Levchenko in Programming Offtop
(
Банальный пример - есть куча рекордов с айдишками и совать их во всякие функции, которые требуют айдишки, впринцопе норм, но есть один рекорд, у которого тоже есть айдишка, но не та
А в чём проблема?
источник
17:11пожаловаться#13

ML

Mikhail Levchenko in Programming Offtop
Мне нравится идея, что record - это map с заданными именами и типами
источник
17:12пожаловаться#14

ML

Mikhail Levchenko in Programming Offtop
круто типизировать подмножество этой map
источник
17:12пожаловаться#15

ML

Mikhail Levchenko in Programming Offtop
и выводить коллективные ограничения
источник
17:12пожаловаться#16

(

( in Programming Offtop
Mikhail Levchenko
А в чём проблема?
Например, это айдентити не объекта, а какого-то другого объекта, которое лежит в этом
источник
17:13пожаловаться#17

(

( in Programming Offtop
Пример хоть и притянут за уши, но тем не менее
источник
17:14пожаловаться#18

ML

Mikhail Levchenko in Programming Offtop
типа, есть функции foo({a: Int, b: String}), bar({c: Int, d: Long}) и если переменная используется в обоих, то её тип минимум {a: Int, b: String, c: Int, d: Long}
источник
17:14пожаловаться#19

ML

Mikhail Levchenko in Programming Offtop
это частый пример, почему людям хочется множественного наследования
источник
17:15пожаловаться#20