ну так офигенно. перепридумать AST, назвать это языком, а потом называть все языки недолиспами, ведь там же есть AST

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

харош тут картинок

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

не надо упарываться в конец уже

больш не буду

не, ну правда - Си довольно бессмысленный, как язык

не, ну правда - Си довольно бессмысленный, как язык

ага

безрадостный скорее. "бессмысленный" — неправильное слово

не, ну правда - Си довольно бессмысленный, как язык

а чего ж на нем написано столько?

Ну пока Раст не дорос, что нам делать?

а low level у Haskell на чем?

не, ну правда - Си довольно бессмысленный, как язык

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

Ну пока Раст не дорос, что нам делать?

а бы сказал с чем рифмуется раст

не надо упарываться в конец уже

???

но не буду

я знаю чувака который пошел по пути форт -> лисп и сделал staapl

для микроконтроллеров

как бы там ни было, PIC16 вряд ли более мощный, чем мейнфреймы тех лет

для микроконтроллеров

и больше его никто не видел

лисп -> типизированный лисп aka ml -> хаскель, как ml на стероидах

лисп <- ассемблер <- машинные коды <- транзисторная логика <- квантовая механика

а бы сказал с чем рифмуется раст

Да все свои

для микроконтроллеров

ща любой микроконтроллер уделает огромные ЭВМ того времени, ну почти любой

70-80-х годов?

я так не думаю

да

В те времена уже для смолтолка хватало ресурсов

ну возьми сраный AVRMega

возьми сраный PIC лучше

в котором нет ничего кроме гемороя и теневых регистров

возьми сраный PIC лучше

да тоже самое будет.. даже Tiny гдето уделает

Си - отличный язык

ну короче, у меня есть интерпретатор форта для MSP430

но чат этот о Haskell

я его пускал на младших камнях серии

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

ну и уж всяко мейнфреймы были мощнее.

я помню был такой Зефиров.. вот он на хаскеле чтото для ФПГА вообще мутил

лет 6 назад

ну это кодогенерация по сути

там нет задачи запустить компилятор на дохлом камне

да просто посути даже возьми систему ввода вывода микроконтроллера сраного и тогда в 50-60 годах.. перфокарты.. ленты.. куча гемороя

Андрей чем он отличный? он получился не просто нерасширяемым, а с каким-то особым цинизмом не расширяемый

я помню был такой Зефиров.. вот он на хаскеле чтото для ФПГА вообще мутил

меньше даже я думаю

попробуй реализовать на нем замыкания, например

Ну пока Раст не дорос, что нам делать?

дорос до чего

мы в ParSci поверх него ещё dsl забавный делали

дорос до чего

До того, чтобы ты и сегодня, и через год писал на одном языке.

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

ну т.е сколько-нибудь производительно

т.е на форте можно\

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

тюрингполный.. просто надо знать видимо как..

на ассемблере можно

@aviamodelist эффективно - невозможно.

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

ну, оставаясь в рамках этого же языка.

любая более-менее крупная программа на Си - и далее по тексту ))

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

@aviamodelist эффективно - невозможно.

думаю это если байтодрочерски подходить. Если в рамках сложности алгоритмов то нормально будет. Если у тебя рост в степени или того больше - то байтодрочерство не поможет же

Си волшебен своей простотой в сочетании с шикарным продакшен редем.

он тебе ничего вообще не гарантирует

народ избалован хаскелем/растом... всем гарантии нужны...

продакшон реди - это heartbleed и его аналоги с середины 80х годов

народ избалован хаскелем/растом... всем гарантии нужны...

Гарантии оставь себе а мне дай нефть)))

Андрей ну например, гарантии на размер экстента функции, если мы говорим про эмбеддед

причем, как можно больше в компайл-тайме проверок

без них жопа - ты пишешь для MCU и никогда не знаешь, твоей функции хватит стека или нет

далее

например, гарантии развертывания констант.

ERROR: S client not available

а где есть гарантии на размер стека? в фордах?

в чем?\

ну си, он же для низкого уровня?

в том же хаскеле ты ваще ничего не знаешь как оно там заоптимизячится и развернется

ну я на хаскелле для mcu и не пишу

ну я на хаскелле для mcu и не пишу

Ada есть

До того, чтобы ты и сегодня, и через год писал на одном языке.

так-то он два года уже стабилен и обратно совместим

Фортран в конце концов

ну давайте помигаем диодом из ады и фортрана

а где есть гарантии на размер стека? в фордах?

это смотря для чего гарантии - но вообще реально многим нужна эффективность - если эффективнее быстрее чтото переформулирвоать то часто выбирают именно этот путь.

кто готов поучаствовать в специальной олимпиаде

ну давайте помигаем диодом из ады и фортрана

спокойно

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

что-то сегодня я выступаю адвокатом всего, на что хором нападают - от курсов Москвина и книги со слоном, до языка Си...

@aphoristicartist ну давайте.

ну я на си много писал до последнего времени

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

ща...

то-то на фордах и прочих пишут процентов 1 эмбеда, а остальное на Си

http://www.electronicdesign.com/iot/comparing-ada-and-c

так-то он два года уже стабилен и обратно совместим

https://github.com/rust-lang/rust/issues/31645 Ну... так себе.

http://www.electronicdesign.com/blog/c-programmers-time-try-ada

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

контракты кстати довольного много добавляют, а в Ada они есть

@the_arctic_cat unstable compiler internals ни на что не намекает? )

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

они бы так и делали, если бы эти среды для всего были

Да и другого хватает - просто на сишке 100500 либ готовых и вообще традиция ) но если язык не ограничивает и позволяет писать - то зачем выдумывать?

@the_arctic_cat unstable compiler internals ни на что не намекает? )

нит

Тогда Атмелам и прочим надо срочно пились визуальную среду и захватывать мир (рынок)

И вообще сишку делали полтора человека для себя лично - а теперь ее ругают все с высоты сегодняшних представлений. вы еще жаваскрипт поругайте ,который Эйк за 10 дней на коленке слепил :) Или мой Лискрипт

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