Search Results for "programmer"

...It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. It also has parametrised modules, mixfix operators, Unicode characters, and an interactive Emacs interface which can assist the programmer in writing the program. Agda is a proof assistant. It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram, Matita and NuPRL.

...IHP comes with everything you need to build great web applications out of the box. IHP is a batteries-included web framework, optimized for longterm productivity and programmer happiness. With IHP all your application code is written in Haskell - a functional programming language with an incredible type system, used by giants such as GitHub and Facebook. Thanks to Haskell's impressive type system you can write code that is far more robust than you have seen before.

The HaskellR project provides an environment for efficiently processing data using Haskell or R code, interchangeably. HaskellR allows Haskell functions to seamlessly call R functions and vice versa. It provides the Haskell programmer with the full breadth of existing R libraries and extensions for numerical computation, statistical analysis and machine learning. Optionally, pass in the --nix flag to all commands if you have the Nix package manager installed. Nix can populate a local build environment including all necessary system dependencies without touching your global filesystem. ...