haskell - Using functional dependency to eliminate type parameter -

-

i trying implement parsec stream wrapper remember last uncons'd token in order provide look-behind capability. want wrapper work stream instance. here's have far:

{-# language flexibleinstances, multiparamtypeclasses #-} module mstream  import text.parsec import control.monad ( liftm )  data mstream s t = mstream (maybe t) s  instance stream s m t => stream (mstream s t) m t   uncons (mstream _ s) = fmap (\(t, s') -> (t, mstream (just t) s')) `liftm` uncons s  getprevtoken :: stream s m t => parsect (mstream s t) u m (maybe t) getprevtoken = (\(mstream t _) -> t) `liftm` getinput  mstream :: s -> mstream s t mstream = mstream nothing

this works, don't having carry t parameter in mstream type constructor. surely should sufficient require s parameter, since t can derived s long there witness stream s m t. i've tried using type families , gadts, keep running obscure errors ambiguous type variables , unsatisfied functional dependencies.

is there way remove t mstream type constructor don't have write:

sillyparser :: stream s m char => parsect (mstream s char) u m string sillyparser =   t <- getprevtoken   maybe (string "first") (\c -> string $ "last" ++ [c]) t

with

{-# language functionaldependencies #-} {-# language existentialquantification  #-} {-# language flexibleinstances #-} {-# language undecidableinstances #-}  module mstream  import control.monad ( liftm )  -- class don't need carry `m` in `mstream` definition. class streamdep s t | s -> t class streamdep s t => stream s m t   uncons :: s -> m (maybe (t, s))  data mstream s = forall t. streamdep s t => mstream (maybe t) s  data parsect s u m = parsect s u (m a) instance monad m => monad (parsect s u m)  getinput :: parsect s u m s getinput = undefined  instance streamdep s t => streamdep (mstream s) t  instance (monad m, stream s m t) => stream (mstream s) m t   uncons (mstream _ s) = fmap (\(t, s') -> (t, mstream (just t) s')) `liftm` uncons s  getprevtoken :: (monad m, stream s m t) => parsect (mstream s) u m (maybe t) getprevtoken = (\(mstream t _) -> t) `liftm` getinput  mstream :: streamdep s t => s -> mstream s

i quite close, error:

pars.hs:28:35:     not deduce (t1 ~ t)     context (monad m, stream s m t)       bound type signature                  getprevtoken :: (monad m, stream s m t) =>                                  parsect (mstream s) u m (maybe t)       @ pars.hs:27:17-76     or (streamdep s t1)       bound pattern constructor                  mstream :: forall s t. streamdep s t => maybe t -> s -> mstream s,                in lambda abstraction

yet using both contexts stream s m t , streamdep s t1 should obvious (t ~ t1).

by using artillery, can make compile:

getprevtoken :: (monad m, stream s m t) => parsect (mstream s) u m (maybe t) getprevtoken = (\(mstream t _) -> unsafecoerce t) `liftm` getinput

but cannot try this, requires modification parsec.


Comments

Post a Comment

Popular posts from this blog

php - Zend Framework / Skeleton-Application / Composer install issue -

-
i trying create zend framework application using skeleton in netbeans. when run composer install, following error message: "c:\php\php.exe" "c:\composer\composer.phar" "--ansi" "--no-interaction" "update" "--dev" using deprecated option "dev". dev packages installed default now. loading composer repositories package information updating dependencies (including require-dev) requirements not resolved installable set of packages. problem 1 - package requires php >=5.5 php version (5.4.42) not satisfy requirement. problem 2 - installation request zendframework/zendframework 2.5.1 -> satisfiable zendframework/zendframework[2.5.1]. - zendframework/zendframework 2.5.1 requires php >=5.5 -> php version (5.4.42) not satisfy requirement. done. apparently, zend framework only needs php 5.3+ contradicts above. need use php 5.4. my composer.json following: { "name": "
Read more

c# - Better 64-bit byte array hash -

-
i need hash algorithm produces 64-bit hash code ( long ) fewer collisions string.gethashcode() , fast (no expensive calls cryptographic functions). here's implementation of fnv still shows 3% of collisions after testing 2 million random strings. need number way lower. void main() { const string chars = "abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz!#@$%^&*()_+}{\":?><,./;'[]0123456789\\"; const int n = 2000000; var random = new random(); var hashes = new hashset<long>(); int collisions = 0; for(int = 0; < n; i++) { var len = random.next(chars.length); var str = new char[len]; (int j = 0; j < len; j++) { str[j] = chars[random.next(chars.length)]; } var s = new string(str); if(!hashes.add(get64bithash( s ))) collisions++; } console.writeline("collision percentage after " + n + " random strings: " + ((doubl
Read more

python - PyCharm Type error Message -

-
i'm newbie trying out ml/dbn in python (3.4) under pycharm (comm.ed 4.5). following definition def make_thetas(xmin,xmax,n): xs = np.linespace(xmin,xmax,n) widths = (xs[1:] - xs[:-1])/2.0 thetas = xs[:-1] + widths return thetas throws error "class 'tuple' not define ' sub ', '-' operator cannot used on instance" on - operator on third line (widths = ....) ideas on how code running under pycharm - works alright in interactive python window. thx. to all, after g'g lot have found workaround seems work within pycharm. workaround because (even python newbie) expected python not need explicit typecasting, not when using datatypes imported lib such numpy. def make_thetas(xmin,xmax,n): xs = np.array(np.linspace(xmin,xmax,n)) widths = (xs[1:] - xs[:-1])/2.0 thetas = xs[:-1]+ widths return thetas using docstrings type-hinting such below did not work def make_thetas(xmin,xmax,n): "&q
Read more