lcs :: Eq a => [a] -> [a] -> [a]
lcs xs [] = []
lcs [] ys = []
lcs (x:xs) (y:ys)
  | x == y   = x : lcs xs ys
  | otherwise = max (lcs xs (y:ys)) (lcs (x:xs) ys)

-- 示例
main :: IO ()
main = print $ lcs "AGGTAB" "GXTXAYB"

def lcs(x, y):
    if not x or not y:
        return ""
    if x[0] == y[0]:
        return x[0] + lcs(x[1:], y[1:])
    return max(lcs(x[1:], y), lcs(x, y[1:]), key=len)

# 示例
print(lcs("AGGTAB", "GXTXAYB"))

   import org.jetbrains.kotlin.gradle.tasks.KotlinCompile

   plugins {
       id("com.android.application")
       kotlin("android")
   }

   android {
       compileSdk = 33 // 或你希望的 SDK 版本

       defaultConfig {
           applicationId = "com.example.app"
           minSdk = 21
           targetSdk = 33
           versionCode = 1
           versionName = "1.0"
       }

       buildFeatures {
           compose = true // 如果使用 Compose，设置为 true
       }

       compileOptions {
           sourceCompatibility = JavaVersion.VERSION_1_8
           targetCompatibility = JavaVersion.VERSION_1_8
       }

       kotlinOptions {
           jvmTarget = "1.8"
       }
   }

   dependencies {
       implementation("org.jetbrains.kotlin:kotlin-stdlib-jdk7:1.8.10") // Kotlin 依赖
       // 添加其他依赖
   }

   tasks.withType<KotlinCompile> {
       kotlinOptions {
           freeCompilerArgs += "-Xscript" // 添加编译选项以支持 .kts 文件
       }
   }
   

   // 示例: 引用 myfile.kts
   val result = eval("src/main/kotlin/com/example/myfile.kts")
   

fun greet(name: String): String {
    return "Hello, $name!"
}

import kotlin.script.experimental.api.*
import kotlin.script.experimental.host.*
import kotlin.script.experimental.jvm.*
import kotlin.script.experimental.kotlin.*

fun main() {
    val scriptFile = File("script.kts")
    
    val compilationConfiguration = ScriptCompilationConfiguration {
        jvm {
            dependencies("path/to/kotlin-stdlib.jar") // 添加必需的依赖
        }
    }

    val evaluationConfiguration = ScriptEvaluationConfiguration {
        // 可以在此处配置和添加额外的环境
    }

    val script = KotlinScriptEngine().eval(scriptFile, compilationConfiguration, evaluationConfiguration)

    // 调用脚本中的方法
    val greetFunc = script.scriptInstance::class.members.find { it.name == "greet" }
    val greeting = greetFunc?.call(script.scriptInstance, "World") // 调用 greet 函数
    println(greeting) // 输出: Hello, World!
}

alias DEB='cu sudo dpkg -i --force-all'
cu(){ eval $(node -p 'gc={"?d1":"--depth=1","?dn":"--recurse-submodules","":""}; process.argv.slice(1).map(s=>{try{u=new URL(s),s=/^git/.test(u.host)?
 `git clone ${gc[u.search]} git@${u.host}:${u.pathname.slice(1)}.git&&ls -td */`:
 `wgetHL ${u}`;s=`$(${s}|head -n1)`}catch{}return s}).join(" ")' $*);}

