scala - Pattern matching dependent types - how to avoid asInstanceOf? -


i'm drawing blank on how accomplish following without cheating , using asinstanceof.

say have arbitrary sealed type of objects, each own type members.

  sealed trait part { type }   case object p1 extends part { override type = string }   case object p2 extends part { override type = int }

now bundle p , p.a value together...

  trait partanda {     val p: part     val a: p.a   }    object partanda {     type aux[p <: part] = partanda {val p: p}      def apply(_p: part)(_a: _p.a): aux[_p.type] =       new partanda {         override val p: _p.type = _p         override val          = _a       }   }

how can safely accomplish following exhaustion checking , without manual casts?

  def fold[a](pa: partanda)(p1: partanda.aux[p1.type] => a,                             p2: partanda.aux[p2.type] => a): =     pa.p match {       case p1 => p1(pa.asinstanceof[partanda.aux[p1.type]])       case p2 => p2(pa.asinstanceof[partanda.aux[p2.type]])     }

i think problem connected jvm type erasure. without problem simplified to:

sealed trait part { type } case class p1() extends part { override type = string } case class p2() extends part { override type = int }  trait partanda[p <: part] {   val p: p   val a: p.a }  object partanda {   type aux[p <: part] = partanda[p]    def apply(_p: part)(_a: _p.a): partanda[_p.type] =     new partanda[_p.type] {       override val p: _p.type = _p       override val          = _a     } }  def fold[a, t: classtag](pa: partanda[t])(p1: partanda[p1] => a,                           p2: partanda[p2] => a): =   pa match {     case s: partanda[p1]  => p1(pa) // here p1 lost, err      case i: partanda[p2] => p2(pa) // here p2 lost, err   }

according knowledge there no shorter (than yours or typetags/classtags) workaround of jvm type erasure.


Comments

Post a Comment

Popular posts from this blog

powershell Start-Process exit code -1073741502 when used with Credential from a windows service environment -

i'm running strange behavior powershell start-process call. here call: $process = start-process ` "c:\somepath\mybinary.exe" ` -passthru ` -credential $defaultcredential ` -wait ` -workingdirectory "c:\somepath" ` -loaduserprofile if ($process.exitcode -ne 0) { #do } this call return exit code - 1073741502 . after quick search, exit code seems related generic error when program not load required dll (aka. status_dll_init_failed ). when run without -credential $credential program runs correctly. in order isolate problem, manually launched some.exe in prompt target credential , runs smoothly. so problem seems come way start-process cmdlet launch process. i found potential solutions problem tried apply no luck : link , link . would have idea of what's going on here ? edit 1: run proc mon monitoring program activities when launched directly or via powershell script. problem seems occur when loading kernelbase
Read more

twig - Using Twigbridge in a Laravel 5.1 Package -

i'm trying create laravel 5.1 package uses twigbridge instead of .php views. can normal .php views display fine, when try make use of .twig templates i'm met error. possible use twigbridge templates when creating views laravel package or pretty stuck blade , php ? edit 1: loading twig template without extending works. it's when start using {% extends 'file' %} error comes out. i error error loading /virtual/laravel/packages/username/mypackage/src/views/sample.twig: template "templates.master" not defined () in "/virtual/laravel/packages/username/mypackage/src/views/sample.twig" @ line 1. my folders username |_ mypackage |_ src |_ controllers - samplecontroller.php |_ views |_ templates - master.twig - sample.twig twig template sample.twig {% extends 'templates.master' %} {% block content %} {{ parent()
Read more

c# - LINQ join Entities from HashSet's, Join vs Dictionary vs HashSet performance -

i have hashset's each stores t, have written test application compares different relation algorithms can think of, i'm not pleased results getting. does there exist more efficient ways of achieving object relations, once testing? using system; using system.collections.generic; using system.linq; using system.text; using system.threading.tasks; using system.diagnostics; namespace linqtests { class program { static void main(string[] args) { hashset<user> usertable = new hashset<user>(); hashset<userproperty> userpropertytable = new hashset<userproperty>(); #region lets create dummy data. console.writeline("please wait while creating dummy data, can take while..."); console.writeline(""); int rows = 1000000; for(int x = 0; x < rows; x++) { random rnd = new random(); // ad
Read more