забудь про "стирания"

я не понимаю зачем я должен про них забыть? это же прекрасная фича компилятора

почему ты тогда хочешь "каким-то образом добавить информацию об основании"

почему ты тогда хочешь "каким-то образом добавить информацию об основании"

но ведь я описал зачем. я описал почему у текущих ньютайпов возникает боксинг и что информация об основании позволит убрать боксинг. это же очевидно. и Олег правильно написал, что opaque - это и есть привязка исключительно для компилятора (просто есть нюанс, что для разработчика теряется связь с основанием - но возможно это не критично, если пример выше будет работать, возможно и получится дополнительно изобразить что-то вроде superquants на ньютайпах без боксинга - хотя еще присмотреться надо будет). И все таки не пониманию почему так важно забыть про стирания)

нет isInstanceOf - нет говна

ты же понимаешь, что в jvm нельзя физически сделать ньютайпы без боксинга, которые бы в рантайме проходили проверку на ньютайп?

поэтому и не будет никаких проверок на ньютайп в рантайме

поэтому и не будет никаких проверок на ньютайп в рантайме

а кто-то этого просил?

все кого не устраивает анивал

все кого не устраивает анивал

у тебя очень странный круг общения)

адекватный

невозможно и рыбку съесть и на рантайм сесть

но ведь я описал зачем. я описал почему у текущих ньютайпов возникает боксинг и что информация об основании позволит убрать боксинг. это же очевидно. и Олег правильно написал, что opaque - это и есть привязка исключительно для компилятора (просто есть нюанс, что для разработчика теряется связь с основанием - но возможно это не критично, если пример выше будет работать, возможно и получится дополнительно изобразить что-то вроде superquants на ньютайпах без боксинга - хотя еще присмотреться надо будет). И все таки не пониманию почему так важно забыть про стирания)

для разработчика самой обёртки не совсем теряется потому что внутри компаньона Foo это будет type Foo = Int и только во всём остальном коде просто type Foo т.е. настолько, насколько создатель ньютайпа захочет, эта связь сохранится

для разработчика самой обёртки не совсем теряется потому что внутри компаньона Foo это будет type Foo = Int и только во всём остальном коде просто type Foo т.е. настолько, насколько создатель ньютайпа захочет, эта связь сохранится

важно, что снаружи теряется связь без всякой возможности восстановить. такие вещи как суперкванты - возможно уже не прокатят - надо провести небольшой инвестигейшен, чтобы точнее сказать, какие там есть варианты, чтобы можно было няшно писать: def kokoko(width:Meters):Unit = ... kokoko(55.kilometers.to[Meters])

важно, что снаружи теряется связь без всякой возможности восстановить. такие вещи как суперкванты - возможно уже не прокатят - надо провести небольшой инвестигейшен, чтобы точнее сказать, какие там есть варианты, чтобы можно было няшно писать: def kokoko(width:Meters):Unit = ... kokoko(55.kilometers.to[Meters])

Ну, в не к ночи помянут будет, хайльскеле есть для этого Coercible

И целая вот эта система Phantom/Nominal/Representational

Если вы на ScalaDays в Берлине, то не пропустите доклад Владимира Павкина из Evolution Gaming: https://eu.scaladays.org/lect-6913-leveraging-spire-for-complex-time-allocation-logic.html

охх спайр

И да, подходите с нами лично поговорить. У нас свой стенд :)

И да, подходите с нами лично поговорить. У нас свой стенд :)

ты точно не hr?

ты точно не hr?

Не, я программист. Если вы там, то можете лично проверить ?

Рефералки собирает

Не, я программист. Если вы там, то можете лично проверить ?

Владимир, это Вы?

Владимир, это Вы?

Нет

На этой фотографии 50% - программисты.

те что в красненьком? /toxic

И 50% женщины /toxic

было дело собеседовался в lunatech

там предлагается релокация в Амстердам, команда супер интернациональная

Лунатек - это всего лишь фон для... Evolution Gaming!

Может кто-то подсказать, что в скале инициальный объект (тип), а что терминальный? В хаскеле это Void и Unit соответственно. А у нас?

ну терминальный это ()

а начальный наверное Nothing

а начальный наверное Nothing

Nothing, Null, throwed Exception

