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

Unlambda is a programming language. Nothing remarkable there. The originality of Unlambda is that it stands as the unexpected intersection of two marginal families of languages. Functional programming languages, of which the canonical representative is Scheme (a Lisp dialect). This means that the basic object manipulated by the language (and indeed the only one as far as Unlambda is concerned) is the function. Rather, Unlambda uses a functional approach to programming: the only form of objects it manipulates are functions. Each function takes a function as an argument and returns a function. Apart from a binary “apply” operation, Unlambda provides several built-in functions (the most important ones being the K and S combinators). User-defined functions can be created, but not saved or named, because Unlambda does not have any variables.

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.

About

The Windows Terminal is a modern, fast, efficient, powerful, and productive terminal application for users of command-line tools and shells like Command Prompt, PowerShell, and WSL. Its main features include multiple tabs, panes, Unicode and UTF-8 character support, a GPU-accelerated text rendering engine, and custom themes, styles, and configurations. This is an open-source project and we welcome community participation. Multiple tabs, full Unicode support, and GPU-accelerated text rendering. Full customizability and split panes. Install the Windows Terminal from the Microsoft Store. This allows you to always be on the latest version when we release new builds with automatic upgrades. It includes many of the features most frequently requested by the Windows command-line community including support for tabs, rich text, globalization, configurability, theming & styling, and more. The Terminal will also need to meet our goals and measures to ensure it remains fast and efficient.

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

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

Audience

Developers in need of an advanced Programming Language solution

Audience

Developers interested in a language for building maintainable programs

Audience

Command-line users in need of a terminal application with support for tabs, rich text, globalization, configurability, theming, etc.

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

Free
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

Haskell
www.haskell.org

Company Information

Unlambda
www.madore.org/~david/programs/unlambda/

Company Information

V Programming Language
United States
vlang.io

Company Information

Microsoft
United States
apps.microsoft.com/store/detail/windows-terminal/9N0DX20HK701

Alternatives

Alternatives

Racket

Racket

Racket Language

Alternatives

Alternatives

Apache Groovy

Apache Groovy

The Apache Software Foundation
Swift

Swift

Apple
Nix

Nix

NixOS
PowerShell

PowerShell

Microsoft
Zig

Zig

Zig Software Foundation
Zig

Zig

Zig Software Foundation
Xshell

Xshell

NetSarang

Categories

Categories

Categories

Categories

Integrations

AWS Cloud9
Amp
AskCodi
C
CodeRunner
Codecov
Cody
Coveralls
Denigma
Geany
Glitch
Helix Editor
ImmuneBytes
Komandi
Notepad++
PostgresML
RunCode
Snipplr
Sonatype Nexus Repository
Typora

Integrations

AWS Cloud9
Amp
AskCodi
C
CodeRunner
Codecov
Cody
Coveralls
Denigma
Geany
Glitch
Helix Editor
ImmuneBytes
Komandi
Notepad++
PostgresML
RunCode
Snipplr
Sonatype Nexus Repository
Typora

Integrations

AWS Cloud9
Amp
AskCodi
C
CodeRunner
Codecov
Cody
Coveralls
Denigma
Geany
Glitch
Helix Editor
ImmuneBytes
Komandi
Notepad++
PostgresML
RunCode
Snipplr
Sonatype Nexus Repository
Typora

Integrations

AWS Cloud9
Amp
AskCodi
C
CodeRunner
Codecov
Cody
Coveralls
Denigma
Geany
Glitch
Helix Editor
ImmuneBytes
Komandi
Notepad++
PostgresML
RunCode
Snipplr
Sonatype Nexus Repository
Typora
Claim Haskell and update features and information
Claim Haskell and update features and information
Claim Unlambda and update features and information
Claim Unlambda and update features and information
Claim V Programming Language and update features and information
Claim V Programming Language and update features and information
Claim Windows Terminal and update features and information
Claim Windows Terminal and update features and information