(* Modula/Oberon *)

TYPE
  Proc = PROCEDURE (): INTEGER;

  PROCEDURE foo (): INTEGER;
  BEGIN
    RETURN 2718;
  END foo;

VAR 
  x, y, z: INTEGER;
  f, g: Proc;
BEGIN
  x := foo(); (* Вызов процедуры-функции foo и присвоение результата переменной x *)
  f := foo;   (* Присвоение значения процедурной переменной f равного значению процедурной константы foo *)
  y := f();   (* Вызов процедуры-функции связанной с f и присвоение результата переменной x *)
  g := f;     (* Присвоение значения одной (процедурной) переменной значению другой (процедурной) переменной *)
  z := g();
...

int* Init()
{
    int* a = (int*)mallac(5 * sizeof(int));
    int i;
    
    for (i = 0; i < 5; i++)
        a[i] = i;
    
    return a;
}

int* a = Init();

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

> int* Init()
> {
>     int* a = (int*)mallac(5 * sizeof(int));
>     int i;
>     
>     for (i = 0; i < 5; i++)
>         a[i] = i;
>     
>     return a;
> }
>
> int* a = Init();
>

int a[5] = { 0, 1, 2, 3, 4 };

typedef function< double(*)(void) > numfunc;
double itself(double x) { return x; }

class LazyNum
{
  numfunc fx;
public:
  LazyNum(double x) : fx( bind(itself,x) ) {}
  LazyNum(numfunc f) : fx(f) {}

  operator double() const { return fx(); }
};

function force(x)
{
  return isFunction(x) ? x() : x;
}

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

unsigned int rand(void);

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

AVC>unsigned int rand(void);

AVC>

struct Rand
{
  operator int() const { return rand(); }
};

const Rand r;      // константа :)
const Rand rr = r; // опять константа
assert(memcmp(&r, &rr, sizeof(Rand))==0); // они одинаковы до последнего байта!
int x = rr, y = rr, z = rr; // и прекрасно вычисляются

typedef struct tagString
{
    size_t length;
    char *data;
} String;

String createString(const char *str)
{
    String res;
    res.length=strlen(str);
    res.data=strdup(str);
    return res;
}
void deleteString(String *str)
{
    res->length=0;
    free(res->data);
}
void appendString(String *dst,String *src)
{
    dst->length+=src->length;
    char *tmp=calloc(dst->length+1);
    strcat(tmp,dst->data);
    strcat(tmp,src->data);
    free(dst->data); dst->data=tmp;
}

String str;

str=createString("This is a string");
deleteString(str);