Skip to content

Instantly share code, notes, and snippets.

View elim.hs
{-# LANGUAGE LambdaCase, BlockArguments, EmptyCase #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE TypeSynonymInstances, TypeOperators, FlexibleInstances, FlexibleContexts, UndecidableInstances #-}
{-# LANGUAGE TypeFamilies, GADTs, MultiParamTypeClasses, FunctionalDependencies #-}
{-# LANGUAGE DataKinds, PolyKinds, AllowAmbiguousTypes, TypeApplications, ScopedTypeVariables #-}
import GHC.Generics
import Unsafe.Coerce (unsafeCoerce)
import Data.Type.Equality
View Main.hs
{-# language RecordWildCards #-}
module Main where
import Data.List
import GHC.HeapView
import System.Mem
import qualified Data.IntMap as IntMap
main = do
View generic-lens-anon-records.hs
{-# LANGUAGE RankNTypes, TypeInType, TypeApplications, OverloadedLabels,
ScopedTypeVariables, TypeOperators, GADTs, FlexibleInstances, FlexibleContexts,
TypeFamilies, UndecidableInstances #-}
import Data.Kind (Type)
import Data.Proxy (Proxy(..))
import GHC.Generics
import GHC.TypeLits (Symbol, KnownSymbol, symbolVal)
import Control.Lens
import Data.Generics.Product.Fields (field')
@klapaucius
klapaucius / modles.md
Last active Aug 22, 2018
Детская болезнь "эмелизны" в хаскелизме.
View modles.md

Детская болезнь "эмелизны" в хаскелизме.

Приближается, пожалуй, самое значительное нововведение в хаскеле, со времен FC и превращения хаскеля из ML++ в недоΩmega: модули. Весь этот тектонический сдвиг, правда, остается незамеченным. Даже в Release notes об этом не упомянуто. Есть, только упоминание в руководстве пользователя Также, описания новой системы модулей можно найти на странице Backpack, но установить что из этого уже имплементировано можно только опытным путем.

Представление о ML-модулях можно составить из диссертации Дрейера (pdf)

View views_vs_guards.hs
Prelude> let foo ys | (xs:_) <- reverse ys = case xs of xs' | (x:_) <- reverse xs' -> x
Prelude> foo [[1..3],[4..7],[8..10]]
10
Prelude> let foo' (reverse -> (reverse -> x:_):_) = x
Prelude> foo' [[1..3],[4..7],[8..10]]
10
View ghc-heap-view.hs
> import GHC.HeapView
>
let evLength n l = do
ht <- buildHeapTree n (asBox $ l)
let cnt (HeapTree _ (ConsClosure {ptrArgs = [hd,tl]})) = 1 + cnt tl
cnt _ = 0
return $ cnt ht
> let l = [1..]
> l !! 10
11
View parsers.fs
module Parsers =
let inline konst a b = a //const зарезервировано
type Parser<'s, 't> = 's -> ('t * 's) option
let inline uncons l = match l with x::xs -> Some(x,xs) | [] -> None
let inline unit a xs = Some (a, xs)
let inline (<*>) pf px inp =
match pf inp with
@klapaucius
klapaucius / japp.hs
Last active Dec 26, 2015
J Applicative
View japp.hs
{-# LANGUAGE FlexibleInstances #-}
import Control.Applicative
newtype J a = J { runJ :: a }
instance (Applicative f, Num n) => Num (J(f n)) where
(+) = (J .) . liftA2 (+) `on` runJ
(-) = (J .) . liftA2 (-) `on` runJ
(*) = (J .) . liftA2 (*) `on` runJ
abs = J . fmap abs . runJ
@klapaucius
klapaucius / gist:6193028
Last active Dec 20, 2015
Fixed+TypeNats
View gist:6193028
Prelude> :set -XDataKinds
Prelude> :set -XKindSignatures
Prelude> :set -XScopedTypeVariables
Prelude> import Data.Fixed
Prelude Data.Fixed> import GHC.TypeLits
Prelude Data.Fixed GHC.TypeLits>
data E (a :: Nat)
Prelude Data.Fixed GHC.TypeLits>
instance SingI a => HasResolution (E a) where resolution _ = 10 ^ fromSing (sing :: Sing a)
View Lift.hs
{-# LANGUAGE TypeFamilies, DataKinds, GADTs, NoMonomorphismRestriction #-}
-- http://typesandkinds.wordpress.com/2012/11/26/variable-arity-zipwith/
module Main where
import Prelude hiding (map, zipWith, zipWith3)
import Control.Applicative hiding (liftA, liftA2, liftA3)
import Control.Monad hiding (liftM, liftM2, liftM3)