duangsuse::Echo
719 subscribers
4.28K photos
130 videos
583 files
6.5K links
import this:
美而不丑、明而不暗、短而不凡、长而不乱,扁平不宽,读而后码,行之天下,勿托地上天国。
异常勿吞,难过勿过,叹一真理。效率是很重要,盲目最是低效。
简明是可靠的先验,不是可靠的祭品。
知其变,守其恒,为天下式;穷其变,知不穷,得地上势。知变守恒却穷变知新,我认真理,我不认真。

技术相干订阅~
另外有 throws 闲杂频道 @dsuset
转载频道 @dsusep
极小可能会有批评zf的消息 如有不适可退出
suse小站(面向运气编程): https://WOJS.org/#/
Download Telegram
看到前端们的 HTML, CSS, JS, CSS 动画,又被自己菜自闭了。

勉强仗着自己还会点 HTML、SGML,会使用 DOM 以及能够抽象/符号化/结构化分析问题以及比别人快点,往往能和作者共意稍微有点好转的倾向...

duangsuse 在抽象分析的时候稍微看得清那些眼花缭乱的 API 使用、存储和算法结构一些

啥时候我要去写点前端。
duangsuse::Echo
写的太多不知从何说起... 时间还是不够啊 我不是把时间给虵(shé 🐸)了... QAQ 就先说绝句、二进制和字符流 Parser 框架 这些最令人 excited 的玩意 Parser 框架我还打算自己手写这些算法: TrieTree (只需要 Trie,因为只是字符流嘛,Radix 树还不如自己手动 maybe 匹配解析... 虽然那样好像没有优化了) RangeMap (到学校里想了会,发现还真不是那么简单的,滚动歌词什么的还真是可以简单点,但是 RangeMap 可以启用二分查找技术和区间碰撞检测,进而可以实现…
所以说,我觉得要完成这些类,才能做一个比较好的解析器框架:

== 数据结构和算法部分

TrieTree
CharTrieTree
RangeMap
LinearRangeMap
HashRangeMap
BsearchRangeMap
FuzzyCollisionRangeMap
CollisionRangeMap
NestedRangeMap
VersionizedMap
CollisionVersionizedMap
MultiMap
ReverseIndexedMultiMap
NaiveMap (就是简化掉一些非关键方法的 java.util.Map 外加一些静态辅助函数)
ArrayMap

== 辅助类部分

Pair
Range
MixedArrayLinkList
MixedArrayHashMap
RandomReadStream
StringView
MRL (Media Resource Locator)

== 框架部分

Identifible
SourceManager
SourceLocation
BinaryLocation

OffsetRange
InlineDoc
Comment
Spaces
PositionMarker

— exception

ReadError
OpenError
DecodeError
ParseError
WriteError
AllocationError

— matcher
Parser
Matcher
RepeatResult
SequenceResult
BranchResult

— text
TextInputStream
TextOutputStream
CharsetInputReader
TextInputOperator
TextCombinator

— binary
ByteOrdDataInput
OrderedDataInput
ByteOrdDataOutput
OrderedDataOutput
BinaryProcessor

StructReader
StructWriter

— annotation
BinaryStruct
Aligned ByteOrder Encoding
Let Repeats Skip Size
— unsigned
ubyte ushort uint ulong
#code #Java #Android 学到了 Androidx 的四个辅助 annotation

@NonNull @Nullable
@RestrictTo(RestrictTo.Scope)
@RequireApi(android.os.Build.VERSION_CODES)
duangsuse::Echo
所以说,我觉得要完成这些类,才能做一个比较好的解析器框架: == 数据结构和算法部分 TrieTree CharTrieTree RangeMap LinearRangeMap HashRangeMap BsearchRangeMap FuzzyCollisionRangeMap CollisionRangeMap NestedRangeMap VersionizedMap CollisionVersionizedMap MultiMap Rev…
由于时间不够(6 点左右要走的,和虵 🐸 的时间不够是不一样的,我还有很多自己的时间)

只能写一些关于 Binary Stream Processing 的类了,此外我还会顺手练习一下 #Haskell 的 parser combinators (写个 JSON 解析器?)

这样一部分包括

Range
MultiMap
ReverseIndexedMultiMap
RandomReadStream
RandomReadStream.BinaryView
MRL
Identifible
SourceManager
BinaryLocation
OffsetRange
PositionMarker

ReadError
OpenError
DecodeError
ParseError
WriteError
AllocationError

ByteOrdDataInput
OrderedDataInput
ByteOrdDataOutput
OrderedDataOutput
BinaryProcessor
StructReader
StructWriter

BinaryStruct
Aligned ByteOrder Encoding
Let Repeats Skip Size

ubyte ushort uint ulong
#Haskell... Haskell 的 Text.ParserCombinators.ReadP 的 operator 还真多... 我的根本比不上... 弄了半天我连怎么解析二元运算符都忘了,唉,当入门吧...
https://ice1000.org/gist/lice-haskell-impl/

这是冰封哥的一个 Haskell 写的解释器(其实早有一万年历史了...)
求值的算法
虽然求值算法是递归的,但是解析的... 我暂时写不好 ReadP 解析嵌套二元运算... 所以先放着吧...
duangsuse::Echo
虽然求值算法是递归的,但是解析的... 我暂时写不好 ReadP 解析嵌套二元运算... 所以先放着吧...
[DuangSUSE@duangsuse]~/Projects% ./Calculator
1+1
(1 + 1) = 2
2+2
(2 + 2) = 4
4/2
(4 / 2) = 2
400*100
(400 * 100) = 40000
0-1
(0 - 1) = -1

目前只能这么玩。。。。
Calculator.hs
1.5 KB
duangsuse::Echo
#Hardware https://github.com/itsFrank/MinecraftHDL Verilog for MCHDL redstone 🙊 Wow...
原来 verilog 是这样的!

module bit2adder (
input x0, y0, x1, y1,
output o2, o0, o1
);

assign {o2, o0, o1} = {x0, y0} + {x1, y1}

endmodule

🤔 比 perl 简单一些?可是既然要给电路编程,就要写很多吧...
不会玩... #hardware
Firtzing 也不会,勉强学了下布线,不过没有模拟功能... 差评
duangsuse::Echo
由于时间不够(6 点左右要走的,和虵 🐸 的时间不够是不一样的,我还有很多自己的时间) 只能写一些关于 Binary Stream Processing 的类了,此外我还会顺手练习一下 #Haskell 的 parser combinators (写个 JSON 解析器?) 这样一部分包括 Range MultiMap ReverseIndexedMultiMap RandomReadStream RandomReadStream.BinaryView MRL Identifible SourceManager…
绝望,看来写不了了,就学点 Haskell 吧。

选择一下
写个 JSON Parser,不过必须得把某 Monad 组合子 Parserc 框架抄写下来,这个是没有技术难度的...
扩展这个计算器,支持 ** 和 mod 运算,支持十六进制和运算符结合算了... 🙈
https://ice1000.org/2017/07/27/HaskellParsers2/

要是我就选择第二种。我才不去做没有提升空间的事情...

我们先左递归描述一下我们要解析的语法

input = binOp

binOp = addOp

opP x = do
ws charP(x) ws

addOp = numP opP('+') numP | numP opP('-') numP | mulOp

ws = whiteSpace

numP
= "0x" hexDigit
| digit+

hexDigit = satisfy (`elem` "0123456789abcdefABCDEF_")
digit = satisfy (`elem` "0123456789_")

... 好难看算了
duangsuse::Echo
https://ice1000.org/2017/07/27/HaskellParsers2/ 要是我就选择第二种。我才不去做没有提升空间的事情... 我们先左递归描述一下我们要解析的语法 input = binOp binOp = addOp opP x = do ws charP(x) ws addOp = numP opP('+') numP | numP opP('-') numP | mulOp ws = whiteSpace numP = "0x" hexDigit …
🙈 那么... 还真是不能强行上递归呢。

其实左递归是真的... 难受了,所以还是算了

左递归,比如说

cidentifier
= nondigit
| identifier digit
| identifier nondigit

匹配的时候就需要检查匹配栈了呢。

而这里的左递归

addSub
= addSub "+" addSub — add
| addSub "-" addSub — sum
| mulDiv
mulDiv
= mulDiv "*" mulDiv — mul
| mulDiv "/" mulDiv — div
| number
ws = [ \t\n\r]
number = ws \d+ ws

比如说有个输入 1 + 1 + 1,解析 addSub
首先 匹配 addSub

addSub "1 + 2 + 3"

addSub
mulDiv
number "1"
"+" — add
addSub
mulDiv
number "2"
"+" — add
addSub
mulDiv
number "3"

总之,每次去检查递归栈,如果的确符合左递归的模式就成功匹配了
最后归纳出这个树

(add (add 1 2) 3)