duangsuse::Echo
#ce #Kotlin https://github.com/Mivik/kamet/ 的代码昨天下午重构了下，导览下大致结构： 依赖: com.bytedeco.llvm-platform, com.github.KiotLand:kiot-lexer Value, Type, TypeDescriptor, TypeCastManager, GenericValue, ValueRef, Attributes, Context, JITEngine, Parser, Lexer 辅助: exceptions…
嗯……我再想想 ParserKt 的 primitives
SDRies CDP PWOC SJITLL
Seq(tup,*es),Decide(*es),Repeat(fold,e)
item(x), elementIn(rng), satisfy(p)
Convert(p,equiv), Deferred(lazy_p), Piped(p,trans)
Pattern,PatternWrapper,OptionalPattern,ConstantPattern
SurroundBy(pair,e), JoinBy(join, e), InfixPattern(e), TriePattern/TrieBack/MapPattern/GreedyPattern, LayoutPattern(lay,e), LexicalScopedPattern(body)
Feed 现在除了 SourceLocated, FeedError 还要加一个 FeedControl { val isEnd; fun peekMany(n:Int):List } 了。
因为这样， PKT 才可以更好的兼容 /* 注释之类的而无需担心无法在 InfixPattern.read 之类的算法里很好的处理 skip 的问题 (一旦在'/'那consume了，就没法让 InfixPattern 再识别这个运算符了)
所以只需把 var lastItem 再加 val readBuffer ，在 peekMany 的时候加入、 consume 的时候先弹出 即可
SDRies CDP PWOC SJITLL
Seq(tup,*es),Decide(*es),Repeat(fold,e)
item(x), elementIn(rng), satisfy(p)
Convert(p,equiv), Deferred(lazy_p), Piped(p,trans)
Pattern,PatternWrapper,OptionalPattern,ConstantPattern
SurroundBy(pair,e), JoinBy(join, e), InfixPattern(e), TriePattern/TrieBack/MapPattern/GreedyPattern, LayoutPattern(lay,e), LexicalScopedPattern(body)
Feed 现在除了 SourceLocated, FeedError 还要加一个 FeedControl { val isEnd; fun peekMany(n:Int):List } 了。
因为这样， PKT 才可以更好的兼容 /* 注释之类的而无需担心无法在 InfixPattern.read 之类的算法里很好的处理 skip 的问题 (一旦在'/'那consume了，就没法让 InfixPattern 再识别这个运算符了)
所以只需把 var lastItem 再加 val readBuffer ，在 peekMany 的时候加入、 consume 的时候先弹出 即可
template typename<T>
T* maxIndexOf(T* src, size_t n) {
T* max; for (T* i=src[0]; i<n; i++) if (src[i] > *max) max = &i;
return max - src;
}
T* maxIndexOf(T* src, size_t n) {
T* max;
for (int i=0; i<n; i++) if (src[i] > *max) max = &src[i];
return max - src;
} 哇真棒果然默写下来了…… 虽然没意义GitHub
DimenX/intellic at master · Mivik/DimenX
A functional C++ headers collection. Contribute to Mivik/DimenX development by creating an account on GitHub.
Forwarded from Harry Chen
本周 Tunight：Object-oriented Programming in Scala
时间：5/30 19:00
主讲人：@Paul_Zhu
会议：651 8777 6664（Zoom） / 255 452 111（腾讯会议备用）
详情：https://tuna.moe/event/2020/scala-oop/
直播：https://live.bilibili.com/699121
时间：5/30 19:00
主讲人：@Paul_Zhu
会议：651 8777 6664（Zoom） / 255 452 111（腾讯会议备用）
详情：https://tuna.moe/event/2020/scala-oop/
直播：https://live.bilibili.com/699121
tuna.moe
金枪鱼之夜：Object-oriented Programming in Scala | 清华大学 TUNA 协会
清华大学 TUNA 协会原名清华大学学生网管会，注册名清华大学学生网络与开源软件协会，是由清华大学网络技术和开源软件爱好者、技术宅组成的团体。现阶段向校内外提供开源软件镜像等服务。
草， #Kotlin 这不就是传说中的 Pair<Int,String> 不 Either<Int,String> 不 (forall a. a) -> a 类型吗，草不是 Rank N type 啊
Forwarded from Raid via ＠eva_zh_subtitle_bot
换成 Interface?
fun test() {
login(object : Callable {
override fun <T> call(value: T): T {
return value
}
})
}
fun login(callable: Callable) {
callable.call("1")
callable.call(1)
}
interface Callable {
fun <T> call(value: T): T
}fun main() { WTF(1)/*.a*/ }
class WTF(n: Int) {
init { print(1) }
val a = "emm"
}Forwarded from Haruue | 春上ひつき
只有这种是不正确并且会丢数据的用法
val os = FileOutputStream(...)如果你用 java 的 try with resource 或者 kotlin 的 .use ， 这个问题可能会没那么明显并且显得迷惑。
val bos = BufferedOutputStream(os)
bos.write(...)
os.close() // 应该要 bos.close();
Forwarded from Haruue | 春上ひつき
当然最好还是
val os = BufferedOutputStream(FileOutputStream(...)) 从根源解决这种问题， 并不是所有情况都能这样做（比如代码中需要使用到 fileOutputStream.getFD() ）。Mivik Q, [04.06.20 21:57][In reply to iseki 萍水相逢，相聚是缘]
SAM？
iseki 萍水相逢，相聚是缘
Single Abstract Method
以为是Suffix Automaton
后缀自动机（草
SAM？
iseki 萍水相逢，相聚是缘
Single Abstract Method
以为是Suffix Automaton
后缀自动机（草
John Wonder, [28.06.20 21:36]
有人用arrow吗？有办法让Int和String去实现同一个interface吗？
比如创建一个typeclass IS，让Int和String成为IS的实例，然后任何声明类型为IS的地方都可以放Int或String，ad-hoc polymorphism
有人用arrow吗？有办法让Int和String去实现同一个interface吗？
比如创建一个typeclass IS，让Int和String成为IS的实例，然后任何声明类型为IS的地方都可以放Int或String，ad-hoc polymorphism
Forwarded from STRRL
有没有写安卓的dalao 想问个问题:
Activity应该算是MVVM的View吧, 比如说我的主Activity中想展示一个Model 但是这个Model是从某个HTTP API中获取的 所以我需要在这个Activity展示之前 去获取这个数据
这个行为 应该写到Activity的生命周期钩子里呢？还是有其他什么办法去做管理呢= =/
Activity应该算是MVVM的View吧, 比如说我的主Activity中想展示一个Model 但是这个Model是从某个HTTP API中获取的 所以我需要在这个Activity展示之前 去获取这个数据
这个行为 应该写到Activity的生命周期钩子里呢？还是有其他什么办法去做管理呢= =/