Пробуем писать на O7

[Geniepro]

Легко:
...
Шутка

Ну раз пошёл такой оффтоп, то и я не удержусь: 

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

concat'intersperse :: a -> [[a]] -> [a]
concat'intersperse _   []       = []
concat'intersperse sep (xs:[])  = xs
concat'intersperse sep (xs:xss) = xs ++ sep:concat'intersperse sep xss

main = do
    print $ concat'intersperse 10 []
    print $ concat'intersperse 10 [[]]
    print $ concat'intersperse 10 [[1,2,3]]
    print $ concat'intersperse 10 [[1,2,3], [4,5]]
    print $ concat'intersperse 10 [[1,2,3], [4,5], [6]]

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

Main> :main
[]
[]
[1,2,3]
[1,2,3,10,4,5]
[1,2,3,10,4,5,10,6]

[valexey_u]

Легко:
...
Шутка

Ну раз пошёл такой оффтоп, то и я не удержусь: 

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

concat'intersperse :: a -> [[a]] -> [a]
concat'intersperse _   []       = []
concat'intersperse sep (xs:[])  = xs
concat'intersperse sep (xs:xss) = xs ++ sep:concat'intersperse sep xss

main = do
    print $ concat'intersperse 10 []
    print $ concat'intersperse 10 [[]]
    print $ concat'intersperse 10 [[1,2,3]]
    print $ concat'intersperse 10 [[1,2,3], [4,5]]
    print $ concat'intersperse 10 [[1,2,3], [4,5], [6]]

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

Main> :main
[]
[]
[1,2,3]
[1,2,3,10,4,5]
[1,2,3,10,4,5,10,6]

Э, нет. На списках каждый дурак даже на обероне-07 может. А ты на массивах, на массивах давай! То есть  ArrayList (а не список!) массивов причем все массивы разной длины.

[igor]

array of тип и есть пустой массив. То есть память не распределена.

Точнее, память распределена только под указатель (изначально NIL).

[valexey_u]

Ну раз пошёл такой оффтоп, то и я не удержусь: 

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

concat'intersperse :: a -> [[a]] -> [a]
concat'intersperse _   []       = []
concat'intersperse sep (xs:[])  = xs
concat'intersperse sep (xs:xss) = xs ++ sep:concat'intersperse sep xss

main = do
    print $ concat'intersperse 10 []
    print $ concat'intersperse 10 [[]]
    print $ concat'intersperse 10 [[1,2,3]]
    print $ concat'intersperse 10 [[1,2,3], [4,5]]
    print $ concat'intersperse 10 [[1,2,3], [4,5], [6]]

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

Main> :main
[]
[]
[1,2,3]
[1,2,3,10,4,5]
[1,2,3,10,4,5,10,6]

Э, нет. На списках каждый дурак даже на обероне-07 может. А ты на массивах, на массивах давай! То есть  ArrayList (а не список!) массивов причем все массивы разной длины.

Да, и без левых расширизмов, вроде тех же существовательных типов, пожалуйста. Ведь мы тут пишем на чистом Обероне-07, без расширизмов, вот и ты давай на чистом Haskell'e, без ghc-расширизмов :-)

[Geniepro]

Э, нет. На списках каждый дурак даже на обероне-07 может. А ты на массивах, на массивах давай! То есть  ArrayList (а не список!) массивов причем все массивы разной длины.

Я даже не помню как работать с массивами на хаскелле -- это же неидеоматично для него )))

[valexey_u]

Э, нет. На списках каждый дурак даже на обероне-07 может. А ты на массивах, на массивах давай! То есть  ArrayList (а не список!) массивов причем все массивы разной длины.

Я даже не помню как работать с массивами на хаскелле -- это же неидеоматично для него )))

Ну вот, для Оберона-07 тоже не идиоматично использовать массив как контейнер общего назначения :-) В Обероне-07 массив - это строительный блок для структур данных (контейнеров), ну и для всякой мелочи, вроде локальных буферов.

[Geniepro]

Ну раз пошёл такой оффтоп, то и я не удержусь: 

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

concat'intersperse :: a -> [[a]] -> [a]
concat'intersperse _   []       = []
concat'intersperse sep (xs:[])  = xs
concat'intersperse sep (xs:xss) = xs ++ sep:concat'intersperse sep xss

Чо ж я так перемудрил-то? Ведь в самом придуманном мною имени функции подсказка к её реализации:

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

import List

concat'intersperse :: a -> [[a]] -> [a]
concat'intersperse sep xss = concat $ intersperse [sep] xss

main = do
    print $ concat'intersperse 10 []
    print $ concat'intersperse 10 [[]]
    print $ concat'intersperse 10 [[1,2,3]]
    print $ concat'intersperse 10 [[1,2,3], [4,5]]
    print $ concat'intersperse 10 [[1,2,3], [4,5], [6]]
    print $ concat'intersperse ' ' ["qwerty", "asdf", "zxc"]

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

