Post AXlf39zAHGpXr0ksAC by mildsunrise@tech.lgbt
 (DIR) More posts by mildsunrise@tech.lgbt
 (DIR) Post #AXlf39zAHGpXr0ksAC by mildsunrise@tech.lgbt
       2023-07-16T23:40:07Z
       
       1 likes, 0 repeats
       
       my list of languages to learn is oriented around cool properties I would like to explore, and it currently looks something like:proof assistants / type theory (Coq, Idris, maybe Lean)low level + proof oriented (ATS, F*)concatenative (Factor, Joy...)some modern/WIP ones (Kitten, Mirth, Kempe) are even typed!language/DSL oriented (Rachet)homoiconic (Lisp family)GPU oriented (Triton, Futhark)array oriented (APL family: BQN, April, J?)hardware description (Clash, Lava, Amaranth, Bluespec, Chisel?)concurrency model (Elixir, Erlang)functional GP (PureScript, OCaml)then there's stuff that ticks many boxes, such as Rosette (which feels like if Rachet and F* had a child)
       
 (DIR) Post #AXlf3AezlkI5wkKHMe by pry@raru.re
       2023-07-16T23:53:28Z
       
       0 likes, 0 repeats
       
       @mildsunrise god i have a similar list and it just isnt getting any shorter since ive been learning Rust
       
 (DIR) Post #AXlga4QE5EeA6qfZFQ by mildsunrise@tech.lgbt
       2023-07-17T00:10:36Z
       
       0 likes, 0 repeats
       
       @pry can relate :blobcatnotlikethis:​ I finally considered I know enough Rust to remove it from this list, but oof
       
 (DIR) Post #AXmKL1aKLUr78Jm5CK by pry@raru.re
       2023-07-17T07:36:07Z
       
       0 likes, 0 repeats
       
       @mildsunrise yea it really does just take a couple of projects to learn something to the point where im more confident to try more complex stuff in it, but those first couple of projects are sooo hard and painful
       
 (DIR) Post #AXsyh7Fo2mV4IfeqyO by aliss@outerheaven.club
       2023-07-20T12:36:33.584410Z
       
       0 likes, 0 repeats
       
       @mildsunrise ATS! did u discovered bc me or we never had that conv?