pisc

@ufo5260987423

> 它是一个 prover ，用各种数学证明保证你是正确的。
狭义上，Haskell 并不算 Prover （如 Coq/HOL/Idris 之类的），广义上（根据 CH 同构），任何静态语言都可以是 Prover 。

> (Haskell)不想在写代码之前先读书。
实际上，工程化的很多 Haskell 都写的非常简单，很多人都当作 C 来写，只不过很多人容易被一些“概念”引到另一条路上。

@WOLFRAZOR

> 玩 Xbox 、PS 、Switch 的绝对认可我这个
> 前原神玩家
> 那我说吧，PS3 、PS4 、PSP 、Xbox 、Switch （含 lite ）。我没买，都是借人玩的。我也犹豫过是不是应该买，但最后认为不该买。Steam 也有，买了较少的游戏，玩过，但最后还是放弃了。

哈哈哈哈哈，原*承包了我今天的笑点

一路说等级、LOW 、混得太差啥的，我还琢磨楼主这等级有多高，这往前一翻楼主的帖子： https://v2ex.com/t/857840#reply41 ，你这。。。等级也不咋地啊。。。咋还嘲讽起别人来了。。。

楼主考虑玩格斗游戏（街霸 5 ，GGST 国内联机不愁没人）吗？太适合你了：
* 1v1 ，你想怎么送都行，没人怪你，对手反而还会谢谢你，你想花样玩也行，开局先送 90% 血再逆转也行。
* 一局最多 90 秒，普遍 30-60 秒结束，来得快结束也快，你妈叫你吃饭、女朋友（如果你有的话）给你打电话也不影响。
* 简单，键盘手柄摇杆啪啪按就可以玩

你这种极度自私的人，玩团队游戏真是太恶心了，至于把别人 LOW 不 LOW ，等级高低挂在嘴边，你自己看看自己又算啥啊，说白了一路看下来，挺像一个心智不成熟、缺乏认可的小屁孩。

可以直接说你的项目需求是什么，可能会比你问 HM 和 struct 之类的（因为这个路径可能是错的），别人更能帮助到你

Type Inference 会用到很多 PL 知识，我觉得你应该先系统地补一下 PL 和 类型系统相关的知识（如果你没太多时间的话，可以简单看一下 http://lucacardelli.name/papers/typesystems.pdf ）？没有相关知识的话，感觉会比较吃力 ，你需要看透 Python 那些类型的实质是什么，比如 “struct”, tuple 和 product type 的关系，在 Python 这种语言上做类型系统本来就不是太容易，你可以看看某网红写的 https://github.com/yinwang0/pysonar2 （虽然可能不是你想要的 HM ）

@FrankHB

国内的氛围是差，但没必要玩个 ftg 就这么优越感十足，没必要，人家玩手游能玩得起来，起码开心啊

你说国内 ftg 的氛围，你想叫一个新人玩玩街霸，他得花钱去购买一个完全不了解的游戏（还有 DLC 地狱），买了国内的网络是偶尔就连不上，游戏内还需要更新啥的，也搞不定，进个游戏都费劲，运气好进游戏了，教程垃圾，联机抽风掉线，新人一进去就被暴打，就这一步，就已经劝退大部分新人了，老怪氛围没劲，你这破游戏体验就不行，也别扯什么确认，这玩意你确定普通人愿意削尖了脑袋每天按个下中脚看晕值、声音、火花苦练？你要知道这是一个 996 盛行的国家，大家哪有这多么多时间做这种事情，一昧地宣扬这些游戏的难度只会让这个圈子越来越小，卡普空、snk 、arc 都知道游戏要往简单了搞，咋你们这些粉丝老一幅高高在上的样子呢。看看人家隔壁 Smash ，挂着 party game 的名号卖了多少，你敢说竞技规则下的 smash “简单” 吗？你要氛围首先你得有群众基础啊，门槛得低啊（门槛低不代表深度低），这方面首先传统 ftg 就做的不好

其次国外 ftg 也相对小众啊，CEO 2022 HBox 第 5 名 75$ 的支票名场面还历历在目呢，EVO 作为最大的格斗游戏综合赛事奖金池多少啊？你再看看北美那几个打枪、MOBA 游戏的顶级赛事奖金池？今年 EVO 八强阶段 Twitch 直播最高观看人数也就 20 多万，你有兴趣的话去查查其他游戏有顶级赛事的记录

所以说，小众的东西要么就躲起来自己玩，要么就多骗骗新人入场，别老挂着 ftg 很难的旗帜去给别人留下不好的印象，这只会让这个社群变得越来越小

@stoneabc 每周一的晨会和周五的周会是不是会有点重复？这两个会的重点分别是什么呢？