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) |