Search results

  1. mandubian.com/2013/03/12/datomisca-​shapeless-hlist   Cached
    check HList types against schema at compile-time; This uses : Datomisca type-safe schema; Shapeless HList; Shapeless polymorphic functions;
  2. www.chuusai.com/feed/atom
    http://www.chuusai.com/?p=170 2012-08-08T09:14:47Z 2012-05-10T10:02:59Z Continue Reading]]> Last time we saw that Scala’s standard function values weren’t going ...
  3. stackoverflow.com/questions/16701159/​map-on-hlist-fails...   Cached
    Further, we define the following polymorphic function value (using shapeless): ... a type constraint, object f2 extends Poly1 { implicit def caseA[S, T] ...
  4. www.cs.wright.edu/~tkprasad/courses/​cs776/L3type.ppt
    File format: Microsoft Powerpoint
    Type Checking and Type ... l->b) Generality Equality constraints cs776 ... h = f o g; val h = fn : int -> int * Polymorphic function on fixed-type list : ...

  5. Polymorphism (computer science) - Wikipedia, the free ...

    en.wikipedia.org/wiki/Type_polymorphism   Cached
    In computer science, polymorphism is a programming language feature that allows values of different data types to be handled using a uniform interface. The concept of ...

  6. Type system - Wikipedia, the free encyclopedia

    en.wikipedia.org/wiki/Type_checking   Cached
    The process of verifying and enforcing the constraints of types – type checking ... type of functions taking ... rank-1 polymorphic types, in which type ...
  7. www.cs.umd.edu/~jfoster/papers/​esop06.pdf
    File format: Adobe PDF
    We present a multi-lingual type inference system for checking type safety of ... cally by using instantiation constraints, ... at calls to polymorphic functions, ...
  8. www.soi.city.ac.uk/~ross/Hope/hope_tut/​node17.html   Cached
    ... strict type-checking can be a nuisance if we want to perform some operation that doesn't depend on the ... We can define our own polymorphic functions in Hope.
  9. homepages.feis.herts.ac.uk/~msc_fl/fl-​node55.html   Cached
    Polymorphic functions In section the idea of type inference for expressions and functions was introduced. ... full type checking is still possible; ...
  10. stackoverflow.com/tags/shapeless/new
    The code you've written ought to Just Work, as-is, producing the precise existential type that you were expecting. It'd be very helpful if you would open a bug ...