Main> :main
[]
[]
[1,2,3]
[1,2,3,10,4,5]
[1,2,3,10,4,5,10,6]
"qwerty asdf zxc"

[Geniepro]

Ну вот, для Оберона-07 тоже не идиоматично использовать массив как контейнер общего назначения :-) В Обероне-07 массив - это строительный блок для структур данных (контейнеров), ну и для всякой мелочи, вроде локальных буферов.

Так в самом языке Хаскелл нет даже такого понятия как массив. Это всего лишь одна из стандартных библиотек. Чтобы создать масcив массивов с содержимым [[1,2,3], [4,5], [6]] надо такой код громоздить:

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

arr = array (0, 2)  [ (0, array (0, 2) [(0, 1), (1, 2), (2, 3)])
                    , (1, array (0, 1) [(0, 4), (1, 5)])
                    , (2, array (0, 0) [(0, 6)])
                    ]

[ilovb]

Товарищи, подскажите. В седьмом объероне можно так?

PROCEDURE Do(p: INTEGER);
VAR
r:  POINTER TO RECORD
        a: ARRAY p OF INTEGER;
    END;
BEGIN
END Do;

В репорте вроде так...

...
length = ConstExpression.
ConstExpression = expression...

[valexey_u]

Товарищи, подскажите. В седьмом объероне можно так?

PROCEDURE Do(p: INTEGER);
VAR
r:  POINTER TO RECORD
        a: ARRAY p OF INTEGER;
    END;
BEGIN
END Do;

В репорте вроде так...

...
length = ConstExpression.
ConstExpression = expression...

p ведь не константа. Нельзя так. И в C++ так нельзя. А вот в C99 - можно.

[ilovb]

Так там expression без ограничений.
Где в репорте ты видишь такой запрет?

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

[valexey_u]

Так там expression без ограничений.
Где в репорте ты видишь такой запрет?

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

Какой смысл вводить ConstExpression если он просто эквивалентен expression? :-) (ConstExpression = expression. )

В репорте есть некая неопределенность что именно считать const expression'ом, однако в том месте в котором у тебя заминка, разночтений быть не может:

A constant expression can be evaluated by a mere textual scan without actually executing the
program.

Твой пример не позволяет на этапе компиляции (без исполнения программы) вычислить 'p', а следовательно и длину массива.

[Valery Solovey]

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

PROCEDURE Planarize(a: Arrs; delimeter: INTEGER): Arr;
VAR  b, tmp: Arr;
i, j, k, len: INTEGER;
BEGIN
i := 0; len := 0;
WHILE i < LEN(a) DO
len := len + LEN(a[i]);
i := i + 1
END;

NEW( b, len * 2 - 1 );
i := 0;
k := 0;
WHILE i < LEN( a ) DO
tmp := a[i];
j := 0;
WHILE j < LEN( tmp ) DO
b[k] := tmp[j];
j := j + 1;
k := k + 2
END;
i := i + 1
END;

i := 1;
WHILE i < LEN( b ) DO
b[i] := delimeter;
i := i + 2
END;

RETURN b
END Planarize;

[valexey_u]

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

PROCEDURE Planarize(a: Arrs; delimeter: INTEGER): Arr;
VAR  b, tmp: Arr;
i, j, k, len: INTEGER;
BEGIN
i := 0; len := 0;
WHILE i < LEN(a) DO
len := len + LEN(a[i]);
i := i + 1
END;

NEW( b, len * 2 - 1 );
i := 0;
k := 0;
WHILE i < LEN( a ) DO
tmp := a[i];
j := 0;
WHILE j < LEN( tmp ) DO
b[k] := tmp[j];
j := j + 1;
k := k + 2
END;
i := i + 1
END;

i := 1;
WHILE i < LEN( b ) DO
b[i] := delimeter;
i := i + 2
END;

RETURN b
END Planarize;

А что такое Arr и Arrs? Собственно в Обероне-07 вся фишка в работе с типами. Алгоритмы то тривиальны.

[Geniepro]

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

PROCEDURE Planarize(a: Arrs; delimeter: INTEGER): Arr;
VAR  b, tmp: Arr;
i, j, k, len: INTEGER;
BEGIN
i := 0; len := 0;
WHILE i < LEN(a) DO
len := len + LEN(a[i]);
i := i + 1
END;

NEW( b, len * 2 - 1 );
i := 0;
k := 0;
WHILE i < LEN( a ) DO
tmp := a[i];
j := 0;
WHILE j < LEN( tmp ) DO
b[k] := tmp[j];
j := j + 1;
k := k + 2
END;
i := i + 1
END;

i := 1;
WHILE i < LEN( b ) DO
b[i] := delimeter;
i := i + 2
END;

RETURN b
END Planarize;

А Вы проверяли этот код? Можете привести описания типов Arr и Arrs?
А то что я ни пытаюсь изобразить, ни онлайн-компилятор OberonJS, ни компилятор от akron1'а не хотят принимать их...