the_unproven

5 ms·

1.
by the_unproven 1mo ago
This is great, I haven't been introduced in the notion of supercompiliation. Reading the papers you've listed and going through GRIN's paper [1] it ticks the boxes in terms of laziness and graph reduction. To keep the impleme
2.
by the_unproven 1mo ago
Fair point, I don't disagree with the statement that `Self` can be limiting as the trait is defined for `Functor[A]`. Thus imposing limitations on type system. You would want for type variable to not be attached directly to a type clas
3.
by the_unproven 1mo ago
Technically yes, although there's no support for FFI yet. Purity would allow it as long as side-effects are wrapped into IO type.
4.
by the_unproven 1mo ago
As I was deciding on the compiler backend, I stumbled upon on it in r/ProgrammingLanguages on reddit. I liked the syntax itself and the fact I can compile the language in the IR of a mini functional language; with a lot of benefits in
5.
by the_unproven 2mo ago
`Self` isn't the applied type (`List[A]`), rather it's the type constructor of kind `* -> *` constrained by `Functor`. In the map example it gets desugared into: fun map[Self: Functor, A, B](self: Self[A], f: A -> B) -&g
6.
by the_unproven 2mo ago
Yeah the LSP support is next, my goal is to implement the language server in the fuse itself. At the moment there’s a simple formatter implementation fusefmt: https://github.com/fuselang/fuse/blob/master/
7.
by the_unproven 2mo ago
Haskell is a great language with a really advanced type-system, although I found its syntax hard to read at times especially as I was exploring the language at first. On the other hand I really liked how Rust syntax was defined in terms of
8.
by the_unproven 2mo ago
First of all thanks for all the feedback and looking into it, appreciate it! Yeah GRIN is a great project, it took a lot of debugging and analysis to make it compile 100% especially with monomorphization involved. I'll look into Unicod
9.
Show HN: Fuse – statically typed functional programming language(fuselang.org)
121 points by the_unproven 2mo ago|48 comments
10.
Fuse Programming Language(fuselang.org)
2 points by the_unproven 2mo ago|0 comments
11.
Your Statement is 100% correct but misses the entire point(nibblestew.blogspot.com)
4 points by the_unproven 6y ago|0 comments
12.
by the_unproven 7y ago
I just recently found out about these two types of system. It's strange how people (like shown in the article) don't emphasize(know) it when talking about types in languages. Interestingly, python has included structural subtyping
13.
by the_unproven 7y ago
Events can handle much more connections than a thread based approach. For example nginx is implemented with event-driven architecture: https://www.nginx.com/blog/inside-nginx-how-we-designed-for-... > NGINX scales v
14.
by the_unproven 7y ago
I also think it's fine to change the code someone wrote. Just because someone wrote it, doesn't mean it's the right way to do it. I often find myself rewriting the code, it's the natural process of code evolution. It jus
15.
by the_unproven 8y ago
Reminds of a movie from Andrei Tarkovsky, Stalker. The guy may be the Stalker, leading people to the center of the Zone - the elephant foot in this case.