Lispkit blèsent

Le Lispkit blèsent est un sous-ensemble de strictement fonctionnel blèsent (" ; Le pur blèsent " de ;) développé comme banc d'essai pour des concepts de la programmation fonctionnelle . Il a été employé la première fois pour l'expérimentation tôt avec l'évaluation paresseuse . Une machine du SECD - l'exécution basée écrite dans une variante d'algol a été éditée par le Peter Henderson de réalisateur dans le 1980. Le compilateur et la machine virtuelle sont fortement portable et en conséquence ont été mis en application sur beaucoup de machines.

La langue basse fournit les fonctions suivantes seulement mais des prolongements sont discutés dans le livre de Henderson pour l'appui explicite de l'évaluation paresseuse et programmation non déterministe de .
atome de

-- donné une expression renvoie vrai si sa valeur est atomique ; Faux sinon.
le ajoutent -- donné deux retours d'expressions la somme de leurs valeurs numériques.
voiture de -- donné une expression dont la valeur est une paire, renvoie la première valeur de la paire.
cdr de -- donné une expression dont la valeur est une paire, renvoie la valeur de la paire deuxièmes.
le escroque -- donné deux retours d'expressions par paires de valeur se composant de leurs valeurs.
division de -- donné deux retours d'expressions le dividende de leurs valeurs numériques.
eq de -- donné deux retours d'expressions rectifier si leurs valeurs sont égales ; Faux sinon.
si -- donné trois retours d'expressions la valeur de la seconde si la valeur de la première est vraie, autrement renvoie la valeur du tiers.
lambda -- donné une expression, renvoie cette expression comme valeur evaluable.
le a laissé -- donné une liste d'expressions appelées, renvoie cette liste comme valeur evaluable simple.
letrec de -- donné une liste d'expressions appelées, renvoie cette liste comme valeur evaluable simple.
leq de -- donné deux expressions, les retours rectifient si la valeur de la première est numériquement inférieur ou égal à la valeur de la seconde ; Faux sinon.
rem -- donné deux expressions, retours le reste de leurs valeurs numériques.
mul de -- donné deux expressions, retours le produit de leurs valeurs numériques.
citation de -- donné une expression, renvoie cette expression comme valeur.
secondaire -- donné deux expressions, retours la différence de leurs valeurs numériques.

Les fonctions, le lambda , laissent , et letrec de , sont semblables mais ont des différences subtiles de la manière qu'elles traitent les variables appelées qui les rendent utiles dans différentes manières. le lambda définit et renvoie une fonction, le a laissé assigne des expressions aux noms variables, et le letrec de est essentiellement semblable au a laissé à moins qu'il tienne compte de la définition des fonctions récurrentes.

Davantage de lecture

Peter Henderson, " ; Programmation fonctionnelle : Application et Implementation" ; , 1980, apprenti Hall (ISBN 0-13-331579-7)
Peter Henderson, Geraint A. Jones, " ; Le LispKit Manual" ; (ISBN 0-902928-18-X)

Random links: