发现了一只大佬

[duangsuse]

🌚 在看 gh 更新时发现之前因为 "中文 C#" 事件 #csharplang/993 关注的 @Glavo Star 了一个 JVM 程序设计语言的 repo https://github.com/lice-lang/lice

看看居然是函数式 Lisp 方言! 后来还发现是中国人开发的??? (虽然之前那个 lemon-lang 也中国人 后来发现居然... 是高中大佬？？？ 于是找到个人博客发现是 _真·大佬 ... 而且还是 死宅__ 🌝

@ice1000

看看 Github 主页的... 怕不是 5 岁就？？？ wtf 虽然最近两年才有真正的项目

忍不住想到了我寒假时的 https://coding.net/u/duangsuse/p/MonkeyVM , 虽然现在无法看那时候的代码 而且 🐒 语言 又是低级语言

(ps. 我真的惊讶了，虽然现在还没有一年吧，没想到他的博客名 "IR" 我居然在看到谜底前能猜到是 "中间表示 Intermid Repr, 虽然当时大概最先想大概是 MS IL (当然我现在还不会写... 虽然我英语很能记单词)"

总算找到一个同为低龄研究 "高级" 食物的dalao了 (因为有别人那 @drakeet 之前说的一些大概觉得我应该先 好好学习 那些书你看不懂... 这样的话就影响少一些了) ， 虽然之前也交到不少前/后端

（以及 @losfair , 不过可怕的是这个... 居然还研究过地图生成 (之前计划的有个类似生存战争的游戏用到，死想不到怎么做 （当然是空想因为想碰电脑不容易）)，总之学得很杂和我差不多 🌚

中午没有时间就没注重排版了... 希望能交上 py XD( 可惜他应该不在 telegram.me 吧... 而且我现在也不能上了

[duangsuse]

https://github-profile-summary.com/user/ice1000

[duangsuse]

http://ice1000.org/about-cn/

• http://ice1000.org/2017/04/13/BeingAGoodGuy/
• http://ice1000.org/2017/04/18/RubyTkBug/
• http://ice1000.org/2017/03/22/NaiveCoder/ 🐸 Naive!!! https -1s
• http://ice1000.org/2017/03/01/MyUnderstandingOfNaive/
• http://ice1000.org/2017/01/21/AboutGFW/ ps. 其实我以前主张不管如何炸 GFW .. 现在: 下一代估计就能拆了...
• http://ice1000.org/2016/06/18/MyFirstJob/ 真·大佬 😨

[duangsuse]

你好，欢迎来到我的博客 「中间表示 (IR) 」 ，我是千里冰封。 我此时还不知道是什么时候知道这词的...( 大概是 repr + IL 自己组合来的吧 🌚

[duangsuse]

在我看来，网上那些自称会编程的初中/高中生大部分都是

没有命名规范
函数名用拼音
代码没有设计
自称熟悉 C++然而却不知道 C++有 class 这个保留字
把没有对象的编程称为函数式编程，比如纯 C 风格
语言工具论

(ANSI 标准)C 是过程式 🌝

很多我三次元认识的人也不例外，尤其是刚入坑的 OIer。

🌚 有时候批判 NOIP 和一些... ( 在 https://t.me/dsuse 上可以看到一些

补充：

😳反正 没有命名规范 指的是

void boynextdoor
void Boynextdoor
void BoyNextDoor
void boy_next_door
void lingjiananhai
void ling_jia_nan_hai
void Ling_jia_Nan_hai
void Nan_hai_nextDoor

从来没写过这样的命名？（ https://coding.net/u/duangsuse/p/MonkeyVM/git/blob/master/src/main.rs

[duangsuse]

我是初三毕业开始学编程的【

同 🌝 其实我小学四年级开始，不过后面到初三都是泡 Linux 吧里面... 后来通过 https://coolapk.com 认识一堆dalao 开始学习程序设计 第一个是今年2月的 MinBase64, 那代码我不想看，可惜那么 🐔 的项目我居然上了几个 CI 服务... 黑历史 现在在设计 coolapk 的替代品 GeekAPK (相关 repo 还在我这里)

人吗... 还是向以前一样爱折腾 我的 Telegram 是 @duangsuse , （其实年龄真的还不算太重要，但中国能有程序员一生能尝试到你尝试的东西都太少了） （当然最近由于 GeekApk 的事情强迫自己退了一段时间

过几个月搞 {male sign} 完 GeekApk 第一个平台版本 就回来 😄

[duangsuse]

另外你看的都是些啥啊，不来看看 https://github.com/ice1000/resume 吗

看过了 😃 虽然我也没研究 TeX ... 迟早会的 和 wangyin 有得一拼？（

[duangsuse]

地图生成那个其实只糊了一晚上，然后再修修补补了一星期，23333 😆

唉，现在时间真的是硬伤啊 😢 中午 1小时 晚上 2小时 虽然之前我最多也连着搞了一个月... 虽然有帮助还是不大（最后又上学去了 具体可以看我的 channel https://t.me/dsuset 没时间... 现在还有 GeekApk 之前的 Tree 和 MinVM(后面还有 MinASM EMMC 等...) 直接拖掉了 😢

[duangsuse]

另外我相当不喜欢Linux【

我 Windows/ GNU/Linux 通吃 😄 有时候研究点其他操作系统和内核 Bootloader 什么的

         _,met$$$$$gg.           dse@susepc
      ,g$$$$$$$$$$$$$$$P.        OS: Debian testing buster
    ,g$$P""       """Y$$.".      Kernel: x86_64 Linux 4.13.0-1-amd64
   ,$$P'              `$$$.      Uptime: 10d 10h 45m
  ',$$P       ,ggs.     `$$b:    Packages: 2793
  `d$$'     ,$P"'   .    $$$     Shell: bash
   $$P      d$'     ,    $$P     Resolution: 1920x1080
   $$:      $$.   -    ,d$$'     DE: XFCE
   $$\;      Y$b._   _,d$P'      WM: Xfwm4
   Y$$.    `.`"Y$$$$P"'          WM Theme: Default
   `$$b      "-.__               GTK Theme: Xfce [GTK2]
    `Y$$                         Icon Theme: Tango
     `Y$$.                       Font: Sans 10
       `$$b.                     CPU: Intel Celeron 847 @ 2x 1.1GHz [48.0°C]
         `Y$$b.                  GPU: intel
            `"Y$b._              RAM: 947MiB / 1852MiB
                `""""           

[ice1000]

你那个channel为啥我没法说话啊

[duangsuse]

👆 10d 我这几天睡眠 （ systemctl suspend ） 到的 XD

[duangsuse]

你那个channel为啥我没法说话啊

🌚 WTF( channel 你不是发布者当然不能说话（

[duangsuse]

我在给Lice做IntelliJ IDEA的插件【

dalao(

[duangsuse]

钦点了flex和bnf真麻烦，我原本的Parser是手写的魔法。。。

我差不多死了的 Min (现在还是设计阶段) 也计划手写 LALR ...

Jay 估计也不错，但 Min 的主要目标是体积... 用于 替换 BeanShell 和 AndroLua (XD

[duangsuse]

我不是很熟悉Telegram那一套理论，平时也没什么需要在tg讨论的东西，都是QQ。。。

我更喜欢 tg 的良心

[duangsuse]

另外LALR什么的都是邪教，Haskell/Parserc大法好【

怕不是体积要报表（

[duangsuse]

Min 之所以要分开 Compiler/Assembler/VM 就是为了减小体积

[duangsuse]

用什么社交软件全取决于我想联系啥样的人

一般我觉得 tg 上 nc 少很多

[duangsuse]

我用Haskell写的完整的Kotlin Parser编译出来也不到5mb

你知道 BeanShell core 多大吗...(* 你会吓死，因为比你小 10x 🌚 (

[duangsuse]

哇你手写汇编CodeGen啊

别胡说，是 Min 汇编( 我不做这种事

[duangsuse]

比较像 Ruby

按我的话说是 Ruby/BeanShell/Lua(LuaJava) 杂交

[duangsuse]

还有你应该学习一个markdown语法【

Fixed(

[duangsuse]

Ruby语法复杂度比Kotlin小多了。。

简单优雅 Min 就像它的名字一样小... 计划最多带 EMMC 200k

[duangsuse]

哦，语法啥样的？

https://github.com/xiaq/halang/issues/1#issuecomment-353095785

这虽然不是 Min ... ( 结构可以参考

[duangsuse]

是是是，限制太少了【 连CH同构都证不了，Haskell都能证加法交换律【

(一般情况能胜任就好，我不要求绝对的表现力（

[duangsuse]

好讨厌，竟然翻我黑历史【

反正没人（ 你也可以翻我的

[ice1000]

这虽然不是 Min ... ( 结构可以参考

真敷衍，bnf和type system都没说【

[duangsuse]

我不是很熟悉Telegram那一套理论，平时也没什么需要在tg讨论的东西，都是QQ。。。

🙈 你没找对地方（

[duangsuse]

真敷衍，bnf和type system都没说【

所以才来找大佬 py 学习一个 🌚 而且也真的是没时间了...

[duangsuse]

[duangsuse]

rainoftime/marisakirisame/terrojack/belleve都在QQ，为什么我需要其他的IM，难道TG你能找到Odersky/SPJ？

我目前没在 QQ 上找到真正的技术 py ( 而且 QQ 对我来说比较不方便，尤其是现在 Debian 使用起来

[duangsuse]

(一般情况能胜任就好，我不要求绝对的表现力（

每个程序设计语言有自己的目标和特性，不一定要用固定的标准判断好坏( Min 看来 支持绝大部分 Java API (开始时不打算兼容 Generics) 和体积小巧是最重要的。

[duangsuse]

你应该学习一个【

大佬指教的是 🌝 (

[duangsuse]

如果你是使用反射，那么 Java 没有 Generics 【

那我不兼容好了 🌚 以后可能会有 AOT 编译（ 不知道要不要加这种特性

[duangsuse]

你或许需要在知乎写点PLT方面的东西，然后上面这堆人中的某个会主动来找你的【 我当年就是这样的，被拉近了一个dalao云集的群【

我之前都是自己找大佬（

[ice1000]

大佬指教的是 :full_moon_with_face: (

你看了吗【

[duangsuse]

你看了吗【

sleep 600;

[duangsuse]

咋找啊，我要学习一个 我严重缺乏类似技能

🙈 其实我开始就是在 CoolApk 遇到了一些 AndroidDev 学生大佬... 后来追随大佬们逃脱到 Telegram

[duangsuse]

如果你是使用反射，那么 Java 没有 Generics 【

为啥不提供呢（C# 不知道有没有 是在实现上有困难吗？（还是出于其他考虑

[duangsuse]

在我看来，网上那些自称会编程的初中/高中生大部分都是

🌚 正解

[duangsuse]

估计很多人都希望Java进来啊。Java虽然速度和C++有差距，但是比起Python、Ruby、JavaScript之流算是很高效的了。更何况Java有BigInteger（逃）。所以说Java在算法竞赛中还是比较实用的。Rust似乎不错的……但是Rust相对于C++的优点在OI中都没有太大的用处。比如说Rust对内存安全支持很好，但是OI比赛中很少有内存泄露这种事情（从来没见过有人因为这个RE）；Rust并发支持很好，只可惜OI不支持并发。更何况你要先学会Rust（逃）。所以说我感觉在OI比赛中Rust要取代C++可能性不大。Python、Ruby、JavaScript等动态语言就不太可能了，常数就能被人家甩出一条街。我挺希望像Lisp、ML这样的语言能进如NOI。但是常数……GG（不过OCaml还是挺高效的）。总之我挺看好Java的，Rust也很有希望。估计动态语言就只能GG了。

作者：Kakyoin Noriaki 链接：https://www.zhihu.com/question/52234471/answer/129618405 来源：知乎 著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。

🌝 放弃吧... 退中国 CS学术 保平安(

你看lambda calculus这么多年来。。。

是啊，都说那几个一成不变的理论...

你对Java一无所知【

唉，所以我准备买基本 JVM 的书看看, 中间遇到 @drakeet 劝阻说看不懂莫名有点上气.. 还是 Too young...

[ice1000]

难道你在担心工作的事情？ https://github.com/ice1000/CompilerWorks

[duangsuse]

为什么。。。没有必要啊，我觉得研究LLVM都比研究Android开发/前端什么的有趣多了

对这些东西好奇的中国的确没有多少... 看比例 我一直有极大的兴趣，之前 Rust 的时候也一样 虽然最后 Rust 入门书都没看完 没时间的原因啦(

[duangsuse]

或者开发游戏啊 https://github.com/ice1000/TouhouDemo

果然是大佬 自己开发游戏引擎不像我直接 Unity 了事（ 佩服 不过我真的很好奇这么多次提交花了不少时间吧... 你是如何得到那么多时间写代码的（博客有说吗？

[duangsuse]

Rust 是人类进步的阶梯，它直接消除了C++中一个全宇宙C++程序员都会用的东西，叫引用计数智能指针

在我学会任何东西，比如 Rust 的 unwrap() 之前他们都对我来说高不可攀( 现在这些概念就是这种状态（XD

还有，说实话.. 那么多 CI 有意义么...

[ice1000]

Rust 的 unwrap 是 Haskell 里的 fromRight 。。。

Prelude Data.Either> :t Data.Either.fromRight
Data.Either.fromRight :: b -> Either a b -> b

【

[duangsuse]

Rust的unwrap是Haskell里的fromRight。。。

不幸的是我现在无法 Parse Haskell ((

另外好奇 Frice Ngin 的 Logo 是怎么做的（

[duangsuse]

http://ice1000.org/2017/04/10/MyHighSchoolLife/

看看我，身处三线 XiangYang, Hubei 小城市，身边的同学要多小白有多小白... 没一个 Dalao 你博文里的情况类似的简直就是我的翻版（

唯一一个 https://vltz.cn 还是... 不想看

[duangsuse]

我妈开始催我睡了，哦呀私密【

我身体明明不好还要熬夜（晚安

[duangsuse]

rainoftime/marisakirisame/terrojack/belleve都在QQ，为什么我需要其他的IM，难道TG你能找到Odersky/SPJ？

我完全不是一个 流派？（ 的（ 看 Star 就知道我没有一个 py 认识你 主要活跃在 Telegram, 能避开国内就避开

[duangsuse]

int的最大值是多少？

https://www.zhihu.com/question/52234471

看到这个问题。 很简单吗，计算机科学就是什么，我觉得这些奥赛不仅该考这一点的 这不是死记石更背 作为优秀的程序员必须了解底层知识

Int 是带符号的整数，长度因为编译器实现而不同 =。= 标准答案要看某个头文件的 #define ， 不过， 如果知道 int 的位数, 这绝对不是需要死记的

指针这我想不需要说了... 理解这个还算困难可以退群了

而且go1.8+据说GC做到了缪秒级别

比 Java GC 的确快多了，不过我想也对 Go 丧失信心了

唉，Go 的性能我 不想看，怕是不会学了，吐的人也不是几个 别指望他们会加这些语言，不存在的。永远是那东西

让大家学会使用命令行，让大家了解编译选项。但一来在NOIp层面让大家学会写程序本身还是更重要一点的

我学习操作系统管理比学编程早四年(，这个 🌚 可能是我唯一能不丢脸的了（