Here's an ADT which is not a GADT, in Haskell:
data Expr = IntExpr Int | BoolExpr Bool| var cloneWithProps = React.addons.cloneWithProps; | |
| var SmartSortable = React.createClass({ | |
| getDefaultProps: function() { | |
| return {component: "ul", childComponent: "li"}; | |
| }, | |
| render: function() { | |
| var props = jQuery.extend({}, this.props); |
| { | |
| // http://eslint.org/docs/rules/ | |
| "ecmaFeatures": { | |
| "binaryLiterals": false, // enable binary literals | |
| "blockBindings": false, // enable let and const (aka block bindings) | |
| "defaultParams": false, // enable default function parameters | |
| "forOf": false, // enable for-of loops | |
| "generators": false, // enable generators | |
| "objectLiteralComputedProperties": false, // enable computed object literal property names |
| """ | |
| Minimal character-level Vanilla RNN model. Written by Andrej Karpathy (@karpathy) | |
| BSD License | |
| """ | |
| import numpy as np | |
| # data I/O | |
| data = open('input.txt', 'r').read() # should be simple plain text file | |
| chars = list(set(data)) | |
| data_size, vocab_size = len(data), len(chars) |
| -- | Simple alias for PostgreSQL connection pools. | |
| type PostgresPool = Pool.Pool PGS.Connection | |
| -- | Execute a query against the PostgreSQL database, using | |
| -- a connection pool. | |
| runQueryPool :: Default QueryRunner cols vals | |
| => Pool.Pool PGS.Connection | |
| -> Query cols | |
| -> IO [vals] | |
| runQueryPool p q = Pool.withResource p (`runQuery` q) |