V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
V2EX  ›  sadhen  ›  全部回复第 5 页 / 共 23 页
回复总数  445
1  2  3  4  5  6  7  8  9  10 ... 23  
2022-11-02 00:04:27 +08:00
回复了 sadhen 创建的主题 程序员 墨干 V1.1.1:更快更美观的 GNU TeXmacs (KDE Breeze 图标)
@yanyuechuixue 有,PNG 和 SVG 图像发虚的问题都解决了。1.1.1 修复了 PDF 图像发虚的问题。
@wxf666 Racket 的 REPL 里面,图像就可以作为字面量。我们可以实现 rotate 函数,对输入参数的图像做 rotate 。
@x02 因为人类在计算机技术上能做的抽象层级越来越高了。人类需要更多的多样性!为什么英语要统治编程语言世界?非洲某个部落的只有 1000 个人使用的语言也可以用做结构化编程语言的关键字。比如,未来的太空旅行中,一个飞行器里面可能有十个人,这十个人在漫长的星际旅行中,他们在日常生活中创造了一门新的自然语言,这个时候,英语明显是不合适的。英语在这样的飞行器中的地位,就是现在的拉丁文了。

> 你的语言在哪些问题上有更好的表现?

上面已经有一些例子了,我再举一些例子吧。结构化的语言不用考虑:

+ 要不要用游标卡尺
+ 一个语句(Statement)的末尾是不是需要加 `;`

这类细枝末节的事情。由于语言本身的序列化就是结构化的,编译器前端的实现可以大大简化,我们直接做后端优化就可以了,去适配不同类型物理实现:CPU/GPU/TPU/量子计算芯片
@pocarisweat 写文章设计什么的,还是弱爆了。那是技术圈的“网红”才会做的事情(没有贬低网红的意思,taste 同样是比较重要的)。个人崇尚“实用”,不喜欢清谈。设计了,最终是要实现的,可能要花十年、二十年,但是足够有意思,为什么不去实现呢?为什么不找一群志同道合的人一起实现呢?
@pocarisweat 我知道有 mps 这样的编辑器,所以我并没有在寻找这样的实现。我在寻找志同道合的人,一起来实现结构化的编程语言和编辑器。
@XCFOX 一般我们认为支持函数式编程的语言是现代语言。而结构化的语言是未来的语言。有一个显著的差别在于,结构化的编程语言原生支持数学结构。比如矩阵就是结构化编程语言的内置类型。

> 那么结构化编程语言和现在的计算机代数系统+函数式编程有什么区别呢?比如 Fricas 里面 SPAD 语言?

自问自答:SPAD 语言对数学结构的支持仍旧采用的是纯文本的符号,在未来,纯文本的编程语言和现在汇编语言一样不可思议,没有人会再去学习纯文本的编程语言。未来人会惊叹:一门语言竟然不支持数学公式?图像和视频竟然不能作为字面量潜入到代码中?

就像早期的 IRC ,只支持字符。而现代的聊天工具,支持 Emoji 、语音、视频。这种发展是一个自然而然的过程。

抽象层级越来越高,这是自然而然的进化过程。
@wxf666 目前还在设计阶段,会参考 https://haxe.org/ 这门语言

一门新的语言,一开始可以依附于既有的编程语言。类似于 Haxe ,用墨干语言实现的 Library ,构建之后可以发布到多种平台,比如 JVM 、Javascript 、WASM 等等。等到成熟之后,可以投入精力,直接将结构化的编程语言编译到 LLVM 这样的虚拟机上面。
@lambdaq 另外,V2EX 并不是一个支持结构化文本的论坛,你可以看相关链接里面的截图。

比如,我不知道怎么在 V2EX 里面输入一个矩阵,至少这有点麻烦。

