F#socimedИ? О чем спич? Хочешь сказать, что ты не умеешь расширять С

Перечитайте пост на который вы отвечаете - там все написано.
Там написано про убогость и нерасширяемость С. Потому и спрашиваю, откда выводы про убогость и нерасширяемость?
Не умеем расширять?


F#Тут то и наступает понимание, что все что ты можешь - это лишь подражать другим, в т.ч. в их заблуждениях. Задумайся над этим, на досуге.


Аргументы есть? Если вы не понимаете разницы между AST и текстом то делать ваши eDSL на C

Аргументы есть, и самоидентификацией у меня тоже все ок. И причем тут AST (abstract syntax tree) к Embedded DSL?
Или ты всерьез считаешь, что для описания моделей любой степени сложности не достаточно обычных процедурных вызовов вида
VSO - verb(subject, object)?

Забавно, да.


F#это все равно что затачивать молоток без напильника. Рекомендую доучиться.
Затачивать молоток напильником? Интересный ход мыслей.
У вас в школе уроков труда вообще не было, учились вышивать у подгруппе девочек вместо освоения молотков?
Или о чем ты сейчас? В какой галактике молотки напильниками обрабатывают?


F#Способность человека создавать себе орудие труда - это основное его отличие от животных.
Умные люди берут нож и затачивают его, вместо того, чтобы затачивать молоток.
Ну ты у нас известный знаток затачивания молотков, как мы поняли, да ;)

F# Я за то, чтобы сначала посмотреть на готовые молотки и дорабатывать только если есть необходимость?
А кто-то говорил про то, что не нужно сначала смотреть на другие?
И не дорабатывать, а разрабатывать изначально новые, зачастую принципиально.

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

Реально доставляешь, и, кстати, многое становится понятно в причинах настолько убогого состояния отрасли (F# и не только).

F#Да любая задача - от баз данных (к примеру заблуждение века - SQL), представление моделей (NHibernate), LINQ и далее.
Все это настолько убогое и безумное, что просто диву даешься, как люди продолжают этим пользоваться, особенно в высоконагруженных системах.


Опять ни одного аргумента по делу.
А, ты просто не в теме даже NoSQL. Ну ок, бывает и такое, чего уж там.


F#С это просто макроассемблер, не более того. И с этими задачами он на удивление хорошо справляется, хотя мог бы кое где и лучше. Но в текущих реалиях это просто средство трансляции низкоуровневого кода в машинный код с оптимизациями - и задача более менее решена человечеством.

Опять вы не поняли :). Он же создан без учета ваших задач => надо его переписать с нуля.
Это твое мнение. А мое мнение - С отлично решает именно те задачи, для которых он проектировался и для которых я его использую - трансляция с унифицированного и единого макро-ассемблера в машинный код, где конкретная машина и операционная система - величины произвольные. Он умеет делать только это, и делает это чертовски хорошо - лучше все равно ничего нет.

F#Почти никто так не делает, на самом деле. Есть только робкие попытки - к примеру проект HipHop (HHVM).
C++ также как и упомянутый Objective С так начинался, насколько я помню. Также у того же хаскеля есть опция для генерации plain c, насколько я помню.
И?

Многие этим пользуются? Насколько эффекивен этот генерируемый код?

Кстати, вопрос немного не в тему (лень копать). Там строки какие - которые zero-ended или паскалевидные, вида { length, pointer_to_data} ?

F#1. Имеено. Коллекции в куче - это еще одно феерически глупое заблуждение, в силу своей универсальности - как раз принцип забивания микроскопом гвоздей (для большинства задач куча как раз и не требуется, а преаллоцированные массивы фиксированной длины, особенно краткосрочные для веб задач - покрывают большинство потребностей).


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

И зачем это делать? (обливаясь слезами). Кто вообще такую задачу ставит и с какой целью?

F#Во-вторых, вы просто не видите, других миров разработки ПО кроме вашего (да и в вашем мире есть вспосогательные задачи не требующие очень большой производительности).
Для этого есть скриптовые языки.

F#В-третьих, в нормальном языке можно абстрагировать различия в compile time. Но для этого надо понимать разницу между AST и текстом.
Слишком заумно. Абстрагировать отличия в compile time. Не, извини, даже с пятого захода я не втыкнул в столь глубокую мысль.



F#Это как швейцарский нож против мачете.


Или смартфон против читалки, ноутбука, телефона и зеркалки. Все по отдельности конечно эффективнее, но везде не потаскаешь :) и дорого стоит.
Откровенное вранье и спекуляция. Всем известно, что профессионал используюет специализированное - фотографы таскают зеркалку, музыканты лабают на гитарах, а не на айпаде, а инженеры считают свои CAD/CAE модели на мегагробах с кучей ксеонов-firegl на борту, а не айфончиках.

Поздравляю, короче, господин соврамши.

F#each и all это слова синонимы. Никаких традиций нет, нужно просто имена дать разные.

Синонимы не отражают суть разницы между макросами => плохое наименование.
Конкретно эти мне и самому не нравятся, но пока вот так.


F#Такое ощущение, что тебе очень трудно придумать сначала задачу


Да задача простая - представьте себе генератор документации который собирает данные из различных источников (исходный код, wiki страницы и прочее). Представьте себе что надо форматировать списки в HTML. Указанный код и абстракция перечислений позволяет дописать специфику форматирования в одном месте.
Это не задача, а бред. Открой для себя doxygen, эта задача давно уже решена без всяких ото черезжопий с reflection

Опять и тут ты сел в лужу, увы (это вообще додуматься- уродовать среду разработки только для того, чтоб сделать генерилку доки)

F#Загляните сначала в словарь прежде чем применять слова. Абстракция по сути и есть обобщение.
Увы нет. Между абстракцией и обобщением есть вполне четкая разница, хотя на 95% это слова синонимы.
Вообще говоря это сильно контексто-зависимо, т.е. основано на местных понятийных аппаратах, потому этот вопрос предлагаю опустить, во избежание перегрева мозга у окружающих.


F#Отлично! Вот и давай сравним с

В читабельности,


y = getWords(x) - понятно что аргумент, что результат
VSO - verb(subject,object) - глагол, деятель, предмет обратботки
Обрабатывать(Васе,Деталь)

Если больше одного subject, то все равно первый является результатом.

Собрать(Васе, Автомобиль, Деталь1, Деталь2, Деталь3,...)

Изучи уже семантические конструкции естественного языка, чисто чтоб весь мир функциями вида y=f(x) не мерещился.


Остальное я твое скипнул, там уже совсем пошел баян и угар.


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

А ты что хочешь доказать?