Hmm, I feel like learning a new programming language.
-
@volpeon@icy.wyvern.rip Haskell?
@mjustm Already know that one
-
Hmm, I feel like learning a new programming language. At work all we ever use is JavaScript and TypeScript
@volpeon@icy.wyvern.rip I tried python once and they get so much fancy syntax sugar for all kinds of weird things, like you can filter and map a list in a single line without calling any methods. it gets super confusing to figure out the order of operations there, chaining array methods in JS is so much easier to read
-
M magiclike@soc.sekundenklebertransportverbot.de shared this topic
-
Hmm, I feel like learning a new programming language. At work all we ever use is JavaScript and TypeScript
-
V vel@gib.schmus.is shared this topic
-
Ah yes, WoozSharp
-
@Elrick_Winter Just for fun. I'm checking out Gleam right now, but I'm open for suggestions
-
@vel Woozdot
-
@vel Woozdot
-
Hmm, I feel like learning a new programming language. At work all we ever use is JavaScript and TypeScript
-
Gleam looks interesting
-
Hmm, I feel like learning a new programming language. At work all we ever use is JavaScript and TypeScript
@volpeon@icy.wyvern.rip
Neobots are here to help.
-
Hmm, I feel like learning a new programming language. At work all we ever use is JavaScript and TypeScript
I'm now taking a look at Lean
-
I'm now taking a look at Lean
@volpeon@icy.wyvern.rip >theorem prover
-
I'm now taking a look at Lean
-
I'm now taking a look at Lean
@volpeon I'm now taking a look at wyverns
-
I'm now taking a look at Lean
-
@volpeon I'm now taking a look at wyverns
-
I'm now taking a look at Lean
I guess I hate myself because I'm porting my Haskell JSON-LD library to see how Lean is different from Haskell.
