flix / flix

The Flix Programming Language
https://flix.dev/
Other
2.08k stars 150 forks source link

A few statistics #4128

Closed magnus-madsen closed 1 year ago

magnus-madsen commented 1 year ago

I would like to collect some statistics that I need for a paper submission on Friday.

(Note I only care about public pub functions).

Feel free to use https://api.flix.dev/ or search the source code.

In any case, if there is doubt pick the lower / safer number.

magnus-madsen commented 1 year ago

@ninaandrup Will you be able to count these things for me in the next few days? :)

ninaandrup commented 1 year ago
Namespaces Functions with records Functions both immutable/mutable
Array 2 7
Choice 1 0
Console 1 0
DelayList 1 0
File 10 0
Int8 7 0
Int16 9 0
Int32 1 0
Int64 1 0
Iterator 1 0
List 1 0
MutList 1 3
MutSet 1 0
Nec 1 0
Nel 1 0
Option 1 0
Result 2 0
Set 1 0
String 22 0
Validation 1 0

I have omitted the namespaces with 0 of both

ninaandrup commented 1 year ago

And there is 64 public functions that have ! in their name.

magnus-madsen commented 1 year ago

Thanks. I used this information!