| trait NotSubTypeOf[A, B] // encoding to capture A is not a subtype of B | |
| // Note: We can use infix notation to write `A NotSubTypeOf B` instead of `NotSubTypeOf[A, B]` | |
| // evidence for any two arbitrary types A and B, A is not a subtype of B | |
| implicit def isSub[A, B]: A NotSubTypeOf B = null | |
| // define ambigous implicits to trigger compile error in case A is a subtype of B (or A =:= B) | |
| implicit def iSubAmbig1[A, B >: A]: A NotSubTypeOf B = null | |
| implicit def iSubAmbig2[A, B >: A]: A NotSubTypeOf B = null |
Provisional benchmarks of AST-free serialization puts my WIP branch of uPickle about ~40% faster than circe on my current set of ad-hoc benchmarks, if the encoders/decoders are cached (bigger numbers is better)
playJson Read 2761067
playJson Write 3412630
circe Read 6005895
circe Write 5205007
upickleDefault Read 4543628
upickleDefault Write 3814459
upickleLegacy Read 8393416
| def fix[A](f: A => A): A = f(fix(f)) | |
| val fib = fix[Int => Int]( recur => n => | |
| if (n <= 1) 1 | |
| else recur(n - 1) + recur(n - 2)) |
| import scalaz.nio._ | |
| import scalaz.nio.channels.{AsynchronousServerSocketChannel, AsynchronousSocketChannel} | |
| import scalaz.zio.console._ | |
| import scalaz.zio._ | |
| object TestSocket extends App { | |
| override def run(args: List[String]): ZIO[Environment, Nothing, Int] = { | |
| theSocket.foldM( |
Links on Must watch talks
A Year living Freely - Chris Myers
Programs as Values Pure Composable Database Access in Scala. In general each talk from Rob Norris is very useful for learning.
Change Apple OS X Dock size from Apple Terminal
defaults write com.apple.dock tilesize -int 32; killall Dock32 is icon size
