RFC: `for...in` construct

Ecosystem
1

Hello,

Here’s an RFC I drafted for adding a for...in construct to the language. Feedback is welcome here :slight_smile:

Some reservations were already voiced here, and acknowledged in the RFC.

2

I was hoping it adds comprehensions/LINQ to OCaml but it’s a syntax sugar for iter. :slight_smile:

1 Like
3

This could be done nicely with a ppx no?

4

for…in could also be done “nicely” with ppx then

2 Likes
5

To a lesser extent (I think) but yes. I mean I’d be happy with comprehension in OCaml too, but questions about “which data structure” does one build, and how do you specify that are unclear to me.

I’m not going to draft more than one RFC at a time, but feel free to do so if you have a clear idea of implementation

6

List and array comprehensions are already present in OxCaml, if you’re interested (I haven’t used them myself, but they’re documented here).

5 Likes
7

Nice! Didn’t know about that feature of OxCaml, thank you :slight_smile:
I wonder if the mechanism can be transparently extended to other data structure (e.g. any data structure that can be filter_mapped)