About

Fortran has been designed from the ground up for computationally intensive applications in science and engineering. Mature and battle-tested compilers and libraries allow you to write code that runs close to the metal, fast. Fortran is statically and strongly typed, which allows the compiler to catch many programming errors early on for you. This also allows the compiler to generate efficient binary code. Fortran is a relatively small language that is surprisingly easy to learn and use. Expressing most mathematical and arithmetic operations over large arrays is as simple as writing them as equations on a whiteboard. Fortran is a natively parallel programming language with intuitive array-like syntax to communicate data between CPUs. You can run almost the same code on a single CPU, on a shared-memory multicore system, or on a distributed-memory HPC or cloud-based system.

About

Every expression in Haskell has a type that is determined at compile time. All the types composed together by function application have to match up. If they don't, the program will be rejected by the compiler. Types become not only a form of guarantee, but a language for expressing the construction of programs. Every function in Haskell is a function in the mathematical sense (i.e., "pure"). Even side-effecting IO operations are but a description of what to do, produced by pure code. There are no statements or instructions, only expressions that cannot mutate variables (local or global) nor access state like time or random numbers. You don't have to explicitly write out every type in a Haskell program. Types will be inferred by unifying every type bidirectionally. However, you can write out types if you choose, or ask the compiler to write them for you for handy documentation.

About

Prolog is a logic programming language associated with artificial intelligence and computational linguistics. Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is intended primarily as a declarative programming language, the program logic is expressed in terms of relations, represented as facts and rules. A computation is initiated by running a query over these relations. Prolog was one of the first logic programming languages and remains the most popular such language today, with several free and commercial implementations available. The language has been used for theorem proving, expert systems, term rewriting, type systems, and automated planning, as well as its original intended field of use, natural language processing. Modern Prolog environments support the creation of graphical user interfaces, as well as administrative and networked applications.

About

Simple, fast, safe, and compiled. For developing maintainable software. Simple language for building maintainable programs. You can learn the entire language by going through the documentation over a weekend, and in most cases, there's only one way to do something. This results in simple, readable, and maintainable code. This results in simple, readable, and maintainable code. Despite being simple, V gives a lot of power to the developer and can be used in pretty much every field, including systems programming, webdev, gamedev, GUI, mobile, science, embedded, tooling, etc. V is very similar to Go. If you know Go, you already know 80% of V. Bounds checking, No undefined values, no variable shadowing, immutable variables by default, immutable structs by default, option/result and mandatory error checks, sum types, generics, and immutable function args by default, mutable args have to be marked on call.

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Audience

DevOps teams seeking a high-performance parallel Programming Language solution

Audience

Developers in need of a purely functional solution to create, build and test applications

Audience

Anyone in need of a declarative language for theorem proving, expert systems, term rewriting, and more

Audience

Developers interested in a language for building maintainable programs

Support

Phone Support
24/7 Live Support
Online

Support

Phone Support
24/7 Live Support
Online

Support

Phone Support
24/7 Live Support
Online

Support

Phone Support
24/7 Live Support
Online

API

Offers API

API

Offers API

API

Offers API

API

Offers API

Screenshots and Videos

Screenshots and Videos

Screenshots and Videos

Screenshots and Videos

Pricing

Free
Free Version
Free Trial

Pricing

Free
Free Version
Free Trial

Pricing

No information available.
Free Version
Free Trial

Pricing

Free
Free Version
Free Trial

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Training

Documentation
Webinars
Live Online
In Person

Training

Documentation
Webinars
Live Online
In Person

Training

Documentation
Webinars
Live Online
In Person

Training

Documentation
Webinars
Live Online
In Person

Company Information

Fortran
United States
fortran-lang.org

Company Information

Haskell
www.haskell.org

Company Information

Prolog
Founded: 1972
en.wikipedia.org/wiki/Prolog

Company Information

V Programming Language
United States
vlang.io

Alternatives

Alternatives

Alternatives

XAML

XAML

Microsoft

Alternatives

Apache Groovy

Apache Groovy

The Apache Software Foundation
QML

QML

Qt
Swift

Swift

Apple
Java

Java

Oracle
Nix

Nix

NixOS
Zig

Zig

Zig Software Foundation

Categories

Categories

Categories

Categories

Integrations

AdaMULTI IDE
C++
CLion
CUDA
CodePen
Devika
Echidna
Geany
ImmuneBytes
Kodezi
Mayhem Code Security
Oracle SQL Developer
PHP
PaizaCloud
Refraction
Sonatype Nexus Repository
SwapCode AI
Visual Basic
WebTranslateIt.com
Zed

Integrations

AdaMULTI IDE
C++
CLion
CUDA
CodePen
Devika
Echidna
Geany
ImmuneBytes
Kodezi
Mayhem Code Security
Oracle SQL Developer
PHP
PaizaCloud
Refraction
Sonatype Nexus Repository
SwapCode AI
Visual Basic
WebTranslateIt.com
Zed

Integrations

AdaMULTI IDE
C++
CLion
CUDA
CodePen
Devika
Echidna
Geany
ImmuneBytes
Kodezi
Mayhem Code Security
Oracle SQL Developer
PHP
PaizaCloud
Refraction
Sonatype Nexus Repository
SwapCode AI
Visual Basic
WebTranslateIt.com
Zed

Integrations

AdaMULTI IDE
C++
CLion
CUDA
CodePen
Devika
Echidna
Geany
ImmuneBytes
Kodezi
Mayhem Code Security
Oracle SQL Developer
PHP
PaizaCloud
Refraction
Sonatype Nexus Repository
SwapCode AI
Visual Basic
WebTranslateIt.com
Zed
Claim Fortran and update features and information
Claim Fortran and update features and information
Claim Haskell and update features and information
Claim Haskell and update features and information
Claim Prolog and update features and information
Claim Prolog and update features and information
Claim V Programming Language and update features and information
Claim V Programming Language and update features and information