Generalized Algebraic Data Types in ATS
Bluish Coder Programming Languages, Martials Arts and Computers. The Weblog of Chris Double. The ATS programming language supports defining Generalized Algebraic Data Types (GADTS). They allow defining datatypes where the constructors for the datatype are explicitly defined by the programmer. This has a number of uses and I'll go through some examples in this post. GADTs are sometimes referred to
Dynamic Compilation and Loading of Modules in Haskell
Bluish Coder Programming Languages, Martials Arts and Computers. The Weblog of Chris Double. The Haskell system GHC has libraries that provide the ability to compile Haskell code and dynamically load it into a running Haskell program. A library that provides this functionality is hs-plugins. Unfortunately hs-plugins doesn't work with the latest GHC release, 6.10.1. There is an API to the internals
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Installing GNAT and SPARK GPL Editions
Introduction to the Freenet API
Decentralized Websites with ZeroNet
Using Freenet
Pattern Matching Against Linear Objects in ATS
Constructing Proofs with dataprop in ATS
An Introduction to using pointers in ATS
Lightweight Tasks Library for ATS
Safer handling of C memory in ATS
Implementing a stack with proofs in ATS
