編集可能
2013年7月17日

ermine language

3
Hideyuki Tanaka @tanakh

S&Pが言語作ってたとわ・・・

2013-07-16 03:46:44
Hideyuki Tanaka @tanakh

https://t.co/TbeXKEKeru これがErmineのコードですか(´・_・`)

2013-07-16 03:50:40
Rúnar @runarorama

MHF has quietly made available the source for Ermine, a programming language that I worked on for nearly 3 years https://t.co/g5Y28iUNX0

2013-07-16 04:05:24
Rúnar @runarorama

A whole bunch of Ermine code can be found in this "legacy" prelude: https://t.co/PBfJqZULvr

2013-07-16 08:38:56
Brian McKenna @puffnfresh

Playing around with Ermine from @runarorama and @kmett. Brilliant new JVM language: https://t.co/CyLwMNbgqu http://t.co/GBS6b65pFv

2013-07-16 10:22:15
拡大
etorreborre @etorreborre

@puffnfresh @runarorama @kmett it is haskell-like syntax with a Scala interpreter, right?

2013-07-16 10:31:07
Kenji Yoshida @xuwei_k

https://t.co/E1CAsJnwxL ekmettさんとか、scalazのrunaroramaさんが、「ここ最近3年くらい仕事で作ってたプログラミング言語をオープンソースにして公開?」 https://t.co/d6CWCsL4qK したとかで、話題沸騰中

2013-07-16 13:09:32
Kenji Yoshida @xuwei_k

https://t.co/E1CAsJnwxL HaskellとScalaの両方の実装があってよくわからないのだけど、どっちを先に作ったんだろうか。そして、今後どっちをメンテしているんだろうか?(両方?片方?)

2013-07-16 13:12:15
Brian McKenna @puffnfresh

@xuwei_k only the Haskell version will be supported. The Scala one is "legacy"

2013-07-16 13:18:42
Edward Kmett @kmett

@michaelklishin @puffnfresh @runarorama We use ermine to talk to databases in reports. Row types let us strongly type relational algebra ops

2013-07-16 22:37:05
Edward Kmett @kmett

@puffnfresh @runarorama We've open sourced the new work-in-progress haskell-based compiler for it so far. More goodies will be coming. :)

2013-07-16 22:40:08
Edward Kmett @kmett

@Evanfchan @puffnfresh @etorreborre @runarorama How so? We've yet to release any actual code written in Ermine, just most of a compiler. :P

2013-07-16 22:43:08
Edward Kmett @kmett

@mwotton @puffnfresh @runarorama We needed a language on the JVM we could expose safely to end users. We interpret to avoid permgen leaks.

2013-07-16 22:45:37
Edward Kmett @kmett

@mpmanti @puffnfresh @runarorama @rickasaurus Haskell + row types + polykinds - miscellany on the JVM

2013-07-16 22:47:18
Joseph Abrahamson @sdbo

@kmett @puffnfresh @runarorama What are the goals of Ermine? I've heard about it for a long time, but never heard the background story.

2013-07-16 23:31:14
Rúnar @runarorama

@sdbo @kmett @puffnfresh Safe and easy interaction with databases for end users. Ergo row types, kind polymorphism, purity, laziness.

2013-07-16 23:35:32
Edward Kmett @kmett

@sdbo @puffnfresh @runarorama Hard to fit in a tweet. We needed an enduser-exposable language for the JVM for manipulating data and reports.

2013-07-16 23:37:50
Joseph Abrahamson @sdbo

@kmett @puffnfresh @runarorama I imagine it's about exposing analysis opportunities on complex data? A tie-in with the Analytics project?

2013-07-16 23:49:31
Carter T Schonwald @cartazio

@sdbo @kmett @puffnfresh @runarorama the Analytics project is orthogonal and independent project.

2013-07-17 01:07:23
Edward Kmett @kmett

@puffnfresh @etorreborre @runarorama The new compiler will have proper typeclasses. The old one only had classes sans dictionaries.

2013-07-17 01:08:11
Kris Nuttycombe @nuttycom

@kmett Is there a means to do locally scoped, value-dependent typeclasses similar to what you can have in Scala? Global tc now seem ugly...

2013-07-17 01:19:25
残りを読む(29)

コメント

コメントがまだありません。感想を最初に伝えてみませんか?