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
PureScript is a strongly typed, purely functional programming language that compiles JavaScript. It enables developers to build robust web applications, web servers, and mobile apps using functional programming techniques. PureScript offers features such as algebraic data types, pattern matching, row polymorphism, extensible records, higher-kinded types, type classes with functional dependencies, and higher-rank polymorphism. The language emphasizes strong static typing and pure functions, ensuring code reliability and maintainability. Developers can compile PureScript code into readable JavaScript, facilitating seamless integration with existing JavaScript codebases. The ecosystem includes an extensive collection of libraries, excellent tooling, and editor support with instant rebuilds. An active community provides numerous learning resources, including the PureScript book, which offers practical projects for beginners.
|
About
RaimaDB is an embedded time series database for IoT and Edge devices that can run in-memory. It is an extremely powerful, lightweight and secure RDBMS. Field tested by over 20 000 developers worldwide and has more than 25 000 000 deployments.
RaimaDB is a high-performance, cross-platform embedded database designed for mission-critical applications, particularly in the Internet of Things (IoT) and edge computing markets. It offers a small footprint, making it suitable for resource-constrained environments, and supports both in-memory and persistent storage configurations. RaimaDB provides developers with multiple data modeling options, including traditional relational models and direct relationships through network model sets. It ensures data integrity with ACID-compliant transactions and supports various indexing methods such as B+Tree, Hash Table, R-Tree, and AVL-Tree.
|
About
Vyper is a contract-oriented, pythonic programming language that targets the Ethereum Virtual Machine (EVM).
Security: It should be possible and natural to build secure smart-contracts in Vyper.
Language and compiler simplicity: The language and the compiler implementation should strive to be simple.
Auditability: Vyper code should be maximally human-readable. Furthermore, it should be maximally difficult to write misleading code. Simplicity for the reader is more important than simplicity for the writer, and simplicity for readers with low prior experience with Vyper (and low prior experience with programming in general) is particularly important.
|
|||
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 interested in a solution to build reliable and maintainable applications
|
Audience
Built by Developers, for Developers
|
Audience
Smart contract developers
|
|||
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
No information available.
Free Version
Free Trial
|
Pricing
No information available.
Free Version
Free Trial
|
Pricing
Free
Free Version
Free Trial
|
|||
Reviews/
|
Reviews/
|
Reviews/
|
Reviews/
|
|||
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 InformationHaskell
www.haskell.org
|
Company InformationPureScript
Founded: 2017
United States
www.purescript.org
|
Company InformationRaima
Founded: 1984
United States
raima.com
|
Company InformationVyper
Founded: 2017
docs.vyperlang.org/en/stable/
|
|||
Alternatives |
Alternatives |
Alternatives |
Alternatives |
|||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
|
|
||||
Categories |
Categories |
Categories |
Categories |
|||
Database Features
Backup and Recovery
Creation / Development
Data Migration
Data Replication
Data Search
Data Security
Database Conversion
Mobile Access
Monitoring
NOSQL
Performance Analysis
Queries
Relational Interface
Virtualization
IoT Features
Application Development
Big Data Analytics
Configuration Management
Connectivity Management
Data Collection
Data Management
Device Management
Performance Management
Prototyping
Visualization
RDBMS Features
Backup
Data Migration
Monitoring
Performance Analysis
Queries
Storage Optimization
Relational Database Features
ACID Compliance
Data Failure Recovery
Multi-Platform
Referential Integrity
SQL DDL Support
SQL DML Support
System Catalog
Unicode Support
|
||||||
Integrations
Amp
AskCodi
BlackBerry QNX
Buffer Editor
CodeSnack IDE
Coveralls
DeepSeek Coder
Echidna
Geany
HUnit
|
Integrations
Amp
AskCodi
BlackBerry QNX
Buffer Editor
CodeSnack IDE
Coveralls
DeepSeek Coder
Echidna
Geany
HUnit
|
Integrations
Amp
AskCodi
BlackBerry QNX
Buffer Editor
CodeSnack IDE
Coveralls
DeepSeek Coder
Echidna
Geany
HUnit
|
Integrations
Amp
AskCodi
BlackBerry QNX
Buffer Editor
CodeSnack IDE
Coveralls
DeepSeek Coder
Echidna
Geany
HUnit
|
|||
|
|
|
|
