Viewing a single comment thread. View all comments

Conscious_Heron_9133 t1_iyqf7a9 wrote

Why going towards JAX ONLY. As a quick survey: am I the only one who wants a high level differentiable framework in a strongly typed language?

8

p-morais t1_iyr0wzl wrote

All I want for Christmas is a strongly typed, low level, non-garbage-collected, safe programming language with pythonic syntax and first class tensor types and native compile-time autodiff. Is that too much to ask for?

10

Conscious_Heron_9133 t1_iz5j6a8 wrote

Lol, kind of the opposite -- I am not a fan of python syntax.

The rest? All except for low-level and non0garbage collected.

I mean... in case Santa were listening...

1

gdahl t1_iyy504n wrote

Have you tried Dex? https://github.com/google-research/dex-lang It is in a relatively early stage, but it is exploring some interesting parts of the design space.

2

Conscious_Heron_9133 t1_iz5ik8t wrote

I did, yes, but I found the syntax counterintuitive. It is very python-like, but its syntax was conceived to not include types declarations in the first place, and only later adapted to do so.

When I say high level differentiable framework in a strongly typed language I imagine to take something that works already as stronlgy typed, and then adapt it to automatic differentiation and jit compilation -- but not the opposite.

I refer to an hypothetical language that is, for example, what C# is to the C++. Similar syntax, higher level.

Does that make sense?

1

sash-a t1_j0b3pcg wrote

Flux in Julia is your answer. Although Julia isn't technically strongly typed (it's optionally typed for multiple dispatch) it's about as good as it gets imo

1