123
Wyvern

Wyvern

Wyvern est un nouveau langage de programmation conçu pour aider les développeurs à être très productifs lors de l'écriture d'applications à haute assurance.
Wyvern est un nouveau langage de programmation conçu pour aider les développeurs à être très productifs lors de l'écriture d'applications à haute assurance.La première innovation majeure de Wyvern est les langages spécifiques au type, une fonctionnalité qui permet aux programmeurs de créer des littéraux d'un type donné (par exemple, un type SQLQuery) dans un langage approprié à ce type (par exemple SQL).Nous travaillons actuellement sur le modèle d'objet Wyvern et pour fournir aux architectes plus de contrôle architectural.

Site Internet:

traits

Les catégories

Alternatives à Wyvern pour BSD

Python

Python

Python est un langage de programmation interprété, interactif, orienté objet et extensible.
JavaScript

JavaScript

JavaScript (parfois raccourci en JS) est un langage léger, interprété et orienté objet avec des fonctions de première classe, plus connu comme le langage de script pour les pages Web, mais ...
Node.js

Node.js

Node.js est une plate-forme construite sur le moteur d'exécution JavaScript de Chrome pour créer facilement des applications réseau rapides et évolutives.
Ruby

Ruby

Ruby est un langage de programmation orienté objet dynamique, réfléchissant et à usage général qui combine une syntaxe inspirée de Perl avec des fonctionnalités de type Smalltalk.
C#

C#

C # est un langage de programmation multi-paradigmes englobant un typage fort, impératif, déclaratif, fonctionnel, générique, orienté objet (basé sur une classe) et orienté composant ...
Lua

Lua

Lua est un langage de script puissant, rapide, léger et intégrable.
Perl

Perl

Perl est un langage de programmation dynamique de haut niveau, polyvalent et interprété avec plus de 22 ans de développement.
Scala

Scala

Scala est un langage de programmation multi-paradigmes moderne basé sur la machine virtuelle Java (JVM) conçu pour exprimer des modèles de programmation communs de manière concise, élégante et sécurisée ...
Haskell

Haskell

Haskell est un langage de programmation avancé purement fonctionnel.
Nim (programming language)

Nim (programming language)

Nim est un langage de programmation impératif de type statique avec un puissant système de macro qui essaie de donner au programmeur la puissance ultime sans compromettre l'efficacité d'exécution.
Chibi Scheme

Chibi Scheme

Chibi-Scheme est une très petite bibliothèque sans dépendances externes destinée à être utilisée comme langage d'extension et de script dans les programmes C.
Jim Tcl — The Jim Interpreter

Jim Tcl — The Jim Interpreter

Jim est une implémentation open source à faible encombrement du langage de programmation Tcl.
Nim (programming language)

Nim (programming language)

Nim est un langage de programmation impératif typé statiquement qui essaie de donner au programmeur la puissance ultime sans compromis sur l'efficacité d'exécution.
TinyScheme

TinyScheme

TinyScheme est un interpréteur Scheme léger qui implémente un sous-ensemble de R5RS aussi grand que possible sans devenir très volumineux et compliqué.