Phil Andrew
I have a book on Quarkus, let me read the book and work out why I like it :) (or I should say, come back with reasons)
I really want live reloading. How to do with this, use DCEVM? I have used it before but not on seed. Live reload with your ScalaJS trigger would be useful....
No, its my fault. I needed to run seed bloop But I had not done so.
This is how I now compile Idris in Maven. Any suggestions how to improve? ``` org.codehaus.mojo exec-maven-plugin 1.6.0 validate exec false idris . --idrispath=src/main/idris --portable-codegen jvm -p idrisjvmffi src/main/idris/HelloWorld.idr --cg-opt...
ZIO is very popular
I see it is in 2.x branch
It doesn't work :( StreamsBasedServer.scala:25:56 value open is not a member of object zio.nio.channels.AsynchronousServerSocketChannel server Console.printLine("Read chunk")).orElse(ZIO.fail(None)) StreamsBasedServer.scala:54:24 value close in class AsynchronousByteChannel cannot be accessed as a member of...
How to use from scala 3 and zio 2?
Its not unusual to be non-OSGi compliant, its just that I'm trying to use it in an OSGi environment. To show what the problem is firstly consider sangria-streaming-api. Its META-INF/MANIFEST.MF...
I'll make Korolev work for OSGi first https://github.com/fomkin/korolev - based upon the Shapeless project which does use Sbt OSGi to generate the right manifests and is a reasonable project to...