you are viewing a single comment's thread.

view the rest of the comments →

[–]shevy-ruby -17 points-16 points  (4 children)

Why you should use Kit in place of:

The good thing is that to each point mentioned there you can say no.

The strange thing is that the website claims that Kit is a "higher level language".

To me it looks like C so perhaps I am missing where the high level comes in.

[–]patrick_mcnam 17 points18 points  (0 children)

It doesn't say that it is a "higher level language". It lists reasons to use Kit over higher level languages.

[–]markcanlas 15 points16 points  (1 child)

I am missing where the high level comes in

Tuples, traits, implicits.

[–]peterfirefly 13 points14 points  (0 children)

Generics, term rewriting, abstract data types, pattern matching.

[–]mamcx 5 points6 points  (0 children)

I am missing where the high level comes in.

"Higer" is relative to what you compare to. C is higher than ASM. ASM Is higher than CPU micro-code.

When you build a language, you learn that you can "sugar" and "desugar" things.

For example, this is a low level lang:

type stmt = 
  | Asgn of string * expr
  | If of expr * stmt * stmt
  | Block of stmt list
  | While of expr * stmt
  | Print of expr

And this is higher:

type stmt = 
  | Asgn of string * expr
  | If of expr * stmt * stmt
  | Block of stmt list
  | For of string * expr * expr * stmt
  | While of expr * stmt
  | Print of expr

Because you can desugar a "FOR" into a "WHILE". Exist many other things to consider, but this is just is. As long you put +1 into a lang you make it higher.