1

Topic: Criticize language

https://github.com/ptol/oczor the Main idea - to make minimum simple statically-typed language and to compile it in dynamically typed languages (JavaScript, Lua, Ruby, Elisp) In language three main features - anonymous functions, records and Ad hoc polymorphism 1. Anonymous functions quite normal x y => x + y 2. On the basis of records the majority of constructions x = is under construction (foo = 1, bar = 2) Tuples, concrete functions and units it too as a matter of fact record By means of records can define for example type (Maybe/Optional) type Maybe a = none | just: a 3. Ad hoc polymorphism - partially borrowed from Haskelja ffi eqInt: Int, Int => Bool ffi eqString: String, String => Bool class equal a: a => Bool instance Int equal x y = eqInt x y instance String equal x y = eqString x y infix == 4 equal x = 1 == 1 y = "foo" == "foo"

2

Re: Criticize language

Hello, dotneter, you wrote: D> the Main idea - to make minimum simple statically-typed language and to compile it in dynamically typed languages (JavaScript, Lua, Ruby, Elisp) And what target audience? If mass does not fly up for 3rd point is an unreadable hell for this purpose who not in a subject.

3

Re: Criticize language

Hello, Lexey, you wrote: L> And what target audience? To whom static typification in these languages is necessary to those. L> if mass does not fly up for 3rd point is an unreadable hell for this purpose who not in a subject. Yes, language not for masses.

4

Re: Criticize language

Hello, dotneter, you wrote: D> https://github.com/ptol/oczor D> the Main idea - to make minimum simple statically-typed language and to compile it in dynamically typed languages (JavaScript, Lua, Ruby, Elisp) For JavaScript already is TypeScript and it is better to you to put forces in this project if want to help with this sphere. At Ruby is already RDL. For Lua variant TypedLua Well and at last Haxe which is able much.