t****a
发帖数: 1212 | 1 号称next lisp啊
http://en.wikipedia.org/wiki/Shen_%28programming_language%29
自带haskell式的pattern matching和static typing(type inference?)
在多种lisp上有实现，比如common lisp, scheme, clojure
=====
有了解的朋友能给个介绍么？那本books of shen到哪里能下到？
任何讨论都欢迎，非常感谢。 |
E*****m
发帖数: 25615 | 2 這個厲害，直接就取名叫『神』了！
立意不錯， 不過現在的 LISP （Clojure) 都有點太複雜了， 再加上一大堆
東西恐怕會變得太複雜。 |
t****a
发帖数: 1212 | 3 它加进去了静态检查... 早就眼馋啦。
【在 E*****m 的大作中提到】
: 這個厲害，直接就取名叫『神』了！
: 立意不錯， 不過現在的 LISP （Clojure) 都有點太複雜了， 再加上一大堆
: 東西恐怕會變得太複雜。
|
E*****m
发帖数: 25615 | 4
看了一下， 語法不太好。
比方
(define swap
{(A * B) --> (B * A)}
(@p X Y) -> (@p Y X))
既然是 Lisp, 為啥 --> 和 -> 是 infix 呢？ 這樣 macro 不是很難寫嗎？
什麼都抄一點， 太亂了。
【在 t****a 的大作中提到】
: 它加进去了静态检查... 早就眼馋啦。
|
t****a
发帖数: 1212 | 5 这箭头是抄haskell的，也好啊，这样code看起来容易懂。
据说lisp社群对这个语言反响很不错啊，有时间还是要学学-
【在 E*****m 的大作中提到】
:
: 看了一下， 語法不太好。
: 比方
: (define swap
: {(A * B) --> (B * A)}
: (@p X Y) -> (@p Y X))
: 既然是 Lisp, 為啥 --> 和 -> 是 infix 呢？ 這樣 macro 不是很難寫嗎？
: 什麼都抄一點， 太亂了。
|
E*****m
发帖数: 25615 | 6 為啥不用 Haskell 就好？
Haskell 好， Lisp 好， Prolog 也好， 各取一點混在一起
就未必好了。
以前有個 Lambda Prolog 也是想把 FP 和 logic programming
合起來， 也不成功， 這個看來也是類似的。
【在 t****a 的大作中提到】
: 这箭头是抄haskell的，也好啊，这样code看起来容易懂。
: 据说lisp社群对这个语言反响很不错啊，有时间还是要学学-
|
t****a
发帖数: 1212 | 7 我知道haskell那个好啊～
因为时间问题。我学东西慢，觉得自己从接触haskell，搞清楚调试环境，写一些算法
，了解各种技巧的选择，用各种package，到真正能用来干活，少说得用业余时间的3个
月到半年。而且我喜欢能交互式写程序的语言，LISP太方便交互式了。
对我现在而言，学一个基于LISP的东西要比学haskell容易太多了。
刚查了一下这个语言取名叫做shen是因为作者（一个英国人）是道家的信徒，shen语言
是qi语言的后继。道家里有jing qi shen之说。
【在 E*****m 的大作中提到】
: 為啥不用 Haskell 就好？
: Haskell 好， Lisp 好， Prolog 也好， 各取一點混在一起
: 就未必好了。
: 以前有個 Lambda Prolog 也是想把 FP 和 logic programming
: 合起來， 也不成功， 這個看來也是類似的。
|
E*****m
发帖数: 25615 | 8 我覺得學語言有不同目的， 我也常常只為了新鮮好玩去學，
不過你要是真的要用來幹活，只要不是用來做些用完就丟的，
還是該選比較成熟的語言。
這個神有 IDE 支持嗎？ 如果沒有， type checking 用處也沒那麼大。
【在 t****a 的大作中提到】
: 我知道haskell那个好啊～
: 因为时间问题。我学东西慢，觉得自己从接触haskell，搞清楚调试环境，写一些算法
: ，了解各种技巧的选择，用各种package，到真正能用来干活，少说得用业余时间的3个
: 月到半年。而且我喜欢能交互式写程序的语言，LISP太方便交互式了。
: 对我现在而言，学一个基于LISP的东西要比学haskell容易太多了。
: 刚查了一下这个语言取名叫做shen是因为作者（一个英国人）是道家的信徒，shen语言
: 是qi语言的后继。道家里有jing qi shen之说。
|
t****a
发帖数: 1212 | 9 有道理，typechecking拿来和IDE配合做实施检查才比较有用。shen刚出来没什么人用
，我只找到了一个emacs mode。
【在 E*****m 的大作中提到】
: 我覺得學語言有不同目的， 我也常常只為了新鮮好玩去學，
: 不過你要是真的要用來幹活，只要不是用來做些用完就丟的，
: 還是該選比較成熟的語言。
: 這個神有 IDE 支持嗎？ 如果沒有， type checking 用處也沒那麼大。
|
E*****m
发帖数: 25615 | |
