Juvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment and execution.
Updated 2024-10-03 19:09:22 +03:00
A modern proof language
starred-repo
functional-programming
dependent-types
formality
lambda-calculus
moonad
proof-language
proof-languages
theorem-prover
type-theory
starred-kindelia-repo
Updated 2024-10-03 16:53:57 +03:00
A next-gen functional language
starred-repo
functional-programming
dependent-types
lambda-calculus
type-theory
formality
moonad
proof-language
proof-languages
theorem-prover
starred-kindelia-repo
Updated 2024-10-03 16:53:57 +03:00
A next-gen functional language
starred-repo
functional-programming
dependent-types
lambda-calculus
type-theory
formality
moonad
proof-language
proof-languages
theorem-prover
starred-higherorderco-repo
Updated 2024-10-03 16:53:57 +03:00
First-class type families
Updated 2024-08-20 19:13:41 +03:00
Higher-kinded data via generics
Updated 2024-08-20 18:15:23 +03:00
datatypes and functions for easily working with passwords in Haskell
Updated 2024-07-07 00:58:39 +03:00
Haskell data types and functions for countries
Updated 2024-06-24 18:33:43 +03:00
Haskell data types and functions for countries
Updated 2024-06-24 18:33:43 +03:00
A statically typed linear functional language with graded modal types for fine-grained program reasoning
Updated 2024-05-08 15:06:04 +03:00
Generic types and functions for encoding and decoding columns
Updated 2024-03-07 05:23:42 +03:00
Generic types and functions for encoding and decoding columns
Updated 2024-03-07 05:23:42 +03:00
In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does no
starred-repo
haskell
functional-programming
monads
algebraic-data-types
anonymous-functions
declarative-programming
explicit-side-effects
first-class-functions
foldable
folding
function-composition
functor
higher-order-functions
lazy-evaluation
list-comprehension
mapping
partial-application
pattern-matching
polymorphic-types
type-classes
starred-thma-repo
Updated 2023-12-15 11:29:56 +03:00
Analytic sampler framework for algebraic data types
Updated 2023-05-12 19:36:35 +03:00
TemplateHaskell generators for XML-isomorphic data types, instances for parsing and rendering. A convenient DSL to define types.
Updated 2023-04-19 11:41:58 +03:00
Data types for compositional, type-directed serialization
Updated 2022-10-17 11:35:49 +03:00
Safe conversions between Haskell textual types
Updated 2022-05-03 01:31:23 +03:00
Safe conversions between Haskell textual types
Updated 2022-05-03 01:31:23 +03:00
Set- and Map-like types that remember the order elements were inserted
Updated 2022-03-29 19:55:50 +03:00
XSD parser and haskell types for working with it
Updated 2022-01-24 18:59:52 +03:00