В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Programming Offtop

573 membersпожаловаться на группу
2020 December 14

AM

Andrew Mikhaylov in Programming Offtop
dimiii
Это достаточно субъективное понятие, ну ок. Попробую уточнить - для меня костыль в дизайне яп все что не основывается на формализме. ad-hoc решения которые тянутся из-за сиеминтных прихотей и обуславливаются такими странными вещами как удобство поддержки в IDE
Программировать, может, и стоит, но только на теоремпруверах, прости господи. Пушта мэинстримные языки вдоль и поперёк построены на костылях, если взять такое определение костыля за основу.
источник
13:10пожаловаться#1

I

Ilmir in Programming Offtop
dimiii
Это достаточно субъективное понятие, ну ок. Попробую уточнить - для меня костыль в дизайне яп все что не основывается на формализме. ad-hoc решения которые тянутся из-за сиеминтных прихотей и обуславливаются такими странными вещами как удобство поддержки в IDE
Есть один язык, в котором всё основано на формализме. И это не язык программирования. Все остальные языки программирования, то есть вообще все, вносят сахарок, чтобы на них было можно программировать.
источник
13:11пожаловаться#2

d

dimiii in Programming Offtop
Andrew Mikhaylov
Программировать, может, и стоит, но только на теоремпруверах, прости господи. Пушта мэинстримные языки вдоль и поперёк построены на костылях, если взять такое определение костыля за основу.
К новым языкам просто требования жестче. "Ты должен был бороться со злом.."
источник
13:11пожаловаться#3

AM

Andrew Mikhaylov in Programming Offtop
dimiii
К новым языкам просто требования жестче. "Ты должен был бороться со злом.."
Котлин изначально позиционировался как беттер джава с отличным интеропом с этой самой джавой. Какую математику предполагается увидеть в этом интеропе?
источник
13:12пожаловаться#4

AM

Andrew Mikhaylov in Programming Offtop
Щас он уже не беттер джава, но остальные платформы также пляшут в том числе вокруг интеропа с соответственно джиэсом и сями. Там какую математику подложить?
источник
13:13пожаловаться#5

I

Igor in Programming Offtop
Ilmir
Есть один язык, в котором всё основано на формализме. И это не язык программирования. Все остальные языки программирования, то есть вообще все, вносят сахарок, чтобы на них было можно программировать.
Что за язык?
источник
13:13пожаловаться#6

I

Ilmir in Programming Offtop
dimiii
К новым языкам просто требования жестче. "Ты должен был бороться со злом.."
У Котлина одно из требований - хорошая работа с ИДЕ. Это жёсткое требование, которого не было у других языков, когда их создавали.
источник
13:13пожаловаться#7

с#

саша сок #KotlinGang... in Programming Offtop
Igor
Что за язык?
ну алг язык наверное
источник
13:14пожаловаться#8

I

Ilmir in Programming Offtop
Igor
Что за язык?
Лямбда исчисление же. Можно взять типизированный вариант.
источник
13:14пожаловаться#9

d

dimiii in Programming Offtop
Ilmir
У Котлина одно из требований - хорошая работа с ИДЕ. Это жёсткое требование, которого не было у других языков, когда их создавали.
И ты не находишь это ужасным и уродливым?
источник
13:14пожаловаться#10

I

Ilmir in Programming Offtop
dimiii
И ты не находишь это ужасным и уродливым?
Нет, не нахожу. Я нахожу уродливым неспособность увидеть что-то за пределами строго-типизированного мира. Мне, чёрт побери, нравится Раку - динамически типизированный язык.
источник
13:15пожаловаться#11

AM

Andrew Mikhaylov in Programming Offtop
Эх, опять тут натюрморты с рабочими инструментами рисовать пытаются безуспешно.
источник
13:15пожаловаться#12

d

dimiii in Programming Offtop
Ilmir
Нет, не нахожу. Я нахожу уродливым неспособность увидеть что-то за пределами строго-типизированного мира. Мне, чёрт побери, нравится Раку - динамически типизированный язык.
Версия ide в дизайне фиксирована?
источник
13:16пожаловаться#13

I

Ilmir in Programming Offtop
dimiii
Версия ide в дизайне фиксирована?
Да, фиксирована. Текущая + минус одна версия + минус две версии. Ну и соответствующие версии андроид студии.
источник
13:17пожаловаться#14

I

Ilmir in Programming Offtop
Мне тут, кстати, пришла в голову мысль, что формализовать инлайн и кроссинлайн лямбды не невозможно. И вроде как не должно быть особо сложно. Если я напишу папир с формализацией, @dimiiix, поменяешь ли ты своё мнение насчет инлайна?
источник
13:21пожаловаться#15

IP

Iaroslav Postovalov in Programming Offtop
dimiii
К новым языкам просто требования жестче. "Ты должен был бороться со злом.."
то есть надо писать либо на си, либо на коке. а если пишешь новый язык - это должен быть кок
источник
13:22пожаловаться#16

IP

Iaroslav Postovalov in Programming Offtop
ну пасиб
источник
13:22пожаловаться#17

IP

Iaroslav Postovalov in Programming Offtop
sticker.webp
(22.11 Кб)
источник
13:22пожаловаться#18

d

dimiii in Programming Offtop
Ilmir
Мне тут, кстати, пришла в голову мысль, что формализовать инлайн и кроссинлайн лямбды не невозможно. И вроде как не должно быть особо сложно. Если я напишу папир с формализацией, @dimiiix, поменяешь ли ты своё мнение насчет инлайна?
Я и не сомневаюсь что можно, вопрос насколько это будет красиво. Если эта формализация позволит найти ошибки / доказать что их нет - да, поменяю, безусловно.
источник
13:23пожаловаться#19

VP

Vladimir Petrakovich in Programming Offtop
Andrew Mikhaylov
Щас он уже не беттер джава, но остальные платформы также пляшут в том числе вокруг интеропа с соответственно джиэсом и сями. Там какую математику подложить?
Более того, он позиционируется как "прагматичный", то есть сахар > матан.
источник
13:25пожаловаться#20