#life #China #Kotlin #FP

#book #statement 其实虽然也很努力，我没看太多书…… 我相信很多人都能理解，就像一个游戏打了一半的小孩突然被人要求去写作业一样，我当然没办法在写作业的过程中背套招啦…… 伤心处
总是感觉什么没有完成，所以喜欢看小说、睡觉什么的，也不会再去碰计算机科学、信息学、无线电、微电子几大件的书和资料啦（虽然我主要是想要编译原理和函数式编程…… 虽然函数式也蛮难）

就是这样，结果物理老师还不理解我了，因为当时在『睡觉』的我看起来不够努力？其实我在学校里也就把自己当个笑话看的……

我真的不是懒散惯了，是怕努力了还伤身体，而且无处可以努力啊…… 即便是熬夜到凌晨一点，如果是在『学习』的话大概有不少人会觉得很用功吧。那编程到凌晨呢？ 😊

#CSharp ❤️ #Java 好耶！ Microsoft<3

https://www.cnbeta.com/articles/tech/896779.htm
一看这个 Description 很明显是给 Windows 上 Java 调用 WinRT API 的项目。

#FP 虽然我也不清楚 Strict 到底是怎么样的求值模式，我只认 Call-By-Name(lazy), Call-By-Value, Call-By-Need，不过 foldr 显然比 foldl 更适合 lazy 吧…… 考虑一下 foldl 可以 tco 而 foldr 必须保留栈

想今天先做 (2) 和 (3) 的一部分、(10) 🤔 我还是很想完成 Doku 库的，毕竟是一血前耻

浪费了我很多时间，教会了我，其实有些东西不一定是你开始想的那样，然后是要懂得接受失败， 🙃 #CXX #Algorithm, 这个算法还是要写，不过明天要先纠正下理论的错误

咳咳，理论上呢…… 我昨天晚上洗澡的时候想到了，其实在我看到之前的设想失败时

一言以蔽之，就是我重新（当然是独立地）发明了取余进制换算……

开始我的思路是利用除法去取 (base**) n 位的数字 k (= rest / ones)，比如给 100 的时候，我取 10**1 位 (100 / 10) = 10 也就是说第二位是 "10"，我当时居然还觉得很正常，全然不顾它不在 (0, 10] 区间内了 🤪

直到不断 segfault 我才开始思考，于是就这样乱改代码（我也不会用 GDB，连 segv 的时候是哪一行我都问不出来，where 没用、info 太多、tstack 没用、show,list 的不是……）
我一直以为错在 CString 构造失败（存在末尾 \0 的问题），我怀疑是我把索引计算错了，所以就一直在 lstr-1, lstr-2 之间徘徊……（当然子程序只是要你给 nstr, 字符串长度……）

因为之前的这种智障想法，我甚至以为 XXXXX(eo {N+}) / base(=10) 就可以得到它的十进制长度…… 其实只是因为我举例子的时候全举的是 (10**n) 这种特例，然后我居然信了…… 😂
现在改成了浮点数（其实也可以用 !=0; /base 循环，不过还是开对数 lg 好） round(log10(n))+1 或者 ceil(log(n, base)) （肯定要 ceil，因为是开幂啊，只要有零头就是 1002 这类）
为了『修正』这个实际上是算法的问题，我祖传（其实真的不想用的，我不想面向 REPL 编程，很脑残）的 cout « 就开始了…… 结果当然是无功而返，碰了一鼻子灰，而且我甚至连 radare2 pd 都用上了，segv 的时候它在 movzx eax, byte [rax], 我不知道是在干什么（大概是在解引用 char* 吧）

所以我看到 1024 / 10 (/=2; =102) 的时候，绝对是崩溃的 😭
不过还好我立刻想到了：如果我用 1024 mod 10，就可以拿到第一位的 4 了，即便差了一位效果一样（于此同时我还想了被我否决的 (rest/base)-(rest%base) 等一大堆脑残思路）

于是，我可以写这个 #Haskell 程序

module Atoitoa(atoi, itoa) where
import Data.Char (digitToInt)

radix_K16 = "0123456789ABCDEF"
radix_K10 = take 10 radix_K16   
radix_K2  = take 2 radix_K16

-- F**king GHC won't accept (itoa'' rx k0 k 0) branch
itoa'' rx k0 k n 
  |n == 0 = []
  |otherwise = let d = (n `mod` k) in
    (rx !! dIdx d) : itoa'' rx k0 (k * k) (n - d)
  where     
    lastk = k `div` k0 -- k=1000, lastk=100
    dIdx d = (d `div` lastk)  

itoa' radix base = reverse . (itoa'' radix base base)

itoa = itoa' radix_K10 10   
itoa_2 = itoa' radix_K2 2
itoa_16 = itoa' radix_K16 16
atoi base = foldl (\ac -> (ac*base +) . digitToInt) 0

我调试了半天，想了很久，但还是有问题
3 = 0b11
4 = 0b100
可为什么 itoa_2 = "000"

看来我之前想得还不假…… NP，真的是 to_ss 把我搞糊涂了…… char show[] 的 +1 不应该算在 nstr 里面，因为 to_ss 显然小于 actual size……