kenji yoshida xuwei-k
xuwei-k
/ Ramanujan.scala
Last active
September 13, 2024 01:44
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import scala.compiletime.ops.int | |
| import scala.compiletime.ops.long | |
| import scala.compiletime.ops.double | |
| type Factorial[A <: Int] = | |
| Factorial0[A, 1L] | |
| type Factorial0[A <: Int, B <: Long] <: Long = | |
| int.<[A, 1] match | |
| case true => |
xuwei-k
/ LeibnizFormula.scala
Created
September 13, 2024 00:13
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import scala.compiletime.ops.int | |
| import scala.compiletime.ops.double | |
| type F1[A <: Int] <: Double = | |
| int.%[A, 2] match | |
| case 0 => | |
| 1d | |
| case 1 => | |
| -1d |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| package x; | |
| class A { | |
| public int a() { return 2; } | |
| } | |
| public class B extends A{} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import scala.compiletime.ops.boolean.&& | |
| import scala.compiletime.ops.boolean | |
| import scala.compiletime.ops.string | |
| import scala.compiletime.ops.int | |
| import scala.compiletime.ops.any | |
| type ToSquare = ( | |
| 0, 0, 0, 1, 1, 1, 2, 2, 2, | |
| 0, 0, 0, 1, 1, 1, 2, 2, 2, | |
| 0, 0, 0, 1, 1, 1, 2, 2, 2, |
xuwei-k
/ SudokuSolver.scala
Created
September 8, 2024 00:52
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import scala.compiletime.ops.boolean.&& | |
| import scala.compiletime.ops.boolean | |
| import scala.compiletime.ops.int | |
| import scala.compiletime.ops.any | |
| type ToSquare = ( | |
| 0, 0, 0, 1, 1, 1, 2, 2, 2, | |
| 0, 0, 0, 1, 1, 1, 2, 2, 2, | |
| 0, 0, 0, 1, 1, 1, 2, 2, 2, | |
| 3, 3, 3, 4, 4, 4, 5, 5, 5, |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import scala.compiletime.ops.boolean.&& | |
| type Sudoku[A <: Tuple] = A match { | |
| case ( | |
| _1_1 *: _1_2 *: _1_3 *: _1_4 *: _1_5 *: _1_6 *: _1_7 *: _1_8 *: _1_9 *: | |
| _2_1 *: _2_2 *: _2_3 *: _2_4 *: _2_5 *: _2_6 *: _2_7 *: _2_8 *: _2_9 *: | |
| _3_1 *: _3_2 *: _3_3 *: _3_4 *: _3_5 *: _3_6 *: _3_7 *: _3_8 *: _3_9 *: | |
| _4_1 *: _4_2 *: _4_3 *: _4_4 *: _4_5 *: _4_6 *: _4_7 *: _4_8 *: _4_9 *: | |
| _5_1 *: _5_2 *: _5_3 *: _5_4 *: _5_5 *: _5_6 *: _5_7 *: _5_8 *: _5_9 *: | |
| _6_1 *: _6_2 *: _6_3 *: _6_4 *: _6_5 *: _6_6 *: _6_7 *: _6_8 *: _6_9 *: |
xuwei-k
/ Sudoku.scala
Last active
September 7, 2024 10:17
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import scala.compiletime.ops.boolean.&& | |
| type Sudoku[A <: Tuple] = A match { | |
| case ( | |
| _1_1 *: _1_2 *: _1_3 *: _1_4 *: _1_5 *: _1_6 *: _1_7 *: _1_8 *: _1_9 *: | |
| _2_1 *: _2_2 *: _2_3 *: _2_4 *: _2_5 *: _2_6 *: _2_7 *: _2_8 *: _2_9 *: | |
| _3_1 *: _3_2 *: _3_3 *: _3_4 *: _3_5 *: _3_6 *: _3_7 *: _3_8 *: _3_9 *: | |
| _4_1 *: _4_2 *: _4_3 *: _4_4 *: _4_5 *: _4_6 *: _4_7 *: _4_8 *: _4_9 *: | |
| _5_1 *: _5_2 *: _5_3 *: _5_4 *: _5_5 *: _5_6 *: _5_7 *: _5_8 *: _5_9 *: | |
| _6_1 *: _6_2 *: _6_3 *: _6_4 *: _6_5 *: _6_6 *: _6_7 *: _6_8 *: _6_9 *: |
xuwei-k
/ FastLicensePlugin.scala
Created
September 6, 2024 23:17
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import sbt._ | |
| import sbt.Keys._ | |
| import sbt.internal.util.ManagedLogger | |
| import sbt.librarymanagement.DependencyResolution | |
| import sbtlicensereport.SbtLicenseReport.autoImportImpl.LicenseCategory | |
| import scala.xml.XML | |
| import sjsonnew.BasicJsonProtocol._ | |
| import sjsonnew.JsonFormat | |
| import sjsonnew.JsonWriter | |
| import sjsonnew.support.scalajson.unsafe.PrettyPrinter |
xuwei-k
/ wasm-scala-test-link-error.txt
Created
June 9, 2024 23:46
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [debug] Global IR cache stats: reused: 34 -- invalidated: 58 -- trees read: 35 | |
| [error] org.scalajs.testing.common.RPCCore$ClosedException: org.scalajs.testing.adapter.JSEnvRPC$RunTerminatedException | |
| [error] at org.scalajs.testing.common.RPCCore.helpClose(RPCCore.scala:223) | |
| [error] at org.scalajs.testing.common.RPCCore.close(RPCCore.scala:215) | |
| [error] at org.scalajs.testing.adapter.JSEnvRPC.close(JSEnvRPC.scala:69) | |
| [error] at org.scalajs.testing.adapter.JSEnvRPC.$anonfun$new$1(JSEnvRPC.scala:60) | |
| [error] at org.scalajs.testing.adapter.JSEnvRPC.$anonfun$new$1$adapted(JSEnvRPC.scala:60) | |
| [error] at scala.concurrent.impl.CallbackRunnable.run(Promise.scala:74) | |
| [error] at java.base/java.util.concurrent.ForkJoinTask$RunnableExecuteAction.exec(ForkJoinTask.java:1426) | |
| [error] at java.base/java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:290) |
xuwei-k
/ scala-WebAssembly-error
Created
June 1, 2024 11:39
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [error] java.util.concurrent.ExecutionException: Boxed Error | |
| [error] at scala.concurrent.impl.Promise$.resolver(Promise.scala:97) | |
| [error] at scala.concurrent.impl.Promise$.scala$concurrent$impl$Promise$$resolveTry(Promise.scala:89) | |
| [error] at scala.concurrent.impl.Promise$DefaultPromise.tryComplete(Promise.scala:294) | |
| [error] at scala.concurrent.Promise.complete(Promise.scala:53) | |
| [error] at scala.concurrent.Promise.complete$(Promise.scala:52) | |
| [error] at scala.concurrent.impl.Promise$DefaultPromise.complete(Promise.scala:197) | |
| [error] at scala.concurrent.impl.Promise.completeWithFailure(Promise.scala:32) | |
| [error] at scala.concurrent.impl.Promise.$anonfun$transformWith$1(Promise.scala:55) | |
| [error] at scala.concurrent.impl.CallbackRunnable.run(Promise.scala:74) |
NewerOlder