Dmitry
70-80-х годов?
Dmitry
я так не думаю
Pavel
да
Anonymous
В те времена уже для смолтолка хватало ресурсов
Pavel
ну возьми сраный AVRMega
Dmitry
возьми сраный PIC лучше
Dmitry
в котором нет ничего кроме гемороя и теневых регистров
Andrey
Си - отличный язык
Dmitry
ну короче, у меня есть интерпретатор форта для MSP430
Aλeχ
но чат этот о Haskell
Dmitry
я его пускал на младших камнях серии
Dmitry
там считанные килобайты. думаю, я бы смог сделать там какой-никакой компилятор
Dmitry
ну и уж всяко мейнфреймы были мощнее.
Pavel
я помню был такой Зефиров.. вот он на хаскеле чтото для ФПГА вообще мутил
Pavel
лет 6 назад
Dmitry
ну это кодогенерация по сути
Dmitry
там нет задачи запустить компилятор на дохлом камне
Pavel
да просто посути даже возьми систему ввода вывода микроконтроллера сраного и тогда в 50-60 годах.. перфокарты.. ленты.. куча гемороя
Dmitry
Андрей чем он отличный? он получился не просто нерасширяемым, а с каким-то особым цинизмом не расширяемый
Alexander
я помню был такой Зефиров.. вот он на хаскеле чтото для ФПГА вообще мутил
меньше даже я думаю
Dmitry
попробуй реализовать на нем замыкания, например
Alexander
мы в ParSci поверх него ещё dsl забавный делали
Dmitry
т.е уникально - язык вроде высокоуровный ассемблер, но он получился таким, что на нем невозможно нормально реализовать некоторые концепции вааще.
Dmitry
ну т.е сколько-нибудь производительно
Dmitry
т.е на форте можно\
Pavel
т.е уникально - язык вроде высокоуровный ассемблер, но он получился таким, что на нем невозможно нормально реализовать некоторые концепции вааще.
тюрингполный.. просто надо знать видимо как..
Dmitry
на ассемблере можно
Dmitry
@aviamodelist эффективно - невозможно.
Andrey
То-то все ву языки поначалу в сишку транслируются, пока не допилят компилятор. Тот же сабж, например
Dmitry
ну, оставаясь в рамках этого же языка.
Andrey
любая более-менее крупная программа на Си - и далее по тексту ))
Dmitry
еще раз - именно отсутствие хоть каких-то низкоуровневых гарантий в стардарте привело к тому, что появился llvm например. в си генерить полностью беспонтово
Pavel
@aviamodelist эффективно - невозможно.
думаю это если байтодрочерски подходить. Если в рамках сложности алгоритмов то нормально будет. Если у тебя рост в степени или того больше - то байтодрочерство не поможет же
Andrey
Си волшебен своей простотой в сочетании с шикарным продакшен редем.
Dmitry
он тебе ничего вообще не гарантирует
Andrey
народ избалован хаскелем/растом... всем гарантии нужны...
Dmitry
продакшон реди - это heartbleed и его аналоги с середины 80х годов
Pavel
народ избалован хаскелем/растом... всем гарантии нужны...
Гарантии оставь себе а мне дай нефть)))
Dmitry
Андрей ну например, гарантии на размер экстента функции, если мы говорим про эмбеддед
Andrey
причем, как можно больше в компайл-тайме проверок
Dmitry
без них жопа - ты пишешь для MCU и никогда не знаешь, твоей функции хватит стека или нет
Dmitry
далее
Dmitry
например, гарантии развертывания констант.
Andrey
а где есть гарантии на размер стека? в фордах?
Dmitry
в чем?\
Dmitry
ну си, он же для низкого уровня?
Andrey
в том же хаскеле ты ваще ничего не знаешь как оно там заоптимизячится и развернется
Dmitry
ну я на хаскелле для mcu и не пишу
Konstantin
До того, чтобы ты и сегодня, и через год писал на одном языке.
так-то он два года уже стабилен и обратно совместим
Aλeχ
Фортран в конце концов
Dmitry
ну давайте помигаем диодом из ады и фортрана
Pavel
а где есть гарантии на размер стека? в фордах?
это смотря для чего гарантии - но вообще реально многим нужна эффективность - если эффективнее быстрее чтото переформулирвоать то часто выбирают именно этот путь.
Dmitry
кто готов поучаствовать в специальной олимпиаде
Dmitry
короче, мой пойнт что как язык для эбеда - си довольно плох
Andrey
что-то сегодня я выступаю адвокатом всего, на что хором нападают - от курсов Москвина и книги со слоном, до языка Си...
Dmitry
@aphoristicartist ну давайте.
Dmitry
ну я на си много писал до последнего времени
Dmitry
я имею право его немного помешать с навозом. когда писал для эмедда, это просто песня была
Dmitry
ща...
Andrey
то-то на фордах и прочих пишут процентов 1 эмбеда, а остальное на Си
Aλeχ
http://www.electronicdesign.com/iot/comparing-ada-and-c
Anonymous
так-то он два года уже стабилен и обратно совместим
https://github.com/rust-lang/rust/issues/31645
Ну... так себе.
Aλeχ
http://www.electronicdesign.com/blog/c-programmers-time-try-ada
Dmitry
Андрей тут две причины - во первых, ничего другого нет. а во вторых, эмбедщики люди своеобразные. про провода знают больше, чем про ЯП или алгоритмы
Aλeχ
контракты кстати довольного много добавляют, а в Ada они есть
Konstantin
@the_arctic_cat unstable compiler internals ни на что не намекает? )
Andrey
если бы второй аргумент работал - все они писали бы на всяких визуальных средах, которые за кадром выдают асмокот или сишку
Dmitry
они бы так и делали, если бы эти среды для всего были
Andrey
Да и другого хватает - просто на сишке 100500 либ готовых и вообще традиция ) но если язык не ограничивает и позволяет писать - то зачем выдумывать?
Andrey
Тогда Атмелам и прочим надо срочно пились визуальную среду и захватывать мир (рынок)
Andrey
И вообще сишку делали полтора человека для себя лично - а теперь ее ругают все с высоты сегодняшних представлений. вы еще жаваскрипт поругайте ,который Эйк за 10 дней на коленке слепил :) Или мой Лискрипт
Dmitry
ну в этом-то и проблема - т.е конечно нет претензий к людям, которые сделали для себя то, что им было надо
Dmitry
но результаты получились в итоге довольно прискорбные.
Anonymous