Ultimate Pea

中文函数式编程语言的探索

1

Inspired by wenyan, I made a functional programming language following the similar style, with mixfix operators, and a virtual execution environment. The language is called 豫言, and it can be...

Syntax Considerations for a dependently typed Wenyan-style proof assistant

9

Syntax Considerations for a dependently typed Wenyan-style proof assistant ## Motivation I find `wenyan` to be the first language that elegantly expresses computational constructs in natural way in Chinese. I...

This page serves as a summary of discussions of features that apply to a purely functional programming language (e.g. ML, Haskell). Topics such as assignments, effects, OOP(objects, access protection, classes,...

Translation Issues for Standard Library 标准库的翻译问题

2

因为大多程序员对于文言文不是很熟悉，我们是否可以通过讨论决定应该怎么翻译标准库？ 例如文（字符串）标准库有以下方法 ``` String.fromCharCode() String.fromCodePoint() String.prototype.anchor() String.prototype.big() String.prototype.blink() String.prototype.bold() String.prototype.charAt() String.prototype.charCodeAt() String.prototype.codePointAt() String.prototype.concat() String.prototype.endsWith() String.prototype.fixed() String.prototype.fontcolor() String.prototype.fontsize() String.prototype.includes() String.prototype.indexOf() String.prototype.italics() String.prototype.lastIndexOf() String.prototype.link() String.prototype.localeCompare() String.prototype.match() String.prototype.matchAll() String.prototype.normalize() String.prototype.padEnd() String.prototype.padStart() String.prototype.quote() String.prototype.repeat()...

请大家帮忙投票：关于vscode官方支持中文传统竖排显示模式的功能

9

在向vscode官方团队建议加入支持中文传统竖排显示模式的功能，如果大家感兴趣的话，请帮忙个投票（点击问题下方大拇指（👍）图标），谢谢！链接：https://github.com/microsoft/vscode/issues/152005

类库中的术语翻译问题

2

关于用中文翻译编程语言标准库的问题，希望大家能给一些指导意见。 在中文编程语言中，如何翻译类似JSON之类的暂无中文译名的专业术语？`爪哇脚本语言物体符号`听起来十分长且奇怪。 类似的还有HTTP，HTML，LLVM，之类的仅仅使用英文首字母命名的专业术语，大家可以结合实际工作情况，给一些建议，非常感谢！

Support mlb option "allowExtendedTextConsts true"

3

Currently, smlfmt will report an error on non-ascii input. Example file: ``` val a = "🍰" ``` Error message: ``` -- SYNTAX ERROR ---------------------------------------------------------------- Invalid character. test.sml | 1 |...

Too many heap sections: Increase MAXHINCR or MAX_HEAP_SECTS

5

Sorry if this is a dumb question. I have a program that repeatedly allocates medium sized blocks (around 2KB~2MB) consecutively for 3 minutes, and roughly all blocks are discarded seconds...

`gh release upload` option to preserve unicode file names

1

### Describe the bug Uploading e.g. `gh release upload `, if `` contains unicode characters, these characters will be truncated. gh version 2.4.0+dfsg1 (2022-03-23 Ubuntu 2.4.0+dfsg1-2) https://github.com/cli/cli/releases/latest ### Steps to...

Show sqlite_master table

1

Is there a way to view/introspect the `sqlite_master` table?