October 3rd, 2012

Book

Только подсветка, но всё же

;;; typescript.el --- Major mode for editing typescript

;; Copyright (C) 2012 Microsoft Open Technologies

" Vim syntax file
" Language: TypeScript
" Author: MicroSoft Open Technologies Inc.

Sublime TypeScript Readme
----------------------------------------------------------------------------
Author: Microsoft Open Technologies, Inc.

TypeScript bundle for Sublime, this bundle provides syntax highlighting.
Book

Новое слово в функторо- и монадостроении

https://dorchard.wordpress.com/2011/10/18/subcategories-in-haskell-exofunctors/

{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE TypeFamilies #-}

import GHC.Prim (Constraint)
import qualified Data.Set as Set

class ExoFunctor f where
   type SubCat f x :: Constraint
   fmap :: (SubCat f a, SubCat f b) => (a -> b) -> f a -> f b

instance ExoFunctor Set.Set where
   type SubCat Set.Set x = Ord x
   fmap = Set.map

instance ExoFunctor [] where
    type SubCat [] a = ()
    fmap = map
Требует GHC 7.6 Работает с последней Haskell Platform (GHC 7.4.1)