хотя Null не совсем

Null не стоит над AnyVal

Null не стоит над AnyVal

тут можно сыграть в Ника и сказать что все равно в скалке всё боксится на самом деле есть более веская причина - существует объект типа Null

При этом есть в котах/скалаз метод .void который маппит в Unit. C for consistency

При том что в скалаз воид - алиас для нафинг.

кек

я думал throwed Exception имеет тип Nothing

он и имеет

ладно, тогда почему это начальный тип тогда, и что под этим подразумевается в данном случае?

"Nothing — для незавершающихся или завершающихся с ошибкой операций"

throw Exception — просто частный случай получить тип Nothing

Initial object

есть кто с провинции, кто едет на Scala day в NY?

и кто еще не купил билет на самолет

и не купил на скаладейс билет )

Может кто-то подсказать, что в скале инициальный объект (тип), а что терминальный? В хаскеле это Void и Unit соответственно. А у нас?

в шакалке можно разные инициальные объекты определить, в зависимости от того, какую категорку ты рассматриваешь

и не купил на скаладейс билет )

ну нет) может просто есть у кого инфа, как туда добраться дешевле 80к :D

плюс вроде как есть желание/возможность делать иерархии типов, которые стоят в стороне от Any ... Nothing

или то в дотти будет

ну нет) может просто есть у кого инфа, как туда добраться дешевле 80к :D

прямые только аэрофлот, поэтому вот так вот

ну нет) может просто есть у кого инфа, как туда добраться дешевле 80к :D

В NY же дешевые билеты всегда есть

надо было просто чуть раньше брать, я тут как то слетал в ЛА и обратно за 50к

В NY же дешевые билеты всегда есть

москва - нй - 54к

В NY же дешевые билеты всегда есть

кстати тру

типа там 25к туда-обратно

похоже футбол подпортил планы

Может кто-то подсказать, что в скале инициальный объект (тип), а что терминальный? В хаскеле это Void и Unit соответственно. А у нас?

если функции- морфизмы, то инициальным будет семейство изоморфных типов а-ля abstract final class Foo или sealed trait без наследников Nothing - представитель этого семейства Хаскелеподобный Void будет там же

ERROR: S client not available

Может кто-то подсказать, что в скале инициальный объект (тип), а что терминальный? В хаскеле это Void и Unit соответственно. А у нас?

Если субтайпинг-морфизмы, то только Nothing в единственном числе

ладно, с другой стороны, на Scala By The Bay есть смысл ехать? интересное бывает там?

куда нет смысла ехать - так это на Scala Days

куда нет смысла ехать - так это на Scala Days

ну там же вон стенд

и спайр

а что со spire не так?

я не иронизирую

ну хотя немношк

сарказмируешь :)

Мечта ?

Даниєла - мечта?

Мечта ?

А можно пояснить, где нужно смеяться?

Мечта ?

любуйся https://www.youtube.com/watch?v=Ss149MsZluI

любуйся https://www.youtube.com/watch?v=Ss149MsZluI

так это ж отстой

а ну т.е. дааа

любуйся, да я понял токсик

Ха ха ха, очень смешно. Точно для этого чатика тема

Ха ха ха, очень смешно. Точно для этого чатика тема

так там же скалка, чо бы и не для этого

А можно пояснить, где нужно смеяться?

Не, просто про теорию категорий я спрашивал на днях, а тут вот как раз

По содержанию не скажу - не пошёл туда.

Пожалуй, лучшее место для изучения теорката - это /ponv

Пожалуй, лучшее место для изучения теорката - это /ponv

НоТТ там тоже обсуждают?

НоТТ там тоже обсуждают?

Конечно, регулярно. Без шуток

Конечно, регулярно. Без шуток

Oh my. Спасибо, присоединюсь, если прям без шуток обсуждают. Я думал, что это аналог F(R)P чата для js-ников, где мемы про теоркат и унижения.

Oh my. Спасибо, присоединюсь, если прям без шуток обсуждают. Я думал, что это аналог F(R)P чата для js-ников, где мемы про теоркат и унижения.

Ну там есть всё

К несчастью настолько всё, что наш главный источник HoTT-power Алекс подумывает валить

Книги какие-то не очень в этот раз продают