Skip to content

Instantly share code, notes, and snippets.

View vrom911's full-sized avatar
🦄

Veronika Romashkina vrom911

🦄
View GitHub Profile
import Control.Monad
import Data.ByteString(ByteString)
import Control.Monad (ExceptT (..))
import Data.Kind
type Errors = [String]
data HeistConfig (m :: Type -> Type) = HeistConfig
newtype TemplateName = TemplateName String
@vrom911
vrom911 / keybase.md
Created August 30, 2021 08:50
Keybase proof

Keybase proof

I hereby claim:

  • I am vrom911 on github.
  • I am vrom911 (https://keybase.io/vrom911) on keybase.
  • I have a public key ASA8Vpo8UfhYlg0Sh33tb7CiPYvoBPX--yP2nPHOBuuXugo

To claim this, I am signing this object:

@vrom911
vrom911 / ChrisPenner.hs
Created October 19, 2020 20:43
My solutions to the Chris Penner's 'Silly Job Interview Questions In Haskell' post: https://chrispenner.ca/posts/interview
module ChrisPenner where
import Data.Array ((!))
import Data.Foldable (for_, foldl', maximumBy)
import Data.List (sort)
import Data.Map.Strict (Map)
import Data.Ord (comparing)
import qualified Data.Array as A
import qualified Data.Map.Strict as Map
setup-info:
ghc:
macosx:
8.6.1:
url: https://downloads.haskell.org/~ghc/8.6.1/ghc-8.6.1-x86_64-apple-darwin.tar.xz
sha256: 9692cdfd202b0e039ea0c3dde5dbf653736c836ca1df46504b179b572100808c
resolver: ghc-8.6.1
compiler: ghc-8.6.1
@vrom911
vrom911 / oneVectorLookup.hs
Created July 6, 2018 03:54
Core for lookup with binary search
-- RHS size: {terms: 9, types: 4, coercions: 0, joins: 0/0}
lookup1 :: Int# -> Any
lookup1
= \ (ipv :: Int#) ->
$wcheckError lvl24 245# Bounds lvl23 (checkIndex_msg# 0# ipv)
-- RHS size: {terms: 135, types: 101, coercions: 38, joins: 2/2}
$wlookup
:: forall k (a :: k) (f :: k -> *).
Typeable a =>
@vrom911
vrom911 / log
Created March 13, 2018 12:47
stack build --verbose
$ stack build --verbose
Version 1.6.5, Git revision 24ab0d6ff07f28276e082c3ce74dfdeb1a2ca9e9 (5514 commits) x86_64 hpack-0.20.0
2018-03-13 15:45:45.649506: [debug] Checking for project config at: /home/vrom911/Serokell/o-clock/stack.yaml
@(Stack/Config.hs:842:9)
2018-03-13 15:45:45.650842: [debug] Loading project config file stack.yaml
@(Stack/Config.hs:868:13)
2018-03-13 15:45:45.653048: [debug] Decoding build plan from: /home/vrom911/.stack/build-plan/nightly-2018-03-13.yaml
@(Stack/Snapshot.hs:150:5)
2018-03-13 15:45:45.653223: [debug] Trying to decode /home/vrom911/.stack/build-plan-cache/nightly-2018-03-13.cache
@(Data/Store/VersionTagged.hs:66:5)
@vrom911
vrom911 / appdo.hs
Created October 13, 2017 19:38
ApplicativeDo bug in ghc-8.2.1
{-# LANGUAGE ApplicativeDo #-}
import Options.Applicative
main :: IO ()
main = undefined
data Example = Example
{ someBool :: Bool }