надо было изначально дать возможность аннотировать типы. то, что сейчас привносит питон 3.6 — слабые потуги, и продвигаться будет очень долго :(
да это не нужно в динамике
Anonymous
ivan
Таплы питона не знаю, но таплы - это не список
вооот. а питон к ним подходит прям как к спискам. всё потому, что и тем, и тем дозволено быть гетерогенными
Anonymous
не вижу разницы
Nikita
так зачем список если можно тапл, лул
Как я понял, потому что то, что питон называет таплами, на самом деле не таплы, а список
ivan
ну типа есть граф: G(V, E).
а есть список: [маша, даша, каша].
в питоне это взаимозаменяемые типы
Nikita
не вижу разницы
Тапл - существующее понятие, а питон его исковеркал, а вы начинаете использовать номенклатуру питона и не видите проблему
Anonymous
Тапл - существующее понятие, а питон его исковеркал, а вы начинаете использовать номенклатуру питона и не видите проблему
потому что в понятиях питонки это понятие теряет смысл. ровно как и "монадка" на человеческом языке это просто "массив"
Nikita
потому что в понятиях питонки это понятие теряет смысл. ровно как и "монадка" на человеческом языке это просто "массив"
Ну так если теряет смысл, зачем продолжать использовать это понятие? Списки надо называть списками
Anonymous
ну, потому что это не список. потому что все привыкли что список это чтото изменяемое
Nikita
Все привыкли, что тапл - это таплы
Nikita
Anonymous
>In mathematics, a tuple is a finite ordered list (sequence) of elements.
Anonymous
кулстори
Anonymous
наверняка каждая наука еще и по своему определяет
ivan
хотя б finite, и то спасибо
Anonymous
ну и тапл в питонке это именно тапл. у него есть размер. а список это скорее всего чтото безразмерное
ivan
ну и тапл в питонке это именно тапл. у него есть размер. а список это скорее всего чтото безразмерное
может последовательность / стрим?
Anonymous
склеивание таплов это просто удобный сахарок
ivan
так-то список очень даже размерен
Anonymous
тапл просто определяет интерфейс ИТЕРАБЛЕ но суть тапла примерно в том чтобы делать return a,b как и везде
ivan
тапл просто определяет интерфейс ИТЕРАБЛЕ но суть тапла примерно в том чтобы делать return a,b как и везде
вот это вот прямо фатал еррор
Oleg
В динамически-типизированных языках, где разница между коллекцией и типом иногда стирается это и норм
Oleg
А ещё они тьюплы, а не таплы https://en.oxforddictionaries.com/definition/tuple
Anonymous
семантика тапла это именно что не быть коллекцией а быть просто обьединением значений
Anonymous
а руби и жс эмулируют семантику тапла списками и им норм, да
Filipp
А ещё они тьюплы, а не таплы https://en.oxforddictionaries.com/definition/tuple
Еще скажи что раст а не руст
Oleg
В кложуре вместо тьюплов юзается vec
Oleg
В хачкелях и скалах для в качестве generic tuple юзается HList
Oleg
Вот и попробуй найти семантическую границу между кортежем и коллекцией
Anonymous
так есть она
Anonymous
в юзании, в основном
Danila Matveev
В хачкелях и скалах для в качестве generic tuple юзается HList
он HList лишь потому что Product имя было уже занято)
Oleg
он HList лишь потому что Product имя было уже занято)
Нет, он HList, потому что с хаскеллей скопипастено
Oleg
Coproduct не стали же Sum называть
Danila Matveev
хотели то продуктом назвать, копипастить пришлось
Danila Matveev
но не суть
Anonymous
в коллекции ты ждёшь неопределённое число гетерогенных элементов которые всё же в чем то гомогенны и просто полиморфны
в тапле ты ждешь четкое число членов и знаешь что на каком месте. это такая анонимная структура
Anonymous
ну и вся суть таплов как я уже говорил в
let (a, b, c, d) = tuple;
Oleg
ну и вся суть таплов как я уже говорил в
let (a, b, c, d) = tuple;
Какая унылая пролетарская соль у вас
Anonymous
для коллекции это бессмысленно
ivan
(но вроде как пока не в расте)
Anonymous
ну не то всёравно
ivan
хотя head / tail где-то видел
Anonymous
ну это именно что head/tail для обхода коллекции, да
Anonymous
https://doc.rust-lang.org/1.5.0/std/primitive.tuple.html макросы-макросики
Anonymous
в расте тоже можно сказать что те же списки, только с типами для каждого элемента
Oleg
В общем, когда dependent types снимает с вас оковы примитивной типизации, tuple обратно превращается в коллекцию, о которой просто компилятору известно всё
VладислаV
извините что может отвлекаю от дискуссии
Danila Matveev
вопрос насколько это возможно здесь
я правда и не пытался еще толком искать
VладислаV
но можете рассказать вкратце о ситуации
VладислаV
как с работой на расте?
Oleg
и учитывая вот такие божественные пропоузалы, в этом чате это не просто трёп https://github.com/rust-lang/rfcs/issues/1930
Anonymous
РАБота нинужна
VладислаV
ну то есть вообще нигде нет?
Anonymous
кодинг вообще нужен только в качестве упарывания для хобби в перерывах между просмотром анимы и запиливания имиджборд
Крылатый
Danila Matveev
и учитывая вот такие божественные пропоузалы, в этом чате это не просто трёп https://github.com/rust-lang/rfcs/issues/1930
круто, но не понятно есть ли там активность
Anonymous
всё же довольно странно интересоваться лютой маргинальщиной и искать на ней работу. шел бы ты писать на сишечке прошивки для свитчей
VладислаV
> лютая маргинальщина
Oleg
круто, но не понятно есть ли там активность
Возможно, что у имплементера просто кончился кокаинум
Oleg
Нужно выпустить криптовалюту на расте для снабжения OSS котеров наркотой, и немедленно запустить ICO
Kirill
Danila Matveev
https://github.com/rust-lang/rfcs/pull/2000
вот вроде продолжение живое
Anonymous
> лютая маргинальщина
насколько мне известно работа на расте выглядит примерно как поехавший буддист под коксом вышибающий дверь банка с ноги орущий платите мне зп чтобы я вам запилил на расте блокчейн/контейнеры или я тут всех порежу
Anonymous
либо же просто сишники решившие упростить себе жизнь. зачем им еще и нанимать когото ?
Anonymous
вот никогда не следила сколько компилер раста потребляет памяти
Anonymous
щас посмотрела а там гигабайт оперативки
Anonymous
и это он env_logger компилил
Влод
в наше время гиг оперативы на пк разраба же ничего не стоит
Anonymous
но ето просто НЕОЖИДАННО будто бы какой-то продукт от жидеи запустила