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.
wyvern

Site Internet:

traits

Les catégories

Alternatives à Wyvern pour toutes les plateformes avec n'importe quelle licence

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.
CoffeeScript

CoffeeScript

CoffeeScript est un petit langage qui se compile en JavaScript.Sous tous ces accolades et points-virgules maladroits, JavaScript a toujours eu un magnifique modèle d'objet en son cœur.
Dart

Dart

Dart (à l'origine appelé Dash) est un langage de programmation Web développé par Google.Il a été dévoilé lors de la conférence GOTO à Aarhus, du 10 au 12 octobre 2011.
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.
Typescript

Typescript

TypeScript vous offre une vérification de type statique facultative ainsi que les dernières fonctionnalités ECMAScript.
Apple Swift

Apple Swift

Swift est un langage de programmation pour les applications iOS, OS X, watchOS et tvOS qui s'appuie sur le meilleur de C et Objective-C, sans les contraintes de compatibilité C.
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.
Kotlin

Kotlin

Kotlin est un langage de programmation polyvalent multi-plateforme, statiquement typé avec inférence de type.