scala - Bizzare type inference limitation - multiple type params -

-

why not compile?

trait lol[a, sa] {   def flatmap[b, sb](f: => lol[b, sb]): lol[b, sb] = ??? }  val p1: lol[int, string] = ??? val p2: lol[double, nothing] = ???  val p5 = p1.flatmap(_ => p2)

result:

found   : int => lol[double,nothing] required: int => lol[double,sb]    val p5 = p1.flatmap(_ => p2)                          ^

things start compile when either:

  • type params of flatmap invocation explicit
  • sa covariant (wtf?)
  • some other type nothing used in p2 (e.g. null)
  • sb not occur in return type of flatmap or occurs in covariant position of return type (e.g. return type option[sb])

the above workarounds not acceptable me.

@retronym's commentary on si-9453 explains behaviour you're seeing. here's workaround of sorts ...

we can synthesize type equivalent nothing won't cause typer retract inference solution,

type reallynothing = nothing { type t = unit }

ie. nothing dummy refinement. example of question,

scala> :paste // entering paste mode (ctrl-d finish)  trait lol[a, sa] {   def flatmap[b, sb](f: => lol[b, sb]): lol[b, sb] = ??? }  val p1: lol[int, string] = ??? val p2: lol[double, reallynothing] = ???  val p5 = p1.flatmap(_ => p2)  // exiting paste mode, interpreting.  scala.notimplementederror: implementation missing   @ scala.predef$.$qmark$qmark$qmark(predef.scala:225)   ... 37 elided

Comments

Post a Comment

Popular posts from this blog

mysql - FireDac error 314 - but DLLs are in program directory -

-
i getting when trying access mysql database : [firedac][phys][mysql]-314. cannot load vendor library [libmysql.dll or libmysqlld.dll] this did not happen (unchanged) code, however, have upgraded windows 10 , had reinstall delphi xe8, system configuration matter. in order try solve problem, copied both of files c:\windows\sysytem32. when did not seem work, copied them \win32\debug, generated .exe resides. i imagine doing rather stupid, can't see what. the proper solution place driver file (eg., libmysql.dll ) in application's folder, or place installation location in fddrivers.ini file: [mysql] vendor=<folder>\libmysql.dll (recent versions of documentation seem use vendorlib instead of vendor in ini file.) see rad studio documentation topics configuring drivers (firedac) , connect mysql server (firedac) more information.
Read more

python - How to read gradle build progress from it's output? -

-
i execute gradle python subprocess: proc = subprocess.popen(["./gradlew", "assemble", stdout=subprocess.pipe, stderr=subprocess.pipe, ) then run 2 threads read stdout , stderr: class mythread(qtcore.qthread): def run(self): while true: line = self.stream.readline() if line not none , len(line) > 0: // process line else: break i read log correct, can't read output like: > building 53% > :project:assemble i tried replace readline read , not helped. if execute: ./gradlew assemble | hd i not see build progress in hd . is solution read progress?
Read more

c# - How do I debug "System.DllNotFoundException: The specified procedure could not be found"? -

-
i've got pinvoke wrapper set native dll, time try invoke it, crashes, saying system.dllnotfoundexception: specified procedure not found . things i've checked: the dll in same folder exe. dependency walker shows dll has 1 non-system dll dependency, , it's loaded (successfully) process point. it gives same error no matter function try call into, including dummy function no body. (so points 1 , 3 answer here not apply.) i've used dependency walker ensure functions being exported, same names, including case sensitivity. by point, i'm @ wits' end. how can debug , figure out what's going wrong? error message i'm getting spectacular pile of fail when comes usefulness; doesn't tell me name of procedure can't find. i'd debug first in native application. reasons explain later. put simple console app in same directory c# executable. have console app call loadlibrary , getprocaddress on dll p/invoking. same error occur? ...
Read more