ermine language
-
- いいね！2
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
拡大
Eric Torreborre
@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
Evan Chan
@Evanfchan
@puffnfresh @etorreborre @kmett @runarorama Yeti still seems more readable.
2013-07-16 16:01: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
Evan Chan
@Evanfchan
@kmett @puffnfresh @etorreborre @runarorama just rushing to judgement based on a screenshot :-p
2013-07-17 00:19:20
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
@chiefscientist
@khrabrov
@kmett @puffnfresh @etorreborre @runarorama hey why u no support #Scala no more in them githubs?
2013-07-17 01:13:08
@nutty.land / @nuttycom@icosahedron.website
@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