Lua

[valexey_u]

Ну типа так:

Код: [Выделить]

MODULE SmartTest;
IMPORT
    Log := StdLog;
TYPE
    P = PROCEDURE(a, b: INTEGER): BOOLEAN;

PROCEDURE Comp(a, b: INTEGER): BOOLEAN;
BEGIN
    RETURN a < b;
END Comp;

PROCEDURE Sort(func: P);
VAR
    a, b: INTEGER;
    res: BOOLEAN;
BEGIN
    a := 1;
    b := 2;
    res := func(a, b);
    Log.Bool(res);
END Sort;
   
PROCEDURE Do*();   
BEGIN
    Sort(Comp)
END Do;
   
BEGIN
END SmartTest.Do
То же самое что и в луашной сортировке... не? 

Не. Луашная функция Table.sort сортирует не только целые числа. Попробуй ка этой же функцией SmartTest.Sort, не изменяя её исходник, отсортировать массив строк.

[ilovb]

Мне на изучение Lua хватило 3 дней. А сколько ты изучал cpp? 

КРАЙНЕ не корректное сравнение..

Почему это? В контексте моего кода на Lua и кода valexey на cpp ИМХО вполне корректное... 

[ilovb]

Ну типа так:

Код: [Выделить]

MODULE SmartTest;
IMPORT
    Log := StdLog;
TYPE
    P = PROCEDURE(a, b: INTEGER): BOOLEAN;

PROCEDURE Comp(a, b: INTEGER): BOOLEAN;
BEGIN
    RETURN a < b;
END Comp;

PROCEDURE Sort(func: P);
VAR
    a, b: INTEGER;
    res: BOOLEAN;
BEGIN
    a := 1;
    b := 2;
    res := func(a, b);
    Log.Bool(res);
END Sort;
   
PROCEDURE Do*();   
BEGIN
    Sort(Comp)
END Do;
   
BEGIN
END SmartTest.Do
То же самое что и в луашной сортировке... не? 

Не. Луашная функция Table.sort сортирует не только целые числа. Попробуй ка этой же функцией SmartTest.Sort, не изменяя её исходник, отсортировать массив строк.

Ну так мы все таки про обобщенку или фвп?

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

[valexey_u]

Почему это? В контексте моего кода на Lua и кода valexey на cpp ИМХО вполне корректное... 

Потому, что если бы ты пользовался Lua со, скажем, 2004 года, то ты бы его к текущему моменту изучал не 3 дня, а 8-9 лет (lua, как и с++, развивается, и тот что был в 2004 году не является тем что сейчас). И исходник ты написал бы для этой задачи в точности такой же.

[DIzer]

Почему это? В контексте моего кода на Lua и кода valexey на cpp ИМХО вполне корректное... 

Потому, что если бы ты пользовался Lua со, скажем, 2004 года, то ты бы его к текущему моменту изучал не 3 дня, а 8-9 лет (lua, как и с++, развивается, и тот что был в 2004 году не является тем что сейчас). И исходник ты написал бы для этой задачи в точности такой же.

   

[valexey_u]

Ну так мы все таки про обобщенку или фвп?

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

А ты видел хоть один язык где декларировались HOF но при этом не было бы обобщенки? ;-) Одно с другим тесно связано.

[ilovb]

Почему это? В контексте моего кода на Lua и кода valexey на cpp ИМХО вполне корректное... 

Потому, что если бы ты пользовался Lua со, скажем, 2004 года, то ты бы его к текущему моменту изучал не 3 дня, а 8-9 лет (lua, как и с++, развивается, и тот что был в 2004 году не является тем что сейчас). И исходник ты написал бы для этой задачи в точности такой же.

Не пойму к чему ты клонишь... Неужели CPP вместе с STL можно вкурить за 3 дня и свободно кодить как на Lua? 

Пакажи мне чувака за 3 дня курения cpp могущего соорудить код подобный твоему.

[valexey_u]

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

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

[valexey_u]

Почему это? В контексте моего кода на Lua и кода valexey на cpp ИМХО вполне корректное... 

Потому, что если бы ты пользовался Lua со, скажем, 2004 года, то ты бы его к текущему моменту изучал не 3 дня, а 8-9 лет (lua, как и с++, развивается, и тот что был в 2004 году не является тем что сейчас). И исходник ты написал бы для этой задачи в точности такой же.

Не пойму к чему ты клонишь... Неужели CPP вместе с STL можно вкурить за 3 дня и свободно кодить как на Lua? 

Пакажи мне чувака за 3 дня курения cpp могущего соорудить код подобный твоему.

На уровне сортировок - можно. Особенно современный C++ (с++11).
У меня же там даже своих шаблонов нет :-) Там вообще ничего сложного не используется. Обычная функция sort (которая мгновенно нагугливается) и обычные лямбды, которые ровно те же (для этой задачи) что и в js например.

[ilovb]

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

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

А я думал что этого достаточно:
Фу́нкция вы́сшего поря́дка — функция, принимающая в качестве аргументов другие функции или возвращающая другую функцию в качестве результата. Основная идея состоит в том, что функции имеют тот же статус, что и другие объекты данных

[valexey_u]

Пакажи мне чувака за 3 дня курения cpp могущего соорудить код подобный твоему.

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

[valexey_u]

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

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

А я думал что этого достаточно:
Фу́нкция вы́сшего поря́дка — функция, принимающая в качестве аргументов другие функции или возвращающая другую функцию в качестве результата. Основная идея состоит в том, что функции имеют тот же статус, что и другие объекты данных

ok, давай на примерах. Представим себе, что в неком языке "Оo" есть целые числа. Есть как целочисленные литералы, так и целочисленные переменные. Целочисленной переменной можно присваивать целочисленные литералы, также можно присваивать значение одной переменной другой переменной. Все, больше ни одной операции для целых чисел в языке Oo нет (операций сложения, вычитания, умножения и так далее).

Внимание вопрос - можно ли считать, что данный язык полноценно поддерживает концепцию целых чисел?

[ilovb]

На уровне сортировок - можно. Особенно современный C++ (с++11).
У меня же там даже своих шаблонов нет :-) Там вообще ничего сложного не используется. Обычная функция sort (которая мгновенно нагугливается) и обычные лямбды, которые ровно те же (для этой задачи) что и в js например.

Сдаюсь. Лямбды, шаблоны, JS - куда уж проще.... 

ps У меня вот JS курить терпения не хватило. Lua на порядок проще.

[ilovb]

ok, давай на примерах. Представим себе, что в неком языке "Оo" есть целые числа. Есть как целочисленные литералы, так и целочисленные переменные. Целочисленной переменной можно присваивать целочисленные литералы, также можно присваивать значение одной переменной другой переменной. Все, больше ни одной операции для целых чисел в языке Oo нет (операций сложения, вычитания, умножения и так далее).

Внимание вопрос - можно ли считать, что данный язык полноценно поддерживает концепцию целых чисел?

Нет конечно.

Но есть определение фвп которое я привел.
И есть процедурный тип который соответствует этому определению. Вот и все.

Набор операций над функциями вроде приведен в определении ("передавать" и "принимать")...

[DIzer]

Внимание вопрос - можно ли считать, что данный язык полноценно поддерживает концепцию целых чисел?

  Огласите свою "концепцию целых чисел" - и мы дадим вам ответ!