My role is now more of an observer and to maintain the sources and standards and printed documentation. What people do with Shen, where they take it, is now in the hands of the Shenturians. This means to a degree that people have to define and solve their own problems. My path resumes from where I left it when I returned from the edge of the Himalayas to build Shen.
None of the implementations are any good. Once you get them to compile, errors manifest as exceptions in the host language, also everything is shit slow.
>>18 How old are you, kid? 12? 13? Here's some advice: stop shitposting and forget about this textboard. And any other internet forums. It will do you a lot of good in the long run.
Name:
Anonymous2015-02-10 7:44
1. LISP kids hear about this new LISP and come to wikipedia to check it out. 2. LISP kids quickly see that their intelligence is clearly insufficient for Qi/Shen. 3. LISP kids leave scorching comments about Mark Tarver in the thread on /prog/ and run away.
Name:
Anonymous2015-02-10 8:10
check em!
Name:
Anonymous2015-02-10 12:11
Once, a package I author and maintain was taken away from me by the hackage admins. I did not receive the single email sent to me (went into spam, or something like that). There was a single post to the café on the same day. I happened not to be monitoring that high-volume list very carefully at that time, as happens to all of us.
No one had any bad intentions here. But I can tell you that it is very, very upsetting to have a package taken away from you like that.
Name:
Anonymous2015-02-11 0:09
>>21 It looks interesting, but I don't think it's good enough. It's hard for me to see how it'll catch type errors at compile time, which is what I want from a dependently typed language. I don't just want syntactic sugar for assertions.
>>31 Just cause you refuse to admit your mistakes doesn't mean you don't make them, idiot.
Name:
Anonymous2015-02-11 15:21
Just cause you refuse to check my dubs doesn't mean they aren't dubs, idiot.
Name:
Anonymous2015-02-11 15:37
>>32 How could I make a mistake when I'm not distracted by all the unrelated thoughts neurotypicals like to complain about? How do you think it is possible for me to type a wrong variable name? It was stored correctly in my memory, it's supposed to appear incorrect in my code, so it would have to be corrupted somewhere in between, but how could that possibly happen? I don't have any mysterious bit-flipping crossed wires in my head.
Name:
Anonymous2015-02-11 16:52
let's not talk about qi since it's shit and the author is a retard
Name:
Anonymous2015-02-11 16:59
>>35 1. LISP kids hear about this new LISP and come to wikipedia to check it out. 2. LISP kids quickly see that their intelligence is clearly insufficient for Qi/Shen. 3. LISP kids leave scorching comments about Mark Tarver in the thread on /prog/ and run away.
being weirdly insecure about your intelligence and using that in an attempt to insult people naming yourself after a mathematician whose work you have zero chance of understanding
Name:
Gromov2015-02-11 19:36
>>39 What is that text to the right of the line? Is it your diary entry? Is that your awkward way to tell us about your problems?
Name:
Anonymous2015-02-11 19:45
>>40 Yes, he's a very shy kid. He tells us about his struggles and frustrations like that sometimes. Also about his favorite memes. Just go easy on him.
Name:
Anonymous2015-02-11 19:46
>>41 Well, I didn't mean to insult, or anything. We all have our daily struggles. I mean, mental ones, too. He'll figure stuff out, sooner or later.
>>44 Not as epic as >>39-kun's meme post, though. Keep trying.
Name:
Anonymous2015-02-12 0:03
epic means bad, right?
Name:
Anonymous2015-02-12 3:51
>>29 A programmer that makes a mistake when writing code can also make a mistake when writing a type declaration. It's a useful safety tool but it wont, and currently does not come close to, catching all mistakes.
Name:
Gromov2015-02-12 9:34
>>47 It does come close. Catches the majority of human mistakes. And an erroneous type declaration will also probably be caught by type inference.
Name:
Anonymous2015-02-12 13:34
>>48 Bullshit, most of the mistakes I ever make are logic based, fancy type systems don't do shit other than catch retarded fuck ups.
Name:
Anonymous2015-02-12 13:46
>>49 Retarded fuck ups comprise the majority of human mistakes. Nobody cares about your individual case.
Name:
Anonymous2015-02-12 19:59
>>49 The purpose of a type system isn't to catch all your mistakes automatically. It's to allow you to define up-front what a certain kind of mistake in your logic is. At the basic level the standard library does a little bit of this for you, but you have to write your own types to extend that to the logic of your own program.
You can make mistakes while defining the types but the types are only a small part of the logic, and easier to get right. Doing this will allow the compiler to check important parts of the rest of your logic.
>>50 You are too attached to this one benefit of type safety to see the point. If you don't write your own types and put thought into them, the logic you write is no more likely to be correct than if you wrote it in JavaScript with a linter.
The purpose of a type system isn't to catch all your mistakes automatically.
These aren't worth much.
You can make mistakes while defining the types but the types are only a small part of the logic, and easier to get right. Doing this will allow the compiler to check important parts of the rest of your logic.
The types you are talking about have no logic to them at all. They're just names and maybe they have a partial order of subtypes.
i wonder how many daredevels out there facesit the following: Jesus, the Torah, the 10 Commandments, Josef Stalin, Adolf Hitler (if you can find any of his remains, good luck), Satan, your favorit hindoo goddess, and Chac Mool (that would be a Maya god).
Name:
Anonymous2015-02-15 8:30
Qi is good for domain-specific solutions, but it doesn't adequately address the issue of multiple inheritance out of the box.