Это не ограничение, а скорее удобство. Компилятор генерирует "нетерминальный" составной тип, и логично чтобы он вел себя так же, как литерал вида {1,2,3} в обычном Си, которым можно инициализировать объект любой структуры из трех числовых полей (увы, в Си эта тема неразвита, и просто присвоить или передать в функцию литерал не получится - только инициализировать, но как пример подойдет и инициализация).
Я уже много лет изучаю языки программирования и разрабатываю свой, и я совершенно не вижу в чем проблема создать такой дизайн. Главное - правильная система типов.
Для if(x>0) y; else z; возвращаемый тип это тип-сумма typeof(y) + typeof(z)
То есть если y это string а z это float то на выходе получаем "вариант" (дискриминированное объединение) с двумя полями string и float.
Если у нас цикл с предусловием while(x>0) y; или условие без альтернативной ветки if(x>0) y; то очевидно что результат - тип-сумма typeof(y) + never, что эквивалентно опционалу optional(typeof(y))
Разумеется эти типы должны быть структурными (не номинативными), чтобы была совместимость с любым явно определенным пользовательским номинативным типом.
При такой системе типов стандартные структурные стейтменты всегда будут совместимы с выражениями. Операторы "запятая" и "условие" можно будет убирать из языка чтобы они не создавали путаницы (по сути запятая это ведь разделитель элементов в списке, к примеру в списке аргументов функции или в литеральном кортеже, но если она еще и оператор - возникает ненужная путаница и усложнение).
Точно были когда-то модели, когда сверху на крышке, в районе динамика, небольшое утолщение. А на второй половинке телефона (там где клавиатура и микрофон) соответственно выемка.
Впрочем, на современных "плоских" смартфонах камера нередко всё равно торчит, и никого это не смущает. И на раскладушках с гибким экраном ее как-то размещают именно там где надо.
Всегда с интересом смотрю на современные раскладушки и всегда разочаровываюсь расположением камеры. Почему ее упорно ставят на ту часть которую нужно держать в руке, а не на откидывающуюся крышку?
Вообще не нужен. С телефона я иногда надиктовываю мысли на обычный диктофон, а затем раз в месяц слушаю и переписываю вручную. Да, наверное в современном мире это не круто, но мне лень разбираться как сделать иначе.
Никогда. Просто не имею дело с логами и дампами.
Нет, не готов. Вот позволяло бы железо держать оффлайн LLM, тогда да.
Собственно, у меня есть свой инструмент для заметок, где реализовано почти всё что мне нужно. Заметки - обычные html файлы, организованные в дерево (да, это значит что заметка располагается в конкретном месте в дереве, а не где попало; впрочем у меня есть место "incoming" которое я периодически сортирую - это, кстати, довольно интересный процесс). Одна заметка - один файл. Редактор - на C++/Qt, компонент "браузер" в режиме editable. Опциональное шифрование тоже есть. Синхронизация между компами через гит. Поиск тупой, без всякого индекса, но недавно сделал то, чего, кажется, нет нигде: поиск близко расположенных слов. То есть особый режим, ввожу два слова через пробел, и поиск находит только те места, где эти два слова находятся достаточно близко друг к другу (скажем не далее 30 символов, это настраивается). Благодаря дереву можно искать не по всей базе, а только в каком-то подмножестве.
Периодически в новостях пишут "хакеры слили столько-то терабайт данных у компании такой-то". Вот достойная задача для Хакеров - выкачать эти отсканированные книги из их внутренней библиотеки и залить на Либген:)
То есть это "процедурно‑параметрическое программирование" - по сути мультиметоды с динамической диспетчеризацией, то есть свободные функции + какой-то аналог таблицы виртуальных функций?
И интересно как это устроено на низком уровне, то есть те самые таблицы. Ведь если в C++ у нас указатель на vbable хранится в начале объекта, то здесь несколько объектов...
К тому времени как (я надеюсь) мощные ИИ-видеокарты и APU станут доступны по цене простым юзерам (а это еще минимум несколько лет ждать), останутся ли в публичном доступе модели, в которые не будет намертво вшито исполнение каких-либо законодательных ограничений? На торрентах-то надеюсь останутся, но вообще ХЗ:)
Опять какие-то крайности. То с кнопками но без дисплея, то с дисплеем но без кнопок:( И камера опять не на месте. Камера должна быть на откидывающейся крышке, а не на той части которую держат в руке!
Для всех финансовых операций нужно будет одобрение товарища майора. Ну или для похода в магазин за продуктами - лейтенанта, за бытовыми товарами подороже - капитана, что-то типа машины или дорогой видеокарты - уже майор, недвижимость - полковник, крупные сделки с акциями предприятий - генерал и т.д.
Интересно. Я размещаю портабельные и свои самописные программы в /home/user/mysoft (в винде аналогично, но там просто в корне типа e:/mysoft)
А вообще в линуксе (как впрочем и в винде, и в любых других системах) есть что-то что сейчас кажется правильным, и что-то что кажется неправильным. Например, единый корень файловой системы это красиво и правильно. А вот это разделение на /bin, /sbin и т.п. - явление устаревшее, концепция "Program Files" более логична (но имя папки лучше бы покороче и без пробела). Для разделения на неизменяемые бинарники, изменяемые настройки и т.п. лучше применять какие-то другие особенности файловой системы (которых кстати в существующих ФС может и не быть, но это уже другая история).
Тут есть нюанс, о котором все обычно забывают. Вы априори ставите государство превыше всего. У вас государство априори правильное и хорошее (ну а как следствие, некоторые бояре, делающие что-то не в интересах государства, или недостаточно в интересах государства - плохие). А верно ли исходное предположение?
Вся история современной российской экономики (и по странному совпадению - политики) отражается на простом незамысловатом графике с сайта banki.ru - графике курса доллара (на сайте щелкнуть по графику и выбрать "всё"). Обожаю эту картинку:
Посмотрите - прямо невооруженным глазом видно несколько сильно отличающихся участков. Какая красота была до 2009 года. Ровненько, гладко, и доллар дешевел! Что это значит? А то, что простой человек мог за те же деньги купить больше процессоров, оперативки, видеокарт и т.д.! Представляете, сколько мы могли бы купить видеокарт сейчас, если бы сохранялись цены и тенденции нулевых? Вот, то-то и оно.
До 2014 на фоне того что после - тоже очень даже ничего, хотя уже видны некие мелкие волнения.
Интересно, если рано или поздно существующий Unicode перегрузится сложностью, есть ли шанс на появление некоего Unicode2? Более строгого, структурированного и функционального. К примеру, из эмодзи уже можно создавать какие-то конструкции, т.е. эмодзи работают по типу модификаторов. Но это работает скорее как исключение, чем как правило.
А для обычной модификации текста кажется пока ничего не придумали. Хотя с точки зрения практического применения текста модификаторы bold, italic, underline, верхний и нижний индекс, повороты на фиксированные углы (90, 180, 270), отражения, инверсии и т.п. кажутся более важными чем эмодзи. Если бы в unicode были семантические средства декорации, то всевозможые markdown, rst и т.д. во многом просто были бы не нужны. Заодно выкинуть кучу символов, которые имеют отдельные коды, но по сути являются латинскими буквами и цифрами с модификаторами.
Обожаю ваши статьи. А вот что вы думаете про языки программирования? Наверняка при использовании C++ у вас возникали мысли, "а хорошо бы чтобы была вот такая возможность в языке" или "а хорошо бы чтобы вот это в языке было иначе". Думаю, такие мысли возникают у всех программистов, именно из реального опыта, из реальных потребностей.
Это не ограничение, а скорее удобство. Компилятор генерирует "нетерминальный" составной тип, и логично чтобы он вел себя так же, как литерал вида {1,2,3} в обычном Си, которым можно инициализировать объект любой структуры из трех числовых полей (увы, в Си эта тема неразвита, и просто присвоить или передать в функцию литерал не получится - только инициализировать, но как пример подойдет и инициализация).
Я уже много лет изучаю языки программирования и разрабатываю свой, и я совершенно не вижу в чем проблема создать такой дизайн. Главное - правильная система типов.
Для
if(x>0) y; else z;возвращаемый тип это тип-суммаtypeof(y) + typeof(z)То есть если y это string а z это float то на выходе получаем "вариант" (дискриминированное объединение) с двумя полями string и float.
Если у нас цикл с предусловием
while(x>0) y;или условие без альтернативной веткиif(x>0) y;то очевидно что результат - тип-суммаtypeof(y) + never, что эквивалентно опционалуoptional(typeof(y))Разумеется эти типы должны быть структурными (не номинативными), чтобы была совместимость с любым явно определенным пользовательским номинативным типом.
При такой системе типов стандартные структурные стейтменты всегда будут совместимы с выражениями. Операторы "запятая" и "условие" можно будет убирать из языка чтобы они не создавали путаницы (по сути запятая это ведь разделитель элементов в списке, к примеру в списке аргументов функции или в литеральном кортеже, но если она еще и оператор - возникает ненужная путаница и усложнение).
Точно были когда-то модели, когда сверху на крышке, в районе динамика, небольшое утолщение. А на второй половинке телефона (там где клавиатура и микрофон) соответственно выемка.
Впрочем, на современных "плоских" смартфонах камера нередко всё равно торчит, и никого это не смущает. И на раскладушках с гибким экраном ее как-то размещают именно там где надо.
Всегда с интересом смотрю на современные раскладушки и всегда разочаровываюсь расположением камеры. Почему ее упорно ставят на ту часть которую нужно держать в руке, а не на откидывающуюся крышку?
А хотя бы в 2028 есть шанс что цены начнут опускаться?
Вообще не нужен. С телефона я иногда надиктовываю мысли на обычный диктофон, а затем раз в месяц слушаю и переписываю вручную. Да, наверное в современном мире это не круто, но мне лень разбираться как сделать иначе.
Никогда. Просто не имею дело с логами и дампами.
Нет, не готов. Вот позволяло бы железо держать оффлайн LLM, тогда да.
Собственно, у меня есть свой инструмент для заметок, где реализовано почти всё что мне нужно. Заметки - обычные html файлы, организованные в дерево (да, это значит что заметка располагается в конкретном месте в дереве, а не где попало; впрочем у меня есть место "incoming" которое я периодически сортирую - это, кстати, довольно интересный процесс). Одна заметка - один файл. Редактор - на C++/Qt, компонент "браузер" в режиме editable. Опциональное шифрование тоже есть. Синхронизация между компами через гит. Поиск тупой, без всякого индекса, но недавно сделал то, чего, кажется, нет нигде: поиск близко расположенных слов. То есть особый режим, ввожу два слова через пробел, и поиск находит только те места, где эти два слова находятся достаточно близко друг к другу (скажем не далее 30 символов, это настраивается). Благодаря дереву можно искать не по всей базе, а только в каком-то подмножестве.
Периодически в новостях пишут "хакеры слили столько-то терабайт данных у компании такой-то". Вот достойная задача для Хакеров - выкачать эти отсканированные книги из их внутренней библиотеки и залить на Либген:)
Почему это? И статья технически интересная, а заголовок так вообще шикарный.
То есть это "процедурно‑параметрическое программирование" - по сути мультиметоды с динамической диспетчеризацией, то есть свободные функции + какой-то аналог таблицы виртуальных функций?
И интересно как это устроено на низком уровне, то есть те самые таблицы. Ведь если в C++ у нас указатель на vbable хранится в начале объекта, то здесь несколько объектов...
Надеюсь Хабр не российский сайт. Потому что это единственное "российское" что я регулярно посещаю...
К тому времени как (я надеюсь) мощные ИИ-видеокарты и APU станут доступны по цене простым юзерам (а это еще минимум несколько лет ждать), останутся ли в публичном доступе модели, в которые не будет намертво вшито исполнение каких-либо законодательных ограничений? На торрентах-то надеюсь останутся, но вообще ХЗ:)
Опять какие-то крайности. То с кнопками но без дисплея, то с дисплеем но без кнопок:( И камера опять не на месте. Камера должна быть на откидывающейся крышке, а не на той части которую держат в руке!
Для всех финансовых операций нужно будет одобрение товарища майора. Ну или для похода в магазин за продуктами - лейтенанта, за бытовыми товарами подороже - капитана, что-то типа машины или дорогой видеокарты - уже майор, недвижимость - полковник, крупные сделки с акциями предприятий - генерал и т.д.
Интересно. Я размещаю портабельные и свои самописные программы в /home/user/mysoft (в винде аналогично, но там просто в корне типа e:/mysoft)
А вообще в линуксе (как впрочем и в винде, и в любых других системах) есть что-то что сейчас кажется правильным, и что-то что кажется неправильным. Например, единый корень файловой системы это красиво и правильно. А вот это разделение на /bin, /sbin и т.п. - явление устаревшее, концепция "Program Files" более логична (но имя папки лучше бы покороче и без пробела). Для разделения на неизменяемые бинарники, изменяемые настройки и т.п. лучше применять какие-то другие особенности файловой системы (которых кстати в существующих ФС может и не быть, но это уже другая история).
Тут есть нюанс, о котором все обычно забывают. Вы априори ставите государство превыше всего. У вас государство априори правильное и хорошее (ну а как следствие, некоторые бояре, делающие что-то не в интересах государства, или недостаточно в интересах государства - плохие). А верно ли исходное предположение?
Вся история современной российской экономики (и по странному совпадению - политики) отражается на простом незамысловатом графике с сайта banki.ru - графике курса доллара (на сайте щелкнуть по графику и выбрать "всё"). Обожаю эту картинку:
Посмотрите - прямо невооруженным глазом видно несколько сильно отличающихся участков. Какая красота была до 2009 года. Ровненько, гладко, и доллар дешевел! Что это значит? А то, что простой человек мог за те же деньги купить больше процессоров, оперативки, видеокарт и т.д.! Представляете, сколько мы могли бы купить видеокарт сейчас, если бы сохранялись цены и тенденции нулевых? Вот, то-то и оно.
До 2014 на фоне того что после - тоже очень даже ничего, хотя уже видны некие мелкие волнения.
Ну а после 2014... даже смотреть не хочется.
Интересно, если рано или поздно существующий Unicode перегрузится сложностью, есть ли шанс на появление некоего Unicode2? Более строгого, структурированного и функционального. К примеру, из эмодзи уже можно создавать какие-то конструкции, т.е. эмодзи работают по типу модификаторов. Но это работает скорее как исключение, чем как правило.
А для обычной модификации текста кажется пока ничего не придумали. Хотя с точки зрения практического применения текста модификаторы bold, italic, underline, верхний и нижний индекс, повороты на фиксированные углы (90, 180, 270), отражения, инверсии и т.п. кажутся более важными чем эмодзи. Если бы в unicode были семантические средства декорации, то всевозможые markdown, rst и т.д. во многом просто были бы не нужны. Заодно выкинуть кучу символов, которые имеют отдельные коды, но по сути являются латинскими буквами и цифрами с модификаторами.
Обожаю ваши статьи. А вот что вы думаете про языки программирования? Наверняка при использовании C++ у вас возникали мысли, "а хорошо бы чтобы была вот такая возможность в языке" или "а хорошо бы чтобы вот это в языке было иначе". Думаю, такие мысли возникают у всех программистов, именно из реального опыта, из реальных потребностей.
ИМХО не очень похожа. Lubuntu или Xubuntu лучше, хотя я пока не определился что ближе.
А Перельман был известен ДО доказательства гипотезы Пуанкаре?