спасибо

еще cmd - d

Чат, в гугле забанили, или в свифте серьезно нет distinctMap?

на массивах, например

Похоже, что это ipone 4s. Логика интересная, конечно. С таким большим экраном эмулировать айфон с самым мелким разрешением

для айад 4 - да. Но по большому счету там тоже от поинтов надо отталкиваться. В основном это будет 320 × 480, но для большого iPad Pro - 375 × 667

Чат, в гугле забанили, или в свифте серьезно нет distinctMap?

Это там, где и ключи и значения уникальны?

Для массиво то?)

а, понял вопрос

есть array.map

а array.distinctMap нет?

тоже самое что array.map({...}).unique

i.e. понятно, что .map может порождать повторяющиеся значения, хотелось бы их дропнуть

https://scanlibs.com/advanced-swift-updated-swift-3/ есть у кого?

https://scanlibs.com/advanced-swift-updated-swift-3/ есть у кого?

так скачай

Что же с нами делается-то, совсем разучились с файлопомоек качать

тоже самое что array.map({...}).unique

Indexed set? Или просто set, еси очередность не важна.

Indexed set? Или просто set, еси очередность не важна.

да нагородить костылей и я могу

Это типы. Открой доку.

Я знаю, что это)

Вопрос был не в том, как реализовать, а есть ли такое уже

Кстати типовая система свифта не очень =с

почему я не могу прикастовать A<[B]> к A<[C]> если B конформит C?

Вопрос был не в том, как реализовать, а есть ли такое уже

Такое есть уже. Я тебе дал название двух сущностей. Индексированной и неиндексированной с уникальными значениями. Открой доку.

Такое есть уже. Я тебе дал название двух сущностей. Индексированной и неиндексированной с уникальными значениями. Открой доку.

Да чтож такое то)

почему я не могу прикастовать A<[B]> к A<[C]> если B конформит C?

Нет типов высшего порядка. Вот и не кастует.

Я знаю что такое сет. И что такое indexed set, и что такое типы и функции высшего порядка

Я знаю что такое сет. И что такое indexed set, и что такое типы и функции высшего порядка

Что такое типы высшего порядка тогда?

Ну давай еще за аксиоматику Пеано поговорим

Ну давай еще за аксиоматику Пеано поговорим

Давай начнем с базисов.

Ага, с дедукции?

тип высшего порядка иэто тип типа (род, если я правильно помню)

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

тип высшего порядка иэто тип типа (род, если я правильно помню)

ну и бог с ним, что ничего неразрешимо, просто дадим really_belive_me

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

г-ди

просто спросил, есть ли уже готовый синтаксический сахар

_сахар_

Ок. Не понял тебя абсолютно. Сорян.

=)

Вообще хочу аксиоматику цермелло-френкеля в свифте

Математику не нужна девушка, ему достаточно знать, где ее найти

а в аксиоматике Ц-Ф достаточно доказать ее существоавние и можно даже не смотреть на нее

а в аксиоматике Ц-Ф достаточно доказать ее существоавние и можно даже не смотреть на нее

Агаща. Сразу после того, как оптимизируют скорость компилятора и сделают так, чтобы компилер не ругался на то, что не может скомпилить синтаксический конструк, тк он слишком сложный.

Ну чего ты начинаешь, ну

Кто пользовался SwiftyVK ?

Ну чего ты начинаешь, ну

Ну блин, будем объективны. У свифта система типов - дно. И за три года они вместо оптимизации и улучшениц умудрились зарубить сахар каррирования и вызов функций с туплами вместо раздельных аргументов. И то не полностью вышло даже зарубить. Хотя туплю аще были адски удобны.

И при всем при этом у тех же туплов абстракция на нуле. И городишь эти Either будто клея объелся =с

И при всем при этом у тех же туплов абстракция на нуле. И городишь эти Either будто клея объелся =с

Та ладн тебе, абстракция туплов. А абстракция стрелок? Обычных сраных стрелок. А то, что теперь туплы надо явно деструктурировать, хотя раньше все работало? А отсутствие do нотации с голимым заменителем в виде гарда и ифлета, работающими только для опшналов??? А тайп инференс, который постоянно тупит и даже не может выбрать правильный тип, тк ему сложно. Посему, будем честны, мечтать не вредно, но латтнер - гей в плохом смысле этого слова.

😂

знатно

я так понимаю, надеятся на то, что я могу в свифте сделать (A, B -> C) -> A -> (B -> C) нет?

как это правильно называется я забыл 😳

короче частично передать аргументы

как это правильно называется я забыл 😳

карирование

О, хаськель подъехал, приветик)

Частичное применение, каррирование. Но то, что ты написал по типам - это деструктурирование.

да, carry, вылетело из головы)

Частичное применение, каррирование. Но то, что ты написал по типам - это деструктурирование.

с теелфона не очень удобно, представь что я написал правду)

Но проблемо. Я тож с тела.

