ermine language

https://github.com/ermine-language http://www.youtube.com/watch?v=QCvXlOCBe5A http://nocandysw.com/ermine-user-guide/ermine-user-guide-usltr.pdf https://launchpad.net/ermine-user-guide
3
前へ 1 2 3
Dan P @copumpkin

@puffnfresh @kmett they really are! Agda's type system is certainly conceptually simpler than Haskell's or Scala's.

2013-07-17 06:17:07
Edward Kmett⏏️ @kmett

@puffnfresh http://t.co/4tZb73jwU3 talks a bit about how local instances break principal types and how to fix it with http://t.co/Dqi2AClNg6

2013-07-17 06:19:53
Edward Kmett⏏️ @kmett

@khrabrov We're not taking away the JVM. The new compiler will be in Haskell, but it generates a core representation we can run on the JVM.

2013-07-30 08:31:21
@stewoconnor@hachyderm.io @StewOConnor

@kmett presenting the Ermine programming langauage at Boston #Haskell: http://t.co/MLU8v8mtz9 #scala

2013-07-30 20:16:40
拡大
前へ 1 2 3

いま話題のタグ

猫6073 自民党2572 車椅子541 宝石119 腐女子726 子供1593 デザイン4747 犬2521 グルメ12630 シティーハンター86 注意喚起747 コミュニティノート117 海上自衛隊294 文学19555 小岩井ことり16