Size: a a a

Programming Offtop

2020 December 14

AM

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

I

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

d

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

AM

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

AM

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

I

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

I

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

с#

саша сок #KotlinGang... in Programming Offtop
Igor
Что за язык?
ну алг язык наверное
источник

I

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

d

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

I

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

AM

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

d

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

I

Ilmir in Programming Offtop
dimiii
Версия ide в дизайне фиксирована?
Да, фиксирована. Текущая + минус одна версия + минус две версии. Ну и соответствующие версии андроид студии.
источник

I

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

IP

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

IP

Iaroslav Postovalov in Programming Offtop
ну пасиб
источник

IP

Iaroslav Postovalov in Programming Offtop
источник

d

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

VP

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