SeanTAllen changed the topic of #ponylang to: This IRC channel is no longer used. Please consider joining our Zulip community => https://ponylang.zulipchat.com/
_whitelogger has joined #ponylang
fanta1 has joined #ponylang
fanta1 has quit [Quit: fanta1]
porky11 has joined #ponylang
<porky11> I'm currently reading the tutorial https://tutorial.ponylang.io, and I really like it
<porky11> Is there also something like const-generics (value templates)? I want to be able to write some compile time typed vector math library, where the types can be pretty complex
<porky11> more exactly a geometric algebra library, like I wrote in scopes here https://nest.pijul.com/porky11/ga
<porky11> Every type stores a set of blades as an array of varying sizes, which are some integer type and implicitly implements all multiplication functions (Multivector[Blade[1], Blade[2], Blade[3]](1, 2, 3) * Multivector[Blade[], Blade[1, 2], Blade[1, 3], Blade[2, 3]].unit() would be equivalent to multiplication of a 3D-vector and the unit quaternion using multivectors)
<slfritchie> porky11: Hi! Sorry, very few people hang out on this IRC channel. Instead, please consider using https://ponylang.zulipchat.com/ to communicate with most of the community.
<porky11> this chat looks weird; besides I don't like browser chats that much anyway, maybe I'll look into it later
<porky11> I just saw, pony doesn't allow variable shadowing :(
<porky11> oh, and we also use "end" instead of brackets or indentation... It gets worse and worse
<porky11> looks like the type system of pony is its greatest strength and actors also might be very comfortable to work with, but the rest doesn't look that interestning anymore
<porky11> I wish, more languages had a simple, preferably s-expression based langauge inbetween, so it's easy to write your own syntax and add missing features using macros
<slfritchie> If you haven't seen LFE, in the BEAM language community, you might like what you see. It's a cousin of Erlang and Elixir. All three run on the BEAM VM.
<slfritchie> (assuming that you can live without a static typing system)
<porky11> slfritchie, not really; for a few years, common lisp was almost the only language I used privately, but now I prefer statically typed langauges
<porky11> I'd prefer, if I can switch between static and dynamic types, when needed, but that's what powerful static typed languages are also useful for
<porky11> something like the automatic variant types for arrays in ponylang is a good example for that
porky11 has quit [Quit: Leaving]