Ceylon от RedHat

Дестер · 22-11-11 19:18:48

Компания RedHat сделала свой язык программирования под названием Ceylon и к нему компилятор в байт-код, совместимый с виртуальной машиной Java. В RedHat пока не могут ответить уверенно, зачем же им понадобился свой язык, однако красношапковцы уже обещают, что этот язык облегчит программистам создание своих собственных фреймворков и библиотек классов. Как говорится, любая уважающая себя опенсорная компания должна сделать свою операционную систему и свой язык программирования.

Цейлон является объектно-ориентированным языком без специальных типов. В языке будут присутствовать nullable-типы. Классы, методы и атрибуты будут выглядеть одинаково. Явное указание геттеров/сеттеров не будет необходимостью. Вместо классических модификаторов доступа public/protected/private будут использоваться public, protected, private access, visibility.

Как ожидается, язык составит конкуренцию Java и C#.

Официальный сайт языка ceylon-lang.org/
Примеры синтаксиса можно посмотреть здесь: ceylon-lang.org/documentation/introduction/

Отредактировано Дестер (22-11-11 19:19:23)

pavel2403 · 22-11-11 21:21:30

Дестер пишет:

Как говорится, любая уважающая себя опенсорная компания должна сделать свою операционную систему и свой язык программирования.

Да уже итак наплодили нетипизированных говноязыков, и те туда же, глянул синтаксис что он мне жутко PHP+ С++ напоминает. Какой-то мутант короче. Говно.

Babusha · 22-11-11 22:12:15

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

Doppelganger · 23-11-11 06:42:02

А по мне, так вполне логичный шаг. Каким бы сомнительным и уродским данный язык не оказался, кто-то из опенсорсников его должен был бы сделать. Ибо с одной стороны .NET от MS (которую почему-то не любят), а с другой JAVA от Оракла (которого тоже уже начинают не любить). А своего кросплатформенного ничего нету.
Другое дело в

Дестер пишет:

байт-код, совместимый с виртуальной машиной Java.

Очень напоминает попытку выехать на чужом горбу.

MOP3E · 23-11-11 07:25:49

Doppelganger пишет:

которую почему-то не любят

Doppelganger пишет:

которого тоже уже начинают не любить

А они так хотели, чтобы их любили! sad

msAVA · 23-11-11 09:32:00

Doppelganger пишет:

А своего кросплатформенного ничего нету.

??? Python с PyQt и PyGTK, не? Или "своего" == "от Red Hat"?

selenscy · 23-11-11 14:22:21

Это всё фигня! Вот где цимус okante.narod.ru/D/

"§ 1. Что такое Д

Д (от русс. Душевный) - это Душевный язык программирования. Я начал создавать его, потому как заметил, что программисты на обычных зыках постоянно испытывают стресс и депрессию. А ведь програмирование должно быть не в тягость. Это основная идея языка Д.

§ 2. Зачем Д

Язык Д в корне отличается от всех предыдущих языков программирования. Эти языки отличались друг от друга техническими характеристиками, в то время как в Д основными характеристиками являются характеристики глобально-этические. Именно поэтому он обладает гармонией, следовательно предохраняет жизнь программистов от стрессов и депрессий. Поподробнее об этом читайте в статье Философия Д.

Современный процесс разработки программного обеспечения немыслим для одного человека. Именно проект языка Д открыт для всех. О том как стать разработчиком читайте a статье Приглашаются разработчики."

Surprise · 23-11-11 14:45:47

Вот где цимус

Не очень удачный пример, так как там судя повсему душевно больной человек. Если память не изменяет, это предистория или продолжение рус ос Горлова АВ.

rus-os.narod.ru/my-rusos.html
blogs.mail.ru/list/avgorlov/

Дестер · 23-11-11 15:04:12

pavel2403 пишет:

нетипизированных

Насколько я понял, Ceylon таки динамически типизируемый. Но всё же это необычный язык:

function sqrt(Float x) { return x**0.5; }
...
interface Producer<in Input, out Value>
        given Value(Input input) satisfies Equality { ... }
...
shared interface Equality {
    shared formal Boolean equals(Equality that);
    shared formal Integer hash;
}
...
String|Nothing name = ...

Думаю, фанатам руби или питона понравится.

Doppelganger пишет:

Очень напоминает попытку выехать на чужом горбу.

Вероятно, Оракл вскоре выкатит претензии к красной шапке.

