Size: a a a

Programming Offtop

2020 October 26

I

Ilmir in Programming Offtop
(
Скалистам можно, они умнее
https://t.me/pofftop/245340

Если я могу написать программу, которая гарантированно стайпчекается и крашнется в рантайме, то значит, я всё сделал по канонам ФП тусовки. Так и запишем.
источник

(

( in Programming Offtop
Ilmir
Вы там сначала type soundness завезите, потом на других рычите.
Я кстати сейчас исключительно как юзер котлина говорю. Какие оправдания есть у разработчиков котлина, что у меня по вине разработчиков котлина крашится программа, которая по словам разработчиков котлина не должна скомпилироваться вообще?
источник

d

dimiii in Programming Offtop
Ilmir
И ещё. @happy_bracket в чём _формальное_ отличие цикла от хвостовой рекурсии? В каком папире мне найти выкладки, показывающие это отличие?
Насчёт формального не скажу, но интересно увидеть аналог while(true)
источник

I

Ilmir in Programming Offtop
(
Я кстати сейчас исключительно как юзер котлина говорю. Какие оправдания есть у разработчиков котлина, что у меня по вине разработчиков котлина крашится программа, которая по словам разработчиков котлина не должна скомпилироваться вообще?
Это баг, очевидно же. Добро пожаловать в ютрек.
источник

I

Ilmir in Programming Offtop
dimiii
Насчёт формального не скажу, но интересно увидеть аналог while(true)
@tailrec
fun foo(): Unit = foo()
источник

(

( in Programming Offtop
Ilmir
Это баг, очевидно же. Добро пожаловать в ютрек.
Очень хорошо
Почему у меня в языке баг?
источник

(

( in Programming Offtop
Почему у меня в жяве багов компилятора нет?
источник

d

dimiii in Programming Offtop
Ilmir
@tailrec
fun foo(): Unit = foo()
И что, мне уже не набросить?
источник

I

Ilmir in Programming Offtop
(
Почему у меня в жяве багов компилятора нет?
Как хорошо ты искал? Я вот прекрасно помню, как обходил баг в джаваке у нас в компиляторе.
источник

d

dimiii in Programming Offtop
Нужно тело позаковыристей
источник

I

Ilmir in Programming Offtop
(
Очень хорошо
Почему у меня в языке баг?
Измененный Закон Мёрфи. Если в программе есть баг, на него обязательно наткнутся, особенно, если пользователей 1кк. И это обязательно будет скалист-хейтер.
источник

(

( in Programming Offtop
Ilmir
Как хорошо ты искал? Я вот прекрасно помню, как обходил баг в джаваке у нас в компиляторе.
Ну как бы видишь в чем дело, я пишу на жявке в таком же режиме, что и на котлине, и.е. использую удобные инструменты языка, чтобы закрыть тк или иную задачу, и на жявке я багов не вижу, а на котлине вижу
Понятно, что жявку тоже не Брейди делает, но это в итоге все сводится к моему изначальному тезису - feature by need, а не feature by design приводит к 30к ишуй на ютреке, на которые ещё и не реагируют
источник

AI

Aynur Iceman in Programming Offtop
Ilmir
Adj.  1.  formalized - concerned with or characterized by rigorous adherence to recognized forms (especially in religion or art); "highly formalized plays like `Waiting for Godot'"

Очень хорошее описание ФП тусовки.
жесть
источник

AN

Alexander Nozik in Programming Offtop
(
Почему у меня в жяве багов компилятора нет?
Потому что ты на ней не пишешь
источник

(

( in Programming Offtop
Ilmir
Измененный Закон Мёрфи. Если в программе есть баг, на него обязательно наткнутся, особенно, если пользователей 1кк. И это обязательно будет скалист-хейтер.
Напоминаю, что я не с точки зрения скалиста сейчас котлин рассматриваю
источник

(

( in Programming Offtop
Alexander Nozik
Потому что ты на ней не пишешь
Сейчас нет, до котлина я писал только на ней
источник

AN

Alexander Nozik in Programming Offtop
dimiii
И что, мне уже не набросить?
Да набросить. Исключений-то тоже нет.
источник

AN

Alexander Nozik in Programming Offtop
(
Сейчас нет, до котлина я писал только на ней
Ну значит мало писал. Ошибке в JVM даже я находил. Ошибки разумеется не в компилляторе Java, потому что его почти нет.
источник

AN

Alexander Nozik in Programming Offtop
А так идем в JDK баг-треккер и радуемся. Там много интересного
источник

(

( in Programming Offtop
ага, хитрые жетбреинс, не дают мне отфильтровать ишуи по открытости
источник