Method for compiling a computer program

Process for compilation of computer programs written in a high-level programming language, comprising:

• . a preliminary step before writing said program in said high-level programming language, of construction of a compiler in a core functional programming language with reduced algebra without re-assignation operation, called language PML:
• a. a further preliminary step, wherein at least one programming library is written using an existing programming language;
• b. a further preliminary step, wherein a functional programming interface is constructed using said at least one programming library, from a set of imperative features comprising long-term storage of information on a device, sending and receiving packets on a network, analysis of a data stream;
• c. a further preliminary step of construction of at least one compiler for a high-level programming language by merging or said interfaces into the features of said language PML;
• d. a step of creation of said computer program from said high-level programming language comprising a succession of compilation steps using said at least one compiler for said high-level programming language.

Apparatus for compiling a computer program written in a high-level programming language, comprising:

• e. means of compiling said computer program, comprising means of constructing a compiler for a core functional programming language, with reduced algebra, without re-assignation operation, said language PML;
• f. further means of compiling said computer program, comprising means of writing at least one library in an existing language;
• g. further means of compiling said computer program, comprising means of constructing functional interfaces based on said at least one library, for features belonging to a group containing at least:
• long-term storage of information on a device, emission and reception of packets on a network, analysis of a data stream;
• h. further means of compiling said computer program, comprising the means of construction of at least one compiler for a high-level programming language by integration of said interfaces in the features of language PML;
• i. further means of compiling said computer program, comprising means of creating said computer program from said high-level programming languages using the means provided by said at least one compiler.