如何評價新出的 Luna 語言？

01-31

官網： Luna. Hybrid-visual textual functional programming language.
HackerNews： Luna - Visual and textual functional programming language
FP、DT、Visual Profiling，好像挺好的。

驚了，第一次聽說 Category Oriented Programming hhhhhhh

我還是老老實實造我家的 $extsc{LoLi}$

現在搞語言的牛皮一個比一個能吹

如果你宣稱 ↓

但又沒法定義出下面這堆東西的話 ↓

data Eq : {a : Type} -&> a -&> a -&> Type where Refl : Eq x x


sym : {x : a} -&> {y : a} -&> Eq x y -&> Eq y x

sym Refl = Refl

replace : {a : Type} -&> {x : a} -&> {y : a} -&> {f : a -&> Type} -&> Eq x y -&> f x -&> f y replace Refl p = p

就是吹牛

ps. 這個例子

如果真的是延遲求值的話——你用到了 coinductive 你知道么？

Luna不只是個新語言，而是一個data processing platform，對iot，data science或者遊戲有用。語言基於haskell，融資了1M seed。

支持dependent type，不知道和idris比如何？

現階段應該比idris更有商業價值吧

以前：沒辦法處理我的需求？造個封裝

之後：沒辦法處理我的需求？造個框架

現在：沒辦法處理我的需求？造個語言

坐等lion語言

其實這個luna是那個設計語言的luna 跟tj沒有半毛錢關係的說

基於Category Theory? 相當於把monad stack 可視化了?