S
Size: a a a
2020 August 03
КГ
A
Нету
Типы есть, статической проверки нет(если не считать псалм).
ЕР
Типы есть, статической проверки нет(если не считать псалм).
Вопрос терминологии
AK
Типы есть, статической проверки нет(если не считать псалм).
Оч ограниченные
A
А можно конкретики? Вот очень интересно :) Что именно не норм? Какие риски? Что есть в других языках такого, что прям разительно отличает ЯПName от пыха и дает какие-то супервозможности?
В других языках есть модульность, макросы/возможность инлайна функций, ADT, некоторые expression-based, есть паттерн-матчинг, дерайвинг поведения.
A
не подключишь неймспейс - класс не доступен
неймспейсы это просто умный копи-паст, не более. никакой модульности они не дают.
VS
неймспейсы это просто умный копи-паст, не более. никакой модульности они не дают.
Если бы был уровень видимости пакета, то была бы модульность?
A
Vlad Sobenko
Если бы был уровень видимости пакета, то была бы модульность?
Перед тем как такое спрашивать надо бы ввести определение пакета.
Но вообще я лишь говорил, что сейчас все доступно отовсюду. А неймспейсы это просто сахар, чтобы много не печатать.
Но вообще я лишь говорил, что сейчас все доступно отовсюду. А неймспейсы это просто сахар, чтобы много не печатать.
VS
Перед тем как такое спрашивать надо бы ввести определение пакета.
Но вообще я лишь говорил, что сейчас все доступно отовсюду. А неймспейсы это просто сахар, чтобы много не печатать.
Но вообще я лишь говорил, что сейчас все доступно отовсюду. А неймспейсы это просто сахар, чтобы много не печатать.
psalm-internal помогает с этим
S
модульность: require,
макросы: eval,
инлайн функции: $c= function() {};
ADT: отсуствие обязательных типов есть абстракция;
expression-based: пишите в 1 строку и будет у вас expression язык;
паттерн-матчинг: зависит от IDE а не от языка, или в блокноте у вас компилятор будет уметь в паттерн-матчинг?
дерайвинг поведения: https://en.wikipedia.org/wiki/Program_derivation согласно вики "соотвествие программы какимто математическим алгоритмам"
макросы: eval,
инлайн функции: $c= function() {};
ADT: отсуствие обязательных типов есть абстракция;
expression-based: пишите в 1 строку и будет у вас expression язык;
паттерн-матчинг: зависит от IDE а не от языка, или в блокноте у вас компилятор будет уметь в паттерн-матчинг?
дерайвинг поведения: https://en.wikipedia.org/wiki/Program_derivation согласно вики "соотвествие программы какимто математическим алгоритмам"
AK
модульность: require,
макросы: eval,
инлайн функции: $c= function() {};
ADT: отсуствие обязательных типов есть абстракция;
expression-based: пишите в 1 строку и будет у вас expression язык;
паттерн-матчинг: зависит от IDE а не от языка, или в блокноте у вас компилятор будет уметь в паттерн-матчинг?
дерайвинг поведения: https://en.wikipedia.org/wiki/Program_derivation согласно вики "соотвествие программы какимто математическим алгоритмам"
макросы: eval,
инлайн функции: $c= function() {};
ADT: отсуствие обязательных типов есть абстракция;
expression-based: пишите в 1 строку и будет у вас expression язык;
паттерн-матчинг: зависит от IDE а не от языка, или в блокноте у вас компилятор будет уметь в паттерн-матчинг?
дерайвинг поведения: https://en.wikipedia.org/wiki/Program_derivation согласно вики "соотвествие программы какимто математическим алгоритмам"
Мило)
A
модульность: require,
макросы: eval,
инлайн функции: $c= function() {};
ADT: отсуствие обязательных типов есть абстракция;
expression-based: пишите в 1 строку и будет у вас expression язык;
паттерн-матчинг: зависит от IDE а не от языка, или в блокноте у вас компилятор будет уметь в паттерн-матчинг?
дерайвинг поведения: https://en.wikipedia.org/wiki/Program_derivation согласно вики "соотвествие программы какимто математическим алгоритмам"
макросы: eval,
инлайн функции: $c= function() {};
ADT: отсуствие обязательных типов есть абстракция;
expression-based: пишите в 1 строку и будет у вас expression язык;
паттерн-матчинг: зависит от IDE а не от языка, или в блокноте у вас компилятор будет уметь в паттерн-матчинг?
дерайвинг поведения: https://en.wikipedia.org/wiki/Program_derivation согласно вики "соотвествие программы какимто математическим алгоритмам"
не вижу смысла дальше спорить
A
вы спросили - я ответил
A
это хорошо
но если что, "не вижу смысла дальше спорить" не означает что я с вами согласен
S
но если что, "не вижу смысла дальше спорить" не означает что я с вами согласен
тем не менее )
AK
тем не менее )
Ну я могу посоветовать почитать про обсуждаемые термины, что такое adt, pattern matching, expressions и deriving
S
Ну я могу посоветовать почитать про обсуждаемые термины, что такое adt, pattern matching, expressions и deriving
как это может мне в жизни ?