Babusha, "в похапе даже отладчик приделать проблема ох пипец" - не буду холиварить, просто скажу, что ты не прав.

Арсений Венгерович · 23-11-11 15:06:48

Surprise пишет:

Не очень удачный пример, так как там судя повсему душевно больной человек. Если память не изменяет, это предистория или продолжение рус ос Горлова АВ.

УжОС - операционная система жесткого реального времени

Surprise пишет:

rus-os.narod.ru/my-rusos.html

Это что стёб такой?

Surprise · 23-11-11 15:25:46

Это что стёб такой?

Ну яж говорю шо немного не того, бывают такие люди, шо уж тут...

Babusha · 23-11-11 20:11:59

msAVA пишет:

??? Python с PyQt и PyGTK, не? Или "своего" == "от Red Hat"?

Ну сравнивать питон и .NET, это как сравнивать по силе и мощности бумажный самолетик и танк, и по большому счету, питон даже не может реализовать совместимость между двумя мажорными версиями, о кроссплатформенности пусть линупсоеды даже не заикаются, те проблемы, которые разработчик испытает при переносе с линупс на винду, могут не пугать только хардкорное линупс-бл**, которое кодит в виме.

Дестер пишет:

Думаю, фанатам руби или питона понравится.

Фанатам руби и питона - скобки (особенно - рубистам), многословность уж точно не понравятся, и зачем, когда есть более-менее полноценный groovy?

Дестер пишет:

не буду холиварить, просто скажу, что ты не прав.

90% динамико-питушков программистов, которые использовали исключительно динамические языки, вообще никогда не пользуются отладчиками , отладка для них - echo("oladka"); echo($odladka_perimennay);. ПОхапешников это несомненно касается.

Дестер · 23-11-11 21:02:14

Babusha пишет:

90% динамико-питушков

Руби - это тоже язык с динамической типизацией. Читай ЛС.

Tiphon · 23-11-11 21:29:20

msAVA пишет:

Python с PyQt и PyGTK, не? Или "своего" == "от Red Hat"?

Ты на них что-то пейсать серьезное пробовал?

Дестер · 23-11-11 21:30:11

Tiphon пишет:

Ты на них что-то пейсать серьезное пробовал?

sk1? smile

pavel2403 · 23-11-11 21:37:00

Дестер пишет:

Насколько я понял, Ceylon таки динамически типизируемый

Ты правильно понял, язык с динамической типизацией вобще-то и целом и является языком нетипизированным, потому как там обьявленная переменная может иметь любой тип( вовсе не имеет его) а только преобразуется к необходимому типу при присваивании. Вот потому что для подобных языков под любую переменную выделяется максимум памяти, до того как она проинициализирована, подобные языки всегда будут проигрывать по быстродействию языкам со строгой типизацией, не говоря ппро то, что это часто приводит к утечкам памяти из-за того, что кодер забывает инициализировать обьявленную переменную или в процессе исполнения кода её тип может быть устанолен в неопределенное значение. Но почемуже их плодиться в неимоверном количестве??? ответ простой, их проще разрабатывать и порог вхождения гороздо ниже. Языки со строгой типизацией сразу же отучают программера от вольностей при обращении с переменными и типами данных. Такая ситуация хорошо заметна среди разработчиков 1С например, когда код пишут люди не владеющие ни одним из универсальных типизированных языков и никогда не работавшие на них прежде, то это просто лютый писец, классика быдлокодинга.

Отредактировано pavel2403 (23-11-11 21:50:52)

Дестер · 23-11-11 21:50:37

pavel2403 пишет:

Вот потому что для подобных языков под любую переменную выделяется максимум памяти

Зависит от реализации интерпретатора. В интерпретаторах, которые я видел, при объявлении переменной устанавливался указатель на void, а затем уже тип этой переменной, действительно, определялся при модификации.

pavel2403 пишет:

там обьявленная переменная может иметь любой тип( вовсе не имеет его)

Это не верно. В языках с динамической типизацией можно объявлять только переменные тех типов, которые допустимы. Как правило, не имеющие явного типа переменные считаются переменными типа "undefined" (ну, или как-то так). К тому же, в большинстве языков с динамической типизацией неявным приведением переменной к другому типу можно управлять.

pavel2403 · 23-11-11 21:57:50

Дестер пишет:

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

Ага, можно, а ты знаешь все правила приведения к типам??? Какие и как можно или нельзя приводить??? И все ли соблюдают подобные правила??? И всегда ли интерпритатор корректно отрабатывает операции с приведенными значениями??? Как активный юзатель 1С я знаю что это далеко не так. Ну а по аналогии, что питон что пых-пых от него недалеко ушли.

Добавлено спустя 11 мин 07 с:

Дестер пишет:

Это не верно. В языках с динамической типизацией можно объявлять только переменные тех типов, которые допустимы. Как правило, не имеющие явного типа переменные считаются переменными типа "undefined"

Что "неверно"??? Что в языках со строгой типизацией сначала выделяется память под переменные а затем начинается исполнение кода, а в нестрогой исполняется код в процессе которого менеджер памяти с ума сходит ища свободную область для запихивания в неё приведенного значения, зачастую игнорируя свободные области и фрагментируя её???
Или неверно то что разные обьемы памяти занимают тип boolean и тип object??? а то что непроинициализированная переменная всегда хватает тип object для оптимизации времени исполнения, ты в курсе???

Дестер · 23-11-11 22:11:30

pavel2403 пишет:

И всегда ли интерпритатор корректно отрабатывает операции с приведенными значениями?

Зависит от интерпретатора.

pavel2403 пишет:

а ты знаешь все правила приведения к типам?

pavel2403, зачем прикручивать к языкам, фишкой которых является неявное приведение везде, где только можно, и динамическая типизация, статическую типизацию? Если нужна статическая типизация, проще воспользоваться другим языком.

pavel2403 пишет:

Как активный юзатель 1С

Ну, вы сами выбрали свой кактус.

Добавлено спустя 03 мин 21 с:

pavel2403 пишет:

а то что непроинициализированная переменная всегда хватает тип object

Зависит от языка и от интерпретатора.

pavel2403 · 23-11-11 22:16:16

Дестер пишет:

Ну, вы сами выбрали свой кактус.

Эх... кактусы не выбирают. Я бы с удовольствием работал с VB.Net но 1С зохавал все.

Добавлено спустя 08 мин 06 с:

Дестер пишет:

pavel2403, зачем прикручивать к языкам, фишкой которых является неявное приведение везде, где только можно, и динамическая типизация, статическую типизацию? Если нужна статическая типизация, проще воспользоваться другим языком.

Существенным недостатком интерперетируемых языков с нестрогой типизацией на мой взгляд является то, что в нем сложно работать с пользовательскими типами, по сути там любой пользовательский тип -это обьект, еще их называют структуры, но это жалкая пародия на структуры(User Defined Type) в языках со строгой типизацией и никаких преимуществ таких структур по сравнению с использованием структур с наборами произвольных простых типов вобще нет.

Дестер · 23-11-11 22:31:52

pavel2403 пишет:

Существенным недостатком интерперетируемых языков с нестрогой типизацией

Печально, когда программисты используют языки с нестрогой типизацией для решения задач, под которые эти языки не заточены.
Классы в том же php или JavaScript - это не то же самое, что классы в C++, но это мало кого волнует. Быдлокодят как придётся.

pavel2403 · 23-11-11 22:35:43

Дестер пишет:

Быдлокодят как придётся.

Вот тут я с тобой полностью согласен.

Babusha · 24-11-11 02:05:51

pavel2403 пишет:

Ты правильно понял, язык с динамической типизацией вобще-то и целом и является языком нетипизированным, потому как там обьявленная переменная может иметь любой тип( вовсе не имеет его) а только преобразуется к необходимому типу при присваивании.

Так почему же он нетипизированный, если он даже строго типизированный, только может динамически менять тип когда и где угодно?

pavel2403 пишет:

подобные языки всегда будут проигрывать по быстродействию языкам со строгой типизацией, не говоря ппро то, что это часто приводит к утечкам памяти из-за того, что кодер забывает инициализировать обьявленную переменную или в процессе исполнения кода её тип может быть устанолен в неопределенное значение.

Динамические языки, утечка памяти, бла бла, ты вообще о чем? Когда программисты руби, петона, быдло-похаее вообще задумывались об утечках памяти? Это проблемы исключительно интерпретатора, в .NET даже за память не надо беспокоится, а в динамических языках так тем более.

Дестер пишет:

pavel2403, зачем прикручивать к языкам, фишкой которых является неявное приведение везде, где только можно, и динамическая типизация, статическую типизацию? Если нужна статическая типизация, проще воспользоваться другим языком.

В groovy кстати, скрестили человека с обезьяной, можно явно указывать типы.

pavel2403 пишет:

