Go 1.4.2

А, ты из тех, кто выбирает себе один язык и потом отстаивает его честь в религиозных войнах?

Бгггггг.

Спасибо за разрешение.

От Z3 его уже отвязали?

Мсье много программировал с зависимыми типами?

Мне делать больше нечего кроме как шквариться о хипстерскую функциональшину.

А чего тогда про верификацию кукарекаешь? Или, может быть, ты любитель SPARK?

Я тупой быдлокодер делающий тупые ошибки. Мне нужен инструмент который будет сам тыкать меня носом и говорить «вот тут у тебя неправильно!». Сейчас приходится обкладываться ассертами, как минами, и писать тесты. Но этого всё равно мало. Мне до гениальных, никогда не делающих ошибок, хипстеров как до Пекина раком.

нужен инструмент который будет сам тыкать меня носом и говорить «вот тут у тебя неправильно!»

Но такого инструмента никогда не будет

Небольшой офф-вопрос: что там щас с Dart от Гугла? Живе-развивается?

asm.js выглядит перспективней.

Но он необходим.

Нет. https://github.com/FStarLang/FStar/blob/master/INSTALL.md

А что-то стороннее можно впилить?

Go — это для C'шников, для которых Python слишком муторно

Чо, серьезно? В смысле - ты и правда так думаешь? O_o

Я тупой быдлокодер делающий тупые ошибки.

Я тупой

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

Действие второе: те же и tailgunner.

Я особо не в курсе, если честно. А зачем выпиливать?

Алсо, смотри какую штуку нашел — http://research.microsoft.com/en-us/projects/dafny/

Я пока не особенно понял, насколько годна лицензия MSR. Это все же не Ms-PL.

Dafny

Любопытно, надо будет глянуть.

Но нём запилен Docker.

Сразу приходит на ум CVSup на Modula3.

Считать себя умным и не делающим ошибок это не более забавная иллюзия для чесания ЧСВ. Люди в принципе крайне ограниченные и нелогичные существа, сама природа которых не позволяет признавать собственных недостатков. Моё отличие от вас и от хипстеров в том что я это понимаю и потому могу данный факт учитывать и что то с этим делать. Например не доверять тому коду который я написал. И именно знание своей ограниченности и заставляет меня просить инструменты которые позволят мне находить места где же я ошибся как можно быстрей и эффективней.

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

Забавно. По твоим же собственным словам ты не человек. Здравствуй, Супермен.

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

Тупой быдлокодер не сможет освоить эти инструменты. По крайней мере, пока не станет острым.

Язык на пару дней поиграться и выбросить Ни один вменяемый человек не будет на нем делать серьезный проект

Docker — это несерьезный проект?

Есть кто, кто использует Gin, как оно вообще?

Чтобы видеть свои ограничения требуется обучение и дисциплина. Быть каким то «сверхчеловеком» не надо.

Тупой быдлокодер не сможет освоить эти инструменты.

Что сложного в том чтобы прочитать сообщение «Если в эту функцию передать такое и такое значения то результат будет за пределами дозволенного поскольку там будет такой-то путь в условиях» и исправить это? На выходе должно быть примерно такое.

Чтобы видеть свои ограничения требуется обучение и дисциплина.

Ну, судя по твоим словам, людям «сама природа не позволяет». Природу ни обучением, ни дисциплиной не преодолеть.

Другое дело, что для понимания своих ограничений не требуется дисциплины, да и обучения тоже - только опыт. Но такая точка зрения не позволяет пафосно рассуждать на темы «я отличаюсь от вас».

Что сложного в том чтобы прочитать сообщение «Если в эту функцию передать такое и такое значения то результат будет за пределами дозволенного поскольку там будет такой-то путь в условиях» и исправить это?

Ты описываешь что-то похожее на зависимые типы. Та самую «хипстерскую функциональщину», о которую настоящие поцаны не хотят «шквариться».

Природу ни обучением, ни дисциплиной не преодолеть.

Преодолеть. Вы же не кидаетесь на прохожих?

Ты описываешь что-то похожее на зависимые типы.

Мне нет дела до того как оно называется. Мне есть дело до того чтобы оно работало и не имело марсианский синтаксис.

