Skip to content

Instantly share code, notes, and snippets.

@xuwei-k
xuwei-k / Witness.scala
Last active January 27, 2024 10:40
shapeless.Witness match type
import scala.compiletime.ops.string.Length
import scala.compiletime.ops.string.CharAt
import scala.compiletime.ops.string.Substring
import scala.compiletime.ops.int
import scala.compiletime.ops.long
import scala.language.dynamics
object Witness extends Dynamic {
type StringTail[A <: String] = Substring[A, 1, Length[A]]
import play.api.BuiltInComponents
import play.api.Mode
import play.api.mvc._
import play.api.routing._
import play.api.routing.sird._
import play.core.server.PekkoHttpServer
import play.core.server.ServerConfig
object Main {
// 1つのScalaファイルで済むので、
@xuwei-k
xuwei-k / Scala-2-12
Last active October 5, 2023 05:29
scala xml pattern match
Welcome to Scala 2.12.18 (OpenJDK 64-Bit Server VM, Java 11.0.20).
Type in expressions for evaluation. Or try :help.
scala> val <a>{ b }</a> = <a></a>
scala.MatchError: <a></a> (of class scala.xml.Elem)
... 55 elided
scala> val <a>{ _ }</a> = <a>c</a>
scala> val <a>{ _* }</a> = <a>c</a>
@xuwei-k
xuwei-k / Bench.scala
Last active September 29, 2023 06:56
package p1
import org.openjdk.jmh.annotations.Benchmark
object Bench {
val values: List[Either[Int, Int]] = (1 to 100_000).map{
case n if n % 2 == 0 =>
Right(n)
case n =>
Left(n)
@xuwei-k
xuwei-k / 11
Last active September 22, 2023 07:48
public java.lang.String x(java.lang.String);
descriptor: (Ljava/lang/String;)Ljava/lang/String;
flags: (0x0001) ACC_PUBLIC
Code:
stack=1, locals=2, args_size=2
0: aload_1
1: invokedynamic #27, 0 // InvokeDynamic #0:makeConcatWithConstants:(Ljava/lang/String;)Ljava/lang/String;
6: areturn
@xuwei-k
xuwei-k / FunctorPolyFunction.scala
Created July 29, 2023 01:39
impl Functor use PolyFunction
package example
trait Functor[F[_]] {
def map[A, B](fa: F[A])(f: A => B): F[B]
}
object Functor {
def fromPolyFunction[F[_]](x: [A, B] => (fa: F[A]) => (f: A => B) => F[B]): Functor[F] =
new Functor[F] {
def map[A, B](fa: F[A])(f: A => B): F[B] = x(fa)(f)
scalaVersion := "3.3.0"
libraryDependencies += "org.openjdk.jol" % "jol-core" % "0.17"
@xuwei-k
xuwei-k / Main.scala
Last active October 5, 2023 22:27
playframework Scala 3 hello world
import play.api.BuiltInComponents
import play.api.Mode
import play.api.mvc._
import play.api.routing._
import play.api.routing.sird._
import play.core.server.NettyServer
import play.core.server.ServerConfig
object Main {
// 1つのScalaファイルで済むので、
package a {
object X
package b {
object Y
}
}
package b {
object Z
# checkoutその他は省略
- run: sbt compileなどの他のタスク色々 writeExternalDependencies
- name: upload dependencies.txt
if: github.event_name == 'push'
run: |
# いい感じにuploadとdownloadできれば、
# github actionsのartifactでもなんでも良い。
# 最近某所ではS3の方が便利というか楽なので、それ使ったりもしているので、その場合の例
aws s3 cp target/dependencies.txt s3://適当なURI/${{github.ref_name}}/dependencies.txt
- id: get_previous_dependencies