cnf-x() {
  [[ ! "$@" =~ ' /' && "$@" =~ / ]]&&cd "$(mkdir -p $@;echo $1)" ||([[ $1 =~ ^[0-9,]+$ ]] &&cut -d' ' -f $1|sed -nE "$2p" ) ||
  ([[ $1 =~ ^\. ]] &&jc ${@:2}|tee e.json|jq -rcM "$1"|sed '1s/^/(/; $s/$/)/'|node -p) ||(ev=CNF$1;[ -n "${!ev}" ] &&${!ev} "${@:2}") ||
  ([ -z $(command -v $1) ] &&command-not-found $1) ||(
      for opt in "--help" "-h"; do $@ $opt 2>&1|cnfx-HL &&break; done
      sleepHL 2 &&for doc in "tldr" "man" "man -k"; do $doc $1 &&break; done
  )
}
alias ?=cnf-x grepp='grep --color=always -P'
CNFimport='pip install -U'; CNFjs='sudo npm -g i'; CNFdoc='docker pull'
CNF_fmt='[[/(?<=\s-[\w-.]+)(( | ?[=<\x27[])[^\s:,，]+)/g, 33],[/,? ?(\s-[\w-.]+)/g, 32],[/([A-Z][A-Z0-9_]{2,})/g,34]]'
command-not-found() { sudo pacman -S --noconfirm --needed $@ ||pacman -Ql $@|grepp '/etc|lib/'; pkgcSel $1; return 0;}
cnfx-HL(){ node -p "$CNF_fmt.reduce((str, [A, B]) => str.replace(A,\`\x1b[1;\${B}m\$1\x1b[0m\`), process.argv[1])" -- "$(cat)"; }

