bakenezumi

sealed trait Term

case class TmVar(value: Any) extends Term {
  override def toString: String = s"$value"
}
case class TmAbs(x: Term, t: Term) extends Term {
  override def toString: String = s"λ($x.$t)"
}
case class TmApply(t1: Term, t2: Term) extends Term {
  override def toString: String = s"($t1 $t2)"

bakenezumi

// λx.t  ::  (x: Any) => t
// t t    ::  t(t)
implicit class DirtyAny(self: Any) {
  def apply(): Any = self match {
    case f: (Unit => Any) => f()
  }

  def apply(that: Any): Any = self match {
    case f: (Any => Any) => f(that)
  }

bakenezumi

sealed trait Term

case class TmVar(value: Any) extends Term {
  override def toString: String = s"$value"
}
case class TmAbs(x: Term, t: Term) extends Term {
  override def toString: String = s"λ($x.$t)"
}
case class TmApply(t1: Term, t2: Term) extends Term {
  override def toString: String = s"($t1 $t2)"

bakenezumi

ZYZZY SAFE 2000™ API - SAFEST AROUND

• XA

  LINK 800
  MAKE
  
  MARK DIGIT1
  COPY X #PASS
  

bakenezumi

EXAPUNKS最適化Tips

1. ファイルは1サイクルで２項目読める

   Before(2 cycle)

   COPY F X
   ADDI X F X
   

bakenezumi

package xsbt

import scala.reflect.NameTransformer
import scala.tools.nsc.Global

object SemanticDBHelper {

  def semanticName[GlobalType <: Global](g: GlobalType)(sym: g.Symbol): String = {
    var b: java.lang.StringBuffer = null

bakenezumi

{
  "types": [
    {
      "name": "Range",
      "namespace": "xsbti.semanticdb3",
      "target": "Java",
      "type": "record",
      "doc": [
        "<code>Range</Code> in SemanticDB directly corresponds to <code>Range</code> in LSP.",
        "@see <a href='https://github.com/scalameta/scalameta/blob/master/semanticdb/semanticdb3/semanticdb3.md#range'>scalameta/semanticdb3#Range</a>",