Мне нет дела до того как оно называется

Ну ок.

Мне есть дело до того чтобы оно работало

Оно работает уже лет 25 минимум.

и не имело марсианский синтаксис

И имеет человеческий синтаксис, да.

хорошая шутка

Мне нужен инструмент который будет сам тыкать меня носом и говорить «вот тут у тебя неправильно!»

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

Что не так?

Оно работает уже лет 25 минимум.

Тогда почему его нигде нет? Мне нужен императивный компилируемый язык с этим всем, не какая нибудь хипстерская чушь которой пользуется 3 человека на планете. В идеале - чтобы это было в Visual Studio.

Мне нужен императивный компилируемый язык с этим всем

http://research.microsoft.com/en-us/projects/dafny/

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

Языки с зависимыми типами используются инженерами во многих областях. Более того, куча домохозяек (или клоунов с лора а-ля ranka-lee) постоянно пользуется результатами их работы.

В идеале - чтобы это было в Visual Studio

https://github.com/FStarLang/FStar
http://research.microsoft.com/en-us/projects/dafny/

Dafny

Ну это примерно то что надо, ага. Только я слышу о нём впервые. Дальше исследований оно вроде как пока не уходило.

потому как его пытаются впарить абсолютно все теперь вместо javascript в прошлом. Лучше бы JS впаривали бы дальше

Питон впарить? JS в прошлом? Как раз наоборот, сейчас модно JS впаривать. На десктоп приходит, на мобилки пришел, на сервера приходит. Всюду он. Только вот этот высер никуда не годен, и живет за счет неспособности вебмакак осилить хоть что-то отличное от. Не, я лучше на питоне попишу. А в отдаленном светлом будущем возможно окончательно перекачусь на Го. JS - нет пути.

Только я слышу о нём впервые

Я тоже о нем только сегодня узнал) Алсо крайне рекомендую повтыкать в сайт майкрософт рисёч — ребятки занимаются многими прикольными вещами.

Дальше исследований оно вроде как пока не уходило

Ничего, все через это проходят.

Чем принципиально отличаются JS, Python и Go, м?

А что тебя удивляет? Разверни мысль пожалуйста.

Да ващета в некоторых случаях и яву сможет заменить, ПМСМ.

А что тебя удивляет?

То, что у Go по сравнению с Си огромный непрозрачный рантайм. И если ты занимался на Си задачами, в которых нужен такой рантайм - значит, ты использовал Си не по назначению.

Рантайм у C на самом деле тоже не самый лёгкий. Одни только shared-libs чего стоят. А ещё ручное управление памятью. Да, это может быть быстро, если конечно уметь это делать. Или наоборот.

Да, runtime чуть тяжелей, но при этом Go сочетает в себе лёгкость разработки Python'а и скорость C.

Некоторые вещи проще делать на C. Другие на Go (и их, этих вещей, гораздо больше). А ещё можно совмещать одно с другим. ;) CGO!

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

14-е место на GitHub по числу новых проектов: http://www.balancer.ru/g/p3713296

Популярнее, чем Perl, Scala, Lua, Haskell... В копилку «серьёзных проектов» легко попадает Docker.

Лишь бы свою авиабазу пропиарить. http://githut.info/

Лишь бы свою авиабазу пропиарить

Там просто подборка материалов за несколько последних лет. А по твоей ссылке только текущий момент. И позицию там ручками считать, что ли?

Некоторые вещи проще делать на C. Другие на Go (и их, этих вещей, гораздо больше).

Похоже, ты на Си писал серверы.

Позиция чуть ниже, дыа. А сверху можно выбрать дату, на которую отображать статистику, дыа.

Видишь ли, GitHub — не единственный. Но, вообще, тут еды нет. Так что будете мимо проходить — проходите.

а на чем вы предлагаете писать серверы?

Видишь ли, GitHub — не единственный.

Что ты несешь? По твоей ссылке данные только с гитхаба, на гитхате тоже данные только с гитхаба.

Но, вообще, тут еды нет.

Какой еды? Ты не осилил сложный интерфейс гитхата?

а на чем вы предлагаете писать серверы?

На языках, у которых есть профильные фреймворки.

например?

h2o чем не профильный фреймворк?