I want to learn programming in my spare time, with the goal of releasing a single program which could be used on pretty much any platform.
Is this my best bet ?
Also Java talk thread
I want to learn programming in my spare time...
Hunter Stewart
Michael Parker
it's your only option
Henry Hughes
Java is an excellent language
Oliver Price
>Bloat the language
C# is the way to go
Colton Price
>bloat
Well that's what you get when you want a cross-platform-ready language running in a VM, but hey, I'm probably talking to a GentooFag compiling everything by hand because muh bloat and efficiency
Owen Barnes
Idris is your best bet.
Idris runs on:
JVM
.NET
Native
Browser
and can make use of almost any language as a target (including php!).
Do you need to mess with the complexity of java? NO
How about the pain of learning haskell? NO, Idris is much simpler and comes with better tools for learning and work.
What do you gain?
* Dependent types allow you to encode domain logic and verify it's correct without even compiling thus faster to develop with.
* Syntax extensions for those times where embedding a domain specific language makes sense.
* DSL syntax allows overriding regular Idris syntax with your domain specific language.
* Multiple codegens means you can practically run it anywhere.
There's just so much more, have a look and see idris-lang.org (check the docs for tutorials and better examples)
Brayden Gomez
Takes a lot of ram and cpu but works pretty well all and all.
Liam Perez
>67573074
Yes I just checked some benchmarks and it does seem relatively resource-hungry
However this is not a problem considering what I intend to do with it
Grayson Richardson
yes learn java
shut up nigger
Austin Adams
app : Vect n a -> Vect m a -> Vect (n + m) a
app Nil ys = ys
app (x :: xs) ys = x :: app xs ys
>this is considered a programming language