Существенным недостатком интерперетируемых языков с нестрогой типизацией на мой взгляд является то, что в нем сложно работать с пользовательскими типами, по сути там любой пользовательский тип -это обьект, еще их называют структуры, но это жалкая пародия на структуры(User Defined Type) в языках со строгой типизацией и никаких преимуществ таких структур по сравнению с использованием структур с наборами произвольных простых типов вобще нет.

Более того, при использовании нестрогой типизации, есть ряд проблем и неудобств, к примеру, операция деления строки на число полностью возможна, или "10" == 10 вернет true, так же есть дофига проблем со скоростью выполнения при непрерывном конвертировании типов, давно приводил на версусит специальный быдлокодкод на быдлопохапе, которого в пару раз медленнее чем на руби, только из за того, что все типы там конвертируются беспорядочно, причем, из за нестрогой типизации, в общем, вроде-бы даже нормальный код на похапе превратится в помойку.

Вообще, преимущества динамических языков
1. Чистота кода.
2. Быстрота написания.
3. Динамичность изменения программы во время ее же исполнения (метапрограммирвание, например - eval)
4. Принцип "все есть выражение"
5. Простота всех операций.

Недостатки
1. Проблемы отладки
2. Низкая скорость выполнения (синтаксический анализ, компилирование и бла бла бла приходится совершать каждый раз при запуске)
3. Из за динамического изменения кода на лету, включая типы и все все все, невозможность скомпилировать в один исполняемый файл с машинным кодом, достаточно много компенсируется компиляцией в бай-код для некой виртуальной машины.
4. Высокое потребление памяти из за ее динамического изменения, из за этого очень часто ошибки утечки памяти, но сам программист, который пишет на динамическом языке - не виноват, виноват программист интерпретатора.

И всеровно, будущее за динамическими языками, платформа .NET и Java, их востребованность и удобность - это полностью доказывает, в C# много динамических фишек, которые можно реализовать, исключительно используя дополнительную выполняемую среду (интерпретатор, виртуальная машина и т.д.)

Отредактировано Babusha (24-11-11 02:07:17)

Дестер · 24-11-11 02:50:10

Модераторы, разбейте тему, пожалуйста. Динамическую типизацию хотелось бы обсудить в отдельной ветке.

msAVA · 24-11-11 14:51:04

Babusha пишет:

Ну сравнивать питон и .NET,

Разумеется, .NET вообще ни разу не кроссплатформенный.

Babusha пишет:

питон даже не может реализовать совместимость между двумя мажорными версиями

У .HET тоже бывали проблемы, когда прога требовала совершенно определённую версию .NET-а и отказывалась работать на более "высокой" версии.

Форум StopLinux

Объявление

#1 22-11-11 19:18:48

Ceylon от RedHat

#2 22-11-11 21:21:30

Re: Ceylon от RedHat

#3 22-11-11 22:12:15

Re: Ceylon от RedHat

#4 23-11-11 06:42:02

Re: Ceylon от RedHat

#5 23-11-11 07:25:49

Re: Ceylon от RedHat

#6 23-11-11 09:32:00

Re: Ceylon от RedHat

#7 23-11-11 14:22:21

Re: Ceylon от RedHat

#8 23-11-11 14:45:47

Re: Ceylon от RedHat

#9 23-11-11 15:04:12

Re: Ceylon от RedHat

#10 23-11-11 15:06:48

Re: Ceylon от RedHat

#11 23-11-11 15:25:46

Re: Ceylon от RedHat

#12 23-11-11 20:11:59

Re: Ceylon от RedHat

#13 23-11-11 21:02:14

Re: Ceylon от RedHat

#14 23-11-11 21:29:20

Re: Ceylon от RedHat

#15 23-11-11 21:30:11

Re: Ceylon от RedHat

#16 23-11-11 21:37:00

Re: Ceylon от RedHat

#17 23-11-11 21:50:37

Re: Ceylon от RedHat

#18 23-11-11 21:57:50

Re: Ceylon от RedHat

#19 23-11-11 22:11:30

Re: Ceylon от RedHat

#20 23-11-11 22:16:16

Re: Ceylon от RedHat

#21 23-11-11 22:31:52

Re: Ceylon от RedHat

#22 23-11-11 22:35:43

Re: Ceylon от RedHat

#23 24-11-11 02:05:51

Re: Ceylon от RedHat

#24 24-11-11 02:50:10

Re: Ceylon от RedHat

#25 24-11-11 14:51:04

Re: Ceylon от RedHat

Подвал форума