#Android https://t.me/dsuses/3318 🤔……
<V, VH> VH bindHolder(Function<V, VH> newHolder, V view) {
VH holder = newHolder(view);
view.setTag(holder);
return holder;
} 自己的抽象能力又下降了，这么简单的逻辑也需要想……fun <V, VH> bindHolder(newHolder: (V) -> VH, view: V) = newHolder(view).also { view.tag = it }Telegram
duangsues.is_a? SaltedFish
enum Mode { NORMAL, DELETE } //< 有必要？
public class ModListAdapter extends BaseDynmaicGridAdapter {
private Mode mode = NORMAL;
public ModeListDynamicGridViewAdapter(Context ctx) { super(ctx, new ArrayList<>(), 1); }
@Override
public View getView(int…
public class ModListAdapter extends BaseDynmaicGridAdapter {
private Mode mode = NORMAL;
public ModeListDynamicGridViewAdapter(Context ctx) { super(ctx, new ArrayList<>(), 1); }
@Override
public View getView(int…
Forwarded from 不存在的世界
总结一下这次 Telegram 的更新：
増加了丢骰子的动画效果，只需要发送 Emoji 🎲 即可触发（WeChat Feature，Dice Bots 集体失业）
増加了 Folder 功能，除了 Main Folder 其他 Folders 可分别拥有数量不限的 Pin（Plus Messages Feature）
増加了 Channel Statistics，人数在 1000 以上的频道主可以看到频道的各种统计信息，可视化效果满分（tgstat.com 失业）
取消 Workmode 模式（可通过 Folder 实现同等效果）
増加了丢骰子的动画效果，只需要发送 Emoji 🎲 即可触发（WeChat Feature，Dice Bots 集体失业）
増加了 Folder 功能，除了 Main Folder 其他 Folders 可分别拥有数量不限的 Pin（Plus Messages Feature）
増加了 Channel Statistics，人数在 1000 以上的频道主可以看到频道的各种统计信息，可视化效果满分（tgstat.com 失业）
取消 Workmode 模式（可通过 Folder 实现同等效果）
记忆力太差
module Main (..) where
import Browser
import Html exposing (Div, text, Button)
import Html.Events exposing (KeyUp)
import Random
type Dice = { newFace: Int }
type Message = Dice | NewFace Int
view d =
Div [], [
Button [KeyUp Dice], []
]
update d m =
case m of
Dice -> (d, Random.run (randint 0 2) )
(NewFace x) -> (Dict { newFace = x }, Cmd.none)
main = Browser.element { init = Dice { newFace = 0 }, view = view, update = update }
duangsuse::Echo
记忆力太差 module Main (..) where import Browser import Html exposing (Div, text, Button) import Html.Events exposing (KeyUp) import Random type Dice = { newFace: Int } type Message = Dice | NewFace Int view d = Div [], [ Button [KeyUp Dice], [] ] update…
刚才我在 online editor 上在线默写学习，就快要成功的时候，忍不住偷看了一下，结果给 Firefox 卡死了…… 两次……
不过算是已经了解了，
不过算是已经了解了，
init : () -> (Message, Cmd a) 的事实， subscriptions : () -> ??? 呢？🤔 ParserKt 里需要定义一个辅助的 sealed class Eiter<A, B> { data class Left, Right }
Left/Right 都持有
Left/Right 都持有
val value 整个 Either，我计划提供 val left: A?, right: B?
fun mustLeft():A, mustRight():B
fun <T, R> map(transform: (T) -> R): Either<R, R> where A: T, B: T (存疑？)fun <R> fold(trans_left: (A) -> R, trans_right: (B) -> R): RForwarded from 螺莉莉的黑板报
https://microsoftedge.microsoft.com/addons/detail/hokifickgkhplphjiodbggjmoafhignh
【本报讯】微软发布了 Grammarly 的竞品 Microsoft Editor，所有用户均可免费使用基本功能，M365（O365）用户可以使用高阶功能。
【本报讯】微软发布了 Grammarly 的竞品 Microsoft Editor，所有用户均可免费使用基本功能，M365（O365）用户可以使用高阶功能。
Forwarded from 一碗脑脊液。
2010 年 3 月 23 日，谷歌中国发表声明退出国内市场
2010 年 3 月 30 日，中国政府正式通过 DNS 污染等官方手段 封杀其所有域名及相关服务
=
2020 年 3 月 30日，十年。
2010 年 3 月 30 日，中国政府正式通过 DNS 污染等官方手段 封杀其所有域名及相关服务
=
2020 年 3 月 30日，十年。
我又要继续写关系式求解器了……
首先来看看 six primitives : State, Variable, Introduce
然后 Equal, Both, Either
那么怎么对 unification 进行可扩展的建模呢…… 先写点东西
首先来看看 six primitives : State, Variable, Introduce
然后 Equal, Both, Either
那么怎么对 unification 进行可扩展的建模呢…… 先写点东西