sleepHL(){ python -c "$HL_0
dt=$1*10;t0=time.time()
try: goPB(dt,delay(iter('?'*dt),.1))
except: print(f'{time.time()-t0}s :) cancel'); sys.exit(1)";}
wgetHL(){ python -c "$HL_0
for sh in hear(f'LANG=C {sys.argv[1]} 2>&1', vp:=[*map(re.compile,sys.argv[2:])]):
  time.sleep(1); f=iter( F.partial(open(vp[1],"rb").read,1), b"")
  print(vp[1]); sys.stdout=sys.stderr;  goPB(int(vp[0]),f)
  sh.wait()
" "wget -dc $1" 'Length: (\d+)' "Converted file name.*-> '(.*)'";}
cliHL(){ ls;}

HL_0='import pip._internal.cli.progress_bars as PB, time,sys,  re,subprocess as P, functools as F
goPB=lambda n,su: [*PB._rich_progress_bar(su, bar_type="on",size=n)]
def hear(sh,vp):
  nvp=len(vp)
  for s in (po:=P.Popen(sh, stdout=-1,text=True,shell=True)).stdout:
    for k,v in enumerate(vp):
      if nvp==0:yield po
      if not isinstance(v,str)and (m:=v.match(s)): vp[k]=m.group(1); nvp-=1
def delay(xs,dt):
  for x in xs:yield x;time.sleep(dt)
'
xfor() { for x in `sed 's/\n/ /g'`; do $@ "$x"; done ;}
zenity-sel(){ s=`cat`; test -n "$s"&&zenity<<<$s --title "$1" --list $(eval echo --column={$2}) $3;}

pkgcSel(){ k=$(pkgconf --list-all | grep -P $(sed 's/lib/(lib)?/' <<<$1) |sed 's/ \s*/\n/'|zenity-sel "Debug package $1" cffi,usage)||return
 for fp in $k $1/$1 $1 $k/lib$1/$1; do cpp -undef $(pkgconf $k --cflags-only-I) <<<"#include <${fp}.h>"|grep -v '^#' >sel.h &&break; done
 (sleep 5&&sed -E 's/__attribute__[^;]*//g;s/__(inline|restrict)//g;s/typedef .*va_list.*//g;s/\w*va_list/.../g' -i sel.h)&
 echo "import cffi; ffi=cffi.FFI();ffi.cdef(open('sel.h').read()); C=ffi.dlopen('$(pkgconf $k --libs)'[2:])"
 #fuck u cffi, what <cdata>? Is strconv&cdef(errItem=ignore) that hard?
}
# 'isatty[]=0;; readdir[_,"/"]=0'; export GTK_DEBUG=interactive LD_DEBUG=all
frida-cffi(){ ls;}
ytdl-spi() { python -c 'import yt_dlp,sys
u=yt_dlp.YoutubeDL({"cookies-from-browser":True}); del u._ies["Generic"]

for x in sys.stdin:
  try:print(u.extract_info(download=False, url=x))
  except: print()
'
}
#f5 %.pyc;  f5 /usb /clip

BAT() {
i=0;eval `cat /sys/class/power_supply/BAT$i/!(*/) 2>/dev/null|grep POW`
st=$([[ "$POWER_SUPPLY_STATUS" == C* ]] &&echo ⚡️)
tput setaf 6 bold;
echo "$(quote $POWER_SUPPLY_MODEL_NAME) $POWER_SUPPLY_TYPE by $POWER_SUPPLY_MANUFACTURER#$POWER_SUPPLY_SERIAL_NUMBER $st"
echo "IU=${POWER_SUPPLY_POWER_NOW} mW"
echo "C0=.${POWER_SUPPLY_CAPACITY}C=${POWER_SUPPLY_ENERGY_NOW} mWh"
tput setaf 1;echo "C=$(echo "scale=2;(${POWER_SUPPLY_ENERGY_FULL}/${POWER_SUPPLY_ENERGY_FULL_DESIGN})" | bc)design=${POWER_SUPPLY_ENERGY_FULL} mWh"
echo "U=${POWER_SUPPLY_VOLTAGE_NOW} mV > ${POWER_SUPPLY_VOLTAGE_MIN_DESIGN} mV"
tput sgr0;
echo Lm=$(echo `cat /sys/class/backlight/*/{,max_}brightness` 10/ /p|dc)0% 💡
echo "nCyc=${POWER_SUPPLY_CYCLE_COUNT}🔋"
echo "CpW=$(echo "scale=3;(${POWER_SUPPLY_ENERGY_NOW}/${POWER_SUPPLY_POWER_NOW})" | bc)h"
}
unit() { node -p 'process.argv[1].replace(/(\d+) m(Wh?|Ah?|V)/g, (m,n,k)=>n/1e6+" "+k)' "`cat`" ;}


bili-m4s() {
[ -f ls ]||for f in */c_*/entry.json; do jq -r '$U+.bvid+".png",.title,.owner_name,.bvid,(.downloaded_bytes/1024e2),.cover' --arg U $PWD/ <$f
ffmpeg -loglevel quiet -n -i $(dirname $f)/*/video.m4s -ss ${1:-1} -vframes 1 $(jq -r '.bvid+".png"'<$f); done >ls
zenity-sel 您要提取的缓存 thumb,标题,up,BV,MB,cover  --multiple <ls #--imagelist
}

inner class InputStream.Filter(x:Char) {
  fun read()= if(super!=x)...
}

$$"$${order.product} costs $ $${order.price}"

[1 2 3].forEach{ if(it>2)break }
[1 2 3].filter@cont{ if(it>2)return@cont; print(it) }
//vs
let {
  [1 2 3].forEach{ if(it>2)return@let }
}
[1 2 3].filter{ if(it>2)continue; print(it) }

.: IfAnimal
  - Cat-mouseHunter [YY]
  - Dog-breed [""]

feed-u [IfAnimal]: u :.
  Dog: feedDog(u)
  Cat, u mouseHunter not: feedCat(u)
  \: say: "Unknown animal"

feed (Dog "Snoppy")

sealed interface Animal {
    data class Cat(val mouseHunter: Boolean) : Animal
    data class Dog(val breed: String) : Animal
}

fun feedAnimal(animal: Animal) {
    when (animal) {
        // Branch with only primary condition. Calls `feedDog()` when `Animal` is `Dog`
        is Animal.Dog -> feedDog()
        // Branch with both primary and guard conditions. Calls `feedCat()` when `Animal` is `Cat` and is not `mouseHunter`
        is Animal.Cat if !animal.mouseHunter -> feedCat()
        // Prints "Unknown animal" if none of the above conditions match
        else -> println("Unknown animal")
    }
}

-- Haskell code using pattern matching for comparison
data Animal = Cat { mouseHunter :: Bool } | Dog { breed :: String }

feedAnimal :: Animal -> IO ()
feedAnimal animal = case animal of
    Dog {} -> feedDog
    Cat { mouseHunter = False } -> feedCat
    _ -> putStrLn "Unknown animal"

        String result = switch (obj) {
            case String s -> "Length of string: " + s.length();
            case Integer i -> "Value is an integer";
            default -> "Unknown type";
        };

[{type:div, hide:true},  [p, 'Hi', name], 'textnode']