a = <mrow>
<mo>[</mo>
<mtable>
<mtr>
<mtd><mn>1</mn></mtd>
<mtd><mn>0</mn></mtd>
<mtd><mn>0</mn></mtd>
</mtr>

<mtr>
<mtd><mn>0</mn></mtd>
<mtd><mn>1</mn></mtd>
<mtd><mn>0</mn></mtd>
</mtr>

<mtr>
<mtd><mn>0</mn></mtd>
<mtd><mn>0</mn></mtd>
<mtd><mn>1</mn></mtd>
</mtr>
</mtable>
<mo>]</mo>
</mrow>
@lambdaq 我们先完成结构化编辑器的设计和实现。目前墨干编辑器不支持 Unicode ,这个问题很大,我们会在 V1.2.0 开始设计 TMU 格式,支持 Unicode 。
2022-09-07 13:50:35 +08:00
回复了 ericgui 创建的主题 程序员 Linkedin 上按语言或框架搜出来的 job 数量(美国区)
@xgfan 卖 C#课的,要么是微软的。。。
2022-09-03 00:20:22 +08:00
回复了 sadhen 创建的主题 程序员 墨干 V1.1.0 发布了:下一代结构化编辑器的雏形
@jarence 感谢支持!
2022-08-23 09:01:09 +08:00
回复了 coala 创建的主题 程序员 公司提供 1500/月英语学习补贴, 求推荐报班哪里比较合适
cambly ,一对一练口语
2022-08-02 17:40:24 +08:00
回复了 sadhen 创建的主题 Python Pants:不用再创建 Python 虚拟环境的构建工具
@zhoujinjing09 可以看这里 https://monorepo.tools/ 我没有实际用过 bazel ,无法比较
2022-08-02 14:24:15 +08:00
回复了 sadhen 创建的主题 Python Pants:不用再创建 Python 虚拟环境的构建工具
@Mithril 有区别的。poetry 可以认为是 Maven ,pants 可以认为是 Gradle 。( Gradle 背后也是一家公司)

这个不是再造轮子,是很多年前就开始造的工具。背后是这家公司: https://www.toolchain.com/

而且会 pants ,可以找到工作: https://www.pantsbuild.org/page/jobs
2022-08-02 14:17:14 +08:00
回复了 sadhen 创建的主题 Python Pants:不用再创建 Python 虚拟环境的构建工具
@zhenrong 磨刀不误砍柴工。不过这类事情确实应该由架构师去思考、设计、实现。或者由专门的团队来维护。比如 twitter ,他们的 python 项目用的就是 pants ,不过最近迁移到了 bazel 。
2022-08-02 14:14:51 +08:00
回复了 sadhen 创建的主题 Python Pants:不用再创建 Python 虚拟环境的构建工具
@ViriF pants 不需要用 pipx 这种工具安装的,直接用脚本 pants.sh 启动就可以了。类似 maven 项目里面的启动脚本。
2022-08-02 10:56:51 +08:00
回复了 sadhen 创建的主题 Python Pants:不用再创建 Python 虚拟环境的构建工具
@Mithril monorepo 不是什么“前端化”。不要把 python 生态的构建工具强行拽到前端娱乐圈。
2022-08-02 10:56:00 +08:00
回复了 sadhen 创建的主题 Python Pants:不用再创建 Python 虚拟环境的构建工具
@6ugman 我之前尝试用 poetry 来管理 airflow dags 的 python 代码,结果发现 poetry 并没有那么好用。

大概一年之前,我觉得 poetry 特别慢。而且依赖冲突的问题也没有很好地解决。使用 pants 可以解决依赖冲突的问题。
2022-07-13 09:40:22 +08:00
回复了 James369 创建的主题 程序员 一直有个疑问,软件开源出去,就不怕竞争对手抄走吗?
@golangLover “微软不想着赚钱”,太天真了。
1  2  3  4  5  6  7  8  9  10 ... 23  
关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   1499 人在线   最高记录 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 26ms · UTC 17:05 · PVG 01:05 · LAX 09:05 · JFK 12:05
Developed with CodeLauncher
♥ Do have faith in what you're doing.