Я пропустил начало беседы. Но всегда же можно взять ФП язык поверх JS и фигачить на ReactNative. (Я примерно так и сделал, когда надоело пытаться втащить фп в Котлин)

Хотя ,может и буит када, еси они сделают доброе дело и перестанут примитивизировать язык.

Я пропустил начало беседы. Но всегда же можно взять ФП язык поверх JS и фигачить на ReactNative. (Я примерно так и сделал, когда надоело пытаться втащить фп в Котлин)

Типа clojurescript? Танунаф. Реактнатив - тормоз прогресса, на каждый пук усе равно лезешь в нативный код. И гемора куча, как по мне.

Типа clojurescript? Танунаф. Реактнатив - тормоз прогресса, на каждый пук усе равно лезешь в нативный код. И гемора куча, как по мне.

Имел ввиду Purescript (вроде гуглятся примеры). Лично я взял F# (Fable компилятор в JS), тк все таки не большой фанат HKT и монад, НО люблю типы (по этому не clojure)

Типа clojurescript? Танунаф. Реактнатив - тормоз прогресса, на каждый пук усе равно лезешь в нативный код. И гемора куча, как по мне.

Что значит РН тормоз прогресса?

Имел ввиду Purescript (вроде гуглятся примеры). Лично я взял F# (Fable компилятор в JS), тк все таки не большой фанат HKT и монад, НО люблю типы (по этому не clojure)

Интересно крайне. Гляну завтр на язык purescript. Я F# не знаю аще и он вдалеке в планах, после коммон лиспа и окамла. Но за наводку пасиб.

Что значит РН тормоз прогресса?

Как и любая кроссплатформа, качество не айс, все равно требует знания натива. И тормозит разрабов в развитии, тк им впадлу переходить на незнакомое када есть жс.

Как и любая кроссплатформа, качество не айс, все равно требует знания натива. И тормозит разрабов в развитии, тк им впадлу переходить на незнакомое када есть жс.

Есть нюансы, но их не больше чем под нативом

Есть нюансы, но их не больше чем под нативом

Фигасе не больше. Еси б мы не закончили полгода назад на нем проектик, я б тебе поверил. Подводные камни на каждый чих, тормоза на ровном месте, куча нативного кода и своих плагинов. А вроде простое сраное интернет радио с кешированием, перемоткой, стримингом с девайса и постпроцессингомю

Фигасе не больше. Еси б мы не закончили полгода назад на нем проектик, я б тебе поверил. Подводные камни на каждый чих, тормоза на ровном месте, куча нативного кода и своих плагинов. А вроде простое сраное интернет радио с кешированием, перемоткой, стримингом с девайса и постпроцессингомю

Вы его как то неправильно готовили значит

Вы его как то неправильно готовили значит

И как же надо? Расскажи, отче, как правильно делать кеширование аудио и данных, пагинацию таблиц с хотя бы 5к ячеек, парсить жсоны с парой тысяч сущностей, как строить очереди обработки, делать многопоточную батчинговую обработку данных, работать с бд, кешировать и процессить картинки, делать быструю автоподсказку, кастомные анимации, как стримить звук с девайса, ну и, конечно, сложную динамическую верстку как делать. Может мы и неправильно делали.

Ну и, конечно, как на реакте делать постпроцессинг звука.

Ну и, конечно, как на реакте делать постпроцессинг звука.

постпроцессинг звука делают на нативе как и постпроцессинг видео с этим никто не спорит

И как же надо? Расскажи, отче, как правильно делать кеширование аудио и данных, пагинацию таблиц с хотя бы 5к ячеек, парсить жсоны с парой тысяч сущностей, как строить очереди обработки, делать многопоточную батчинговую обработку данных, работать с бд, кешировать и процессить картинки, делать быструю автоподсказку, кастомные анимации, как стримить звук с девайса, ну и, конечно, сложную динамическую верстку как делать. Может мы и неправильно делали.

обычно руками

обычно руками

Руками пока ни у кого не видел гуй на рн, работающий на 60 фпс, еси там что-то сложнее таблички с ячейками с одной картинкой и одним текстом. Так что пролей свет, отче, как тебе сие удалочь.

Можешь начать с многопоточного батчинга для обработки больших массивов инфы и парсинга здоровых жсонов.

Можешь начать с многопоточного батчинга для обработки больших массивов инфы и парсинга здоровых жсонов.

В отдельном потоке, впрочем как и на нативе

Руками пока ни у кого не видел гуй на рн, работающий на 60 фпс, еси там что-то сложнее таблички с ячейками с одной картинкой и одним текстом. Так что пролей свет, отче, как тебе сие удалочь.

В рилм это смакуешь все и авто батчинг данных тебе

Руками пока ни у кого не видел гуй на рн, работающий на 60 фпс, еси там что-то сложнее таблички с ячейками с одной картинкой и одним текстом. Так что пролей свет, отче, как тебе сие удалочь.

Установи Townske, посмотри

Установи Townske, посмотри

Установил скайп и проржал.