floydlang/floyd

The Floyd programming language

floyd's Issues

Call C code

Built-in micro benchmark feature

Function playground, with exampels, tests, diagrams

TASK MANAGER - PARALLELISM

This is an internal feature in the runtime.

It runs Floyd processes and the parallel operations like map() and super() map using an OS thread team and green threads. M:N threads.

Visual profiler / debugger

Basic Unicode functions, opaque text-type

Scalar conversions

int to_int_truncate(double value)
int to_int_round(double value)
int to_int_floor(double value)
int ceil_to_int_ceil(double value)

double to_double(int)

Library support

Import external Floyd code
Special API feature?

Each container / component lists all its source files = no need for project file / make files.

send_future() --sends message to Floyd process in the future

Test / examples feature

Print in main prints twice

Not sure if this is a bug or not but, as a user, I think it is unexpected behaviour. Running the program

func int main ([string] args) impure {
  print(5)
  return 0
}

main([])

gives the result

❯ ../FloydLang/floyd/floyd run ./test.floyd
5
5

Local-only mutable vector

This vector can then be appended to a normal vector, or converted to a normal vector quickly.

Encapsulation of structs

Binary packing of data

Built-in protocol buffers?

Used to pack binary data, for sending via wires, writing binary files etc.

Floyd struct cannot/should not be used for this the way C does. We want (1) better and explicit packing, (2) full freedom to encode structs in memory.

Generate C source code as compilation target

Round-trip code -> AST -> executable function in runtime = optimisation / generics

Make Floyd embeddable in C programs

select() blocks floyd process

Pretty printer

Simple lambda, use for map() etc.

Simple string interpolation

Profiler / tuner

Hot code loading, like Erlang

Bit manipulation features

Core REST library, URL-utils

Preso feature

Function that converts a value into a JSON explaining / drawing it.

Language feature to update nested types

Update() nested vectors / arrays / dicts / strings

Multi-line string literals

Invalid range syntax causes correct error message but points to line in corelib

I accidentally used the wrong range construct in a for loop

for (i in 1..5) {
  print(i)
}

and got the following error message

For loop has illegal range syntax. Line: 2 "let double cmath_pi = 3.14159265358979323846" file: corelib

Smarter RC

IDEAS

• Optimise away dup inc/decs inside functions
• Use special handling for <3 RCs which are the most common ones.
• Copy smaller values instead of using RC.
• Use hierarchical RC - per OS-thread non-atomics RC and per OS-process atomic.

Protocol type

&& and || shall short-circuit

Tuples

Unnamed members (access using .0, .1)

Language server that keeps all code and keeps its invariant. Talk via sockets

Full set of int and float types

Windows support: project file, core library

Sum-type (enum/union) with switch

Add context object to map() reduce() filter() and supermap()

get_time_of_day() always returns zero

print(get_time_of_day())

always prints out zero on my machine (2017 Macbook Pro 13" with High Sierra installed).

Generics

Fixed-size vectors (for SIMD)

Simple error or exception support

Unnamed structs with structural equality

func struct { int error; string message } my_func(int f)

Control over backend collection types, struct types, caches

• Intermediate pass of compiler has more precis collection types, caching and struct layout variations.
• Programmer can control the mapping from the default types to specific type.s

EXAMPLES

• AOC - SOA
• Split DSs into hot / cold
• Alternative backends for dictionary
• Alternative backends for vector (string is also a vector)
• Alternative backends for struct:s
• Collection write cache
• Collection read cache
• Batching function call
• Caching function call
• Small size optimisation (put small collections / values directly into owner instead of sep allocation). Reduces RC usage.
• Compress vector using variable size elements.
• Non POT elements and members. 33 bit struct etc.

Generate C4 diagrams from software-system and container-def

Auto docs feature

Interactive visual hardware simulator

LLVM code generation: native execution

• Now: convert Floyd bytecode to IR-text files, then run LLVM compiler

Future

• embed LLVM into the runtime.

Arrays in JSON literals are limited to 16 values

While
let json_value mnist = {"one": [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16]}
works fine,
let json_value mnist = {"one": [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17]}
causes the error message
Max 16 arguments to function.

Make update() faster, improve syntax too?