idris-jvm
order-taking
| idris-jvm | order-taking | |
|---|---|---|
| 11 | 2 | |
| 465 | 130 | |
| - | - | |
| 9.3 | 0.0 | |
| 28 days ago | over 2 years ago | |
| Idris | Idris | |
| BSD 3-clause "New" or "Revised" License | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
idris-jvm
-
Idris 2 0.6.0 is now available for the JVM
Hello, I am the author of Idris JVM. Thank you for your feedback. I will update the README to include a link for JVM interop. For now, this file https://github.com/mmhelloworld/idris-jvm/blob/main/libs/bas... , demonstrates how the interop looks like currently. The %foreign directive takes an FFI descriptor to talk to the respective backends. Here you can see few scheme and JVM descriptors starting with "scheme:" and "jvm:" respectively. The JVM descriptors there also show constructor calls ``, instance methods `.lock` and static methods `getThreadData`.
Github
-
What about Scala 3?
Unfortunately, since Eta is no longer maintained and Frege never was quite Haskell, there's no Haskell implementation on the JVM, so you either have to make due with "impure" Scala/Kotlin or make the jump to the Idris2 JVM backend (https://github.com/mmhelloworld/idris-jvm).
-
Idris 2 0.5.1 for JVM
Hello everyone, I am happy to announce that Idris 2 JVM backend has finally caught up to Idris 2 latest version and now supports Idris 2 0.5.1. The release is here https://github.com/mmhelloworld/idris-jvm/releases/tag/v0.5.1. Any feedback is welcome.
-
I just created an interpreted programming language in tamil
Great work! I am currently working on something similar but a compiler backend for Idris language to compile to JVM bytecode https://github.com/mmhelloworld/idris-jvm and I've always wanted to create one with Tamil so this is awesome! One suggestion as I see you want to compile this instead of interpreted version is to have an intermediate language so that it is backend agnostic and we can easily plug different backends to compile to possibly JVM, JavaScript and even native then we can use a Tamil programming language everywhere :). As for intermediate language, we can even compile to existing IRs like Idris or Scala IR then we can readily use existing compiler backends.
-
Announcing Idris 2 0.3.0 for the JVM
Release is here: https://github.com/mmhelloworld/idris-jvm/releases/tag/latest. Now the JVM backend is one step away to catching up to latest Idris 2 version 0.4.0. To try it out, if Java 8 or above is already installed on the system, we can just download the archive and be able to run the compiler right away without any additional installation. More details on the release page.
order-taking
-
Domain Driven Design Made Dependently Typed with Idris
https://youtu.be/QBj-4K-l-sg
My talk about DDD and the high level overview of the Idris implementation of the Domain Modeling Made Functional Book, where I used dependent types to formalize the Bounded Context and Workflow abstractions to create a full implementation which is hosted on NodeJS.
For more details see; https://github.com/andorp/order-taking/
-
Domain Driven Design made Dependently Typed
My talk about DDD and the high level overview of the Idris implementation of the Domain Modeling Made Functional Book, where I used dependent types to formalize the Bounded Context and Workflow abstractions to create a full implementation which is hosted on NodeJS. https://github.com/andorp/order-taking/ https://github.com/andorp/order-taking/blob/main/SLIDES.md
What are some alternatives?
Play - The Community Maintained High Velocity Web Framework For Java and Scala.
library - A comprehensive Domain-Driven Design example with problem space strategic analysis and various tactical patterns.
Arthas - Alibaba Java Diagnostic Tool Arthas/Alibaba Java诊断利器Arthas
Spring Data JPA - Simplifies the development of creating a JPA-based data access layer.
JavaGuide - 「Java学习+面试指南」一份涵盖大部分 Java 程序员所需要掌握的核心知识。准备 Java 面试，首选 JavaGuide！
modular-monolith-with-ddd - Full Modular Monolith application with Domain-Driven Design approach.
rust - Empowering everyone to build reliable and efficient software.
ttlite - A SuperCompiler for Martin-Löf's Type Theory
Agaram - agaram is an interpreted programming language in tamil
functional-programming-jargon - Jargon from the functional programming world in simple terms!