Программирование[11]

besteady написал Только что:

Пролог не обязан вычисляться на машине фон неймана

никто этого не утверждал, спасибо за очевидный тезис

Just.Doit написал 1 минуту назад:

besteady написал 2 минуты назад:

Пролог не обязан вычисляться на машине фон неймана

никто этого не утверждал, спасибо за очевидный тезис

есть задача - вычислить логику записанную в определенной нотации

есть не фон неймановский вычислятор

можно взять соотвествующую реализацию пролога

таким образом пролог это не абстракция над вычислениями поверх машины фон неймана

Kant написал 34 минуты назад:

а что кто-то еще пишет на джаве, а не на котлине?

 

это как писать на шарпе времент .нета 1.1, где дженериков даже не было, пиздос

Как раз таки сейчас Java обновляется постоянно, а котлин то JDK17 не поддерживает, то поддерживает но флаги нужно ставить, ансейфы разрешать.

Про всякие граальвм забыть можно. Версионинг пиздец какието 1.19.162 1.15.1499 и теье это все нужно курить и спрашивать советов мудрых.

Нихуя не понятно, но бестеди убедительнее пока что

besteady написал 58 минут назад:

таким образом пролог это не абстракция над вычислениями поверх машины фон неймана

ну в таких условиях - не абстракция. в моем контексте - абстракция

на квантор всеобщности я и не претендовал, как раз делал оговорку что это можно на так посмотреть

Index написал 43 минуты назад:

а котлин то JDK17 не поддерживает

а должен?

ну обратно совместимо я так понимаю будет все работать

Index написал 43 минуты назад:

Версионинг пиздец какието 1.19.162 1.15.1499 и теье это все нужно курить и спрашивать советов мудрых.

я вот пока больше всего критики про котлин слышу "ааааа сложна" что означает обычно "аааа, мне в моем джава-болоте уютно, ниче не хочу больше знать" 

Index написал 43 минуты назад:

Про всякие граальвм забыть можно.

он не по байткоду разве работает

GraalVM native image (https://www.graalvm.org/22.0/reference-manual/native-image/):

Native Image supports JVM-based languages, e.g., Java, Scala, Clojure, Kotlin.

покопал - graalvm работает даже с более низкоуровневой абстракцией чем джава байткод (ну или уровневость примерно такая же, но жава байткод конвертируется в truffle intermediate representation)

и чтобы любой язык поддержать - достаточно реализовать конвертацию IR Этого языка в IR truffle, что обынчо довольно тривиальная задача, и для большниства языков это сделано тк есть LLVM адопшен, и много языков сейчас юзают LLVM

какой нахер котлин, его кроме мобилок же 1.5 калеки используют и то в джава проектах по приколу

Kant написал 21 час назад:

а что кто-то еще пишет на джаве, а не на котлине?

 

это как писать на шарпе времент .нета 1.1, где дженериков даже не было, пиздос

такое может высрать только тот, кто последний раз писал на джаве 7 в 2012 году

да да, поэтому я и вижу под каждым постом на реддите про "супер новую фичу джавы 38" слова "ура, но мы еще на ждк 1.6"

Kant написал 25 минут назад:

да да, поэтому я и вижу под каждым постом на реддите про "супер новую фичу джавы 38" слова "ура, но мы еще на ждк 1.6"

ну че за пиздаболия и то уже на 17 все переходят потихоньку 

Java SE 8

LTS version

ReleasedMarch 18, 2014
(8 years ago)

что и требовалось доказать

даже до var еще не доехали

Lotus написал 2 часа назад:

какой нахер котлин, его кроме мобилок же 1.5 калеки используют и то в джава проектах по приколу

Kotlin is now a recommended programming language for server-side JVM usage at Google, while still providing access to a large existing Java ecosystem. With over 11 million lines of Kotlin code at Google (across server and Android), we've done a number of things to ensure our developers are successful with Kotlin. This talk will explore the challenges we faced, and the reasons we're adding Kotlin as an available language and how we've made it a successful change.

то ли дело вот это 

class NodeItem<T> where T : System.IComparable<T>, new() { }
class SpecialNodeItem<T> : NodeItem<T> where T : System.IComparable<T>, new() { }
  
class SuperKeyType<K, V, U>
    where U : System.IComparable<U>
    where V : new()
{ }

Такая уебищная конвенция писать I в интерфейсе, будто есть разница Comparable или IComparable

Зато на уровне инжекта у тебя зачем-то лишняя информация что есть реализация без интерфейса а что интерфейс с неясной реализацией.

там кант выебывался что джира у него пустая

я сегодня свою скролить начал вниз списка

втф

Index написал 3 часа назад:

Такая уебищная конвенция писать I в интерфейсе, будто есть разница Comparable или IComparable

Зато на уровне инжекта у тебя зачем-то лишняя информация что есть реализация без интерфейса а что интерфейс с неясной реализацией.

согласен, все эти суффиксы-приставки нахуй не нужны

Kant написал 7 часов назад:

Java SE 8

LTS version

ReleasedMarch 18, 2014
(8 years ago)

 

что и требовалось доказать

даже до var еще не доехали

нахуй этот вар нужен, я в груви юзаю def, но под мои нужды он подходит, так как пишу на нем скрипты, но я в рот ебал разбираться что там под var, это же вообще нечитабельно в серьезном проекте, к тому же для любителей var есть ломбок

типичный джава бот с ждк 1.4 подъехал

я вас попрошу, я на 8 :)

Соглы с варом. Юзлес хуйня байты сорцов экономить? 

Если тайпать, то Ctrl+Alt+V сделает переменную. Т.е эта хуйня не ускоряет меня никак.

var не заюзать для задания неиницализированной переменной.

Не заюзать там где тип которым переменная проинициализируется динамический и хочешь чтобы переменная была супертипом.

плюс я задаю тип интерфейса

List<T> listT = new ArrayList<T>();

А с var это будет по сути

ArrayList<T>  listT = new ArrayList<T>(); где ArrayList<T> скрыт за var

Очень редко юзаю его, только для красоты и там где тип очевиден из контекста

var name = fetchName();
var single = fetchMarriageStatus() != MARRIED;

деф и вар (в джаве 5 лет почти как) это вообще про разное