Éminence grise
А фшарп все же без сборки мусора не заведешь.
Dmitry
Короче, проще свой язык сделать :D
А ведь хорошее название для языка программирования - :D
Éminence grise
Ну ди уже есть 😊
Nikolay
xD
Dmitry
Ну ди уже есть 😊
Я знаю, но :D пока нет
Hog
Colon-D
Hog
O'D-Colon
Éminence grise
Хорошо наверное, забирать будет 😊
Nikolay
Shrug Lang
Éminence grise
Меня кстати сегодня порадовало http://norvig.com/design-patterns/design-patterns.pdf
Nikolay
Бгг
Romɑn
Бгг
Если считать, что в генах ФП есть и гены ООП, а значит ООП тоже используется, то ок
Éminence grise
Ну есть еще путь от Гомера до человека.. GADT видимо 😊
gsomix
https://twitter.com/AzureDevOps/status/1039167117411508226
Nikolay
Я вот что подумал, если у нас приложение полностью иммутабельное, то никогда локов не возникнет?
Nikolay
А это от языка зависит?
Nikolay
Например, в C# readonly проперти будут же потокобезопасны?
Hog
Просто есть ещё CLR
Vladislav
нет
Hog
Если value type
Nikolay
ридонли словарь
readonly ImmutableDictionary
Nikolay
Что ты скажешь на это, Илон Маск?
Vladislav
Что ты скажешь на это, Илон Маск?
то что без оптимизаций будет тормозить)
Hog
Что ты скажешь на это, Илон Маск?
Ему нужно сначала дунуть хорошенько
Éminence grise
Readonly безопасны везде.{jxtim потокобезовасных коллекций - System.Collection.Immutable
Hog
readonly <> immutable
Éminence grise
Ему нужно сначала дунуть хорошенько
Так он, похоже, только этим и занимается. Только вот место, где траву берет , скрывает
Éminence grise
В сшарпе - равно.
Éminence grise
Если конечно не дергать через рефлекшн.
Ayrat
Под полностью иммутабельную модель памяти надо GC хитрый. Я вот знаю в джаве есть гц который только аллоцирует а при OOM крашит JVM и по новой))
Hog
В сшарпе - равно.
для value. для reference - дополнительные телодвижения .AsReaadonly и иже с ними
Ayrat
только аллоцирующий гц можно наверное даже как-то хитро заоптимайзить чтоб батчами сразу аллоцировал. Или обжект пулинг использовать. На место старого объекта новый писать сразу.
Éminence grise
А ну да. Офигенный GС. Они сами пишут - для программируемых унитазов.
Ayrat
Надо ж мозг поломать
Éminence grise
я вот третий день мозг ломаю над CTM (Common Type Model). Даже внятную документацию не найти.
Ayrat
гугл что-то невнятное выдаёт
Ayrat
это что вообще?
Éminence grise
Это про модель типов runtime.
Nikolay
Гуглю какие-нибудь картинки про иммутабельность, задумался про иммутабельную лампочку, как это? Типа у тебя две лампочки, одна всегда горит, а вторая никогда не горит, и если ты хочешь включить лампочку, тебе нужно просто достать нужную? :D
Ayrat
а, это тайп система CLR?
Éminence grise
Прошу прощения Common Type System/
Ayrat
система типов CLR вообще любопытная. Она некоторым сишарпистам голову ломает. "В интерфейсе можно объявлять статические поля? Что за херня?"
Éminence grise
Она намного гибче, чем все что есть в языках. Это я уже понял, но вот насколько...
Éminence grise
В басике интерфейс может содержать вложенные типы. В том числе и генерики.
Ayrat
Она намного гибче, чем все что есть в языках. Это я уже понял, но вот насколько...
я вот рихтера того самого не читал. Может он чо пишет?
Éminence grise
Атрибуты могут быть генериками.
Éminence grise
Ну это нам в фшарп вроде дали?
Hog
Ага. Это если обязательно лампочки менять. Но можно горящую лампочку завернуть в тип "светонепропускаемая ткань" и света не будет)
Только не забывать о том, что если тип лампочки - накаливания, то светонепропускаямая ткань должна быть огнеупорной. Иначе иммутабельности не получится :)
Ayrat
Атрибуты могут быть генериками.
я кажется нашёл тебе доку https://www.ecma-international.org/publications/files/ECMA-ST/ECMA-335.pdf
Éminence grise
Массивы - вообще отдельное подмножество..
Éminence grise
574 страницы. Ну попробую освоить 😊
Éminence grise
Дон хорошо в нее вкинул с генериками. Но сейчас сделал бы лучше 😊
Hog
574 страницы. Ну попробую освоить 😊
Дядь Вань - монстр :) я 300 страниц беллетристики DDD F# не могу уже месяц освоить :)
Ayrat
574 страницы. Ну попробую освоить 😊
описание CTS со страницы 42
Nikolay
Мб так мутабельность объяснить?
Nikolay
Romɑn
навесил ярлыки просто. Без объяснения почему это так. Если это просто как итог, то да, но
Romɑn
этот мем не объясняет ничего)
Nikolay
Ну блин, конечно я не просто молчать буду)
Éminence grise
Их бы всех заставить поработать вместе над одним языком - Андреаса, Дона, Метью. Ну еще бы неплохо и Martin Odersky. Сейчас могли бы офигенный язык забабахать.
Romɑn
Ну блин, конечно я не просто молчать буду)
>Мб так мутабельность объяснить?
Éminence grise
>Мб так мутабельность объяснить?
Взял, попользовал, положи передай другому.
Romɑn
у тебя два разных типа пистолета. А иммутабельный пистолет - никогда не стреляет. Т.к иначе изменяется внутреннее состояние - кол-во пуль)
Éminence grise
Не пистолет - функция. Он возвращает на выстрел функцию с меньшим количеством пуль. А тот у тебя все же может быть сохранен - и в нем пули не изменились. Так что стреляй сколько хочешь 😊
Romɑn
поэтому и появились объекты!
Nikolay
У меня рейлган, который подключён к розетке
Romɑn
У меня рейлган, который подключён к розетке
рейлганом в русскую рулетку не сыграть )
Nikolay
рейлганом в русскую рулетку не сыграть )
Ну можно что-нибудь придумать