既然可以实现常量参数，是不是对依赖类型的支持也快了

感觉不如 async/await 或者 auto prop 。

Haskell 排名好高

法国计算机专业的问题在于大部分职位都是外包，法国泛计算机行业前 10 的头部企业都是外包大厂。

每年都有大量非计算机专业转行进计算机，最后所有人的结局只有进外包写 Java 。

当然 op 本来是物理系+还不错的学校的话应该条件会比那些五花八门的转学生要好一些。但是如果真的要转计算机，建议 op 好好想一下自己在计算机领域的长处是什么，想办法寻找一条最符合自己的路线。

法国是个科研和实际工程脱节的地方，纯粹搞科研，比如说 ocaml 或者 coq 的，会过得很爽。但大部分岗位都是清一色的 Java 、Angular 、PHP ，ocaml 的主要使用者除了 inria 基本上都不在法国。像是 ai 这种细分领域的岗位，有，但很少。如果能找到自己的细分领域应该是不怎么卷也比较舒服的，就是期望值肯定比不上北美或者国内（折合物价水平后）。

如果 op 对实验室感兴趣，降级一年补基础（以法国的本科强度这个应该是可能）拿个好看的 gpa 然后申请研究型硕士找个 inria 的实习探探水应该是一条路线，不过这个会很累，而且 op 大概不一定有心思继续读 phd 。

如果是面向求职的路线的话，说实话我也不太清楚该怎么走，尤其是 op 这个条件其实有点劣势。

前面有人提到达索的话，问题大概不在于外国人身份，而在于法国大企业基本上都不招新人了，招进去大概率也是自营外包机构，跟主公司是两条截然不同的线。

看 op 的教育背景，应该也没有心情在异国他乡像国内卷华为 od 一样卷外包吧？

当然也有很多人吹嘘外包两年卷铺跑路加拿大北美的思路，但考虑到这些头部企业的美 好 声 望，我对此深感怀疑。

@jinliming2 op 用的 parallel 就没有隔离的说法，这玩意直接就漏了。。。

oneplus 感觉还行。。？那个 os 比国产的干净多了，也没有夹带一大堆乱七八糟的特供 app ，嫌难用也可以刷掉换别的。不过不清楚国内也是这个 os 还是已经推送那种国产 os 了（

@hhhanako 就是找不到啊，所有 fp 相关的职位能找到起步都是 5-6 年工作经验的。我是打算提桶跑路了（
入门。。。如果是指对技术的入门的话，其实没那么难，各种资料、书籍和课程都不少了，一般都能找到一条比较清晰的路线，至少能一直学到接触 cat 之前吧。
但问题在于自己小打小闹不去接触工程上的经验的话发展空间永远就那么大。cat 也只是 fp 的一部分，很多东西还是很吃工程项目经验的。

居然有招 haskell 的……这语言在大部分职位介绍上都是放在比如里面的（

希望等我找工作的时候也能遇到这样的机会（

妇女节就好，不过 op 看起来也只是单纯问个好而已，大概也不用太上纲上线（

祝女同胞妇女节快乐）

crud 大概只要和数据打交道都会遇到。
我个人而言讨厌后端大概是讨厌那套叠床架屋的企业级设计，讨厌明明可以用更优雅更安全的方式去保证算法的设计和一致性却非要用设计模式、getter/setter 还有连 lambda 和泛型都无法表示的 uml 之类的裹脚布来给程序员添加一大堆莫名其妙的心智负担。
相比之下前端圈至少对新技术更有接纳度，花活玩多了也不太搞出 3022 年还在尬吹 optional 和 stream 函数式设计的玩意。（虽然前端也有自己的问题就是了）
管理后台最大的问题就是不上不下吧，论技术，草台班子不可能比得过 m$、sap 之类的成熟架构，技术永远是次要地位，劣化的需求反过来又会把技术往更恶劣的方向推，然后一群人在 servlet 和 jdbc 上阻塞到死还如数家珍，看着心寒。

因为总有人不满足于一眼就看到天花板的未来。

iCloud, GitHub Pro, JetBrains Package, Typora, Affinity Package, icons8 Lunacy, Magnet

这流汗黄豆真应景😅

op 想做的，侧重于 DSL 还是解析呢？算是两个不同的方向了。前者是 Model Driven Engineering ，后者就是典型的造语言（即使是 DSL 原理也一致）。

前者的话更多关注于怎么样把具体的应用场景里面的 model 和 domain map 到语言上，关注于，如何去做 meta modeling ，如何提供语义清晰的 api ，如何做 text 、model 、运行时之间的转换，主要还是合理使用第三方工具而不是自己造轮子。当然基本的一些概念，比如不同的 eval 语义，还是需要了解的。

后者重点在造语言，比如说词法分析语法分析、类型检查和推导、代码生成甚至后期优化。这个也是不限于 DSL 的，或者说 DSL 其实一般不需要这个 approach 。

Model Design 这方面我不了解，感觉 op 可以找找看有没有一些学校的公开课件看一下，不过感觉这个领域也是那种比较老式的软科，可能有许多模糊的概念或者过时的工具，需要仔细甄别。

我的建议是 op 可以先考虑一下这个 DSL 是否一定要用造语言来实现，会不会有一些语言内置的语法已经可以表达出来。当然造语言最大的好处大概是可以灵活应对多变的具体场景了。

如果想好了要造 DSL ，可以优先考虑 antlr ，这是一个常用的 parser generator ，可以根据用户提供的文法来生成词法和语法分析器的骨骼，然后让用户自行填入编译器的具体实现。有几本书也是讨论这个的，然后 idea 里面有专门的语法树可视化的插件也很方便。不过我觉得首要的还是得理解一些关于 parser 和编程语言的基本概念了，比如 parser 的分类和不同类型的 parser 有哪些限制。

在这个基础上，op 可以进一步去考虑到底选哪个方向。

法国最大的互联网公司前 5 都是。

先去了再说+1