Jonathan Lindegaard Starup

Results 363 comments of Jonathan Lindegaard Starup

``` def main(): Int32 = region r { let fp = new FlixPuzzler(r); MutList.length(fp) } ``` Answer It prints 0

``` def main(): Unit = bug!("Error") ``` Answer Prints nothing and returns with exit code 0

* Ticker can be stopped by the stop function, it only breaks if the ticker channel is full, which can be solved if you can put in select. I think...

It could use an Assignable typeclass. Making it open to general regioned data structures

Somehow this is how it looks in the bytecode output (in flix syntax) ```scala def main(x: Unit): Unit \ IO = let a = (); match (reifyType a) { case...

I don't know if it makes sense, but given that we've only found it on the entry function, it might also be the entrypoint wrapper that's wrong somehow.

> Maybe not in foldable, but somewhere else? I agree, I think that the function should still be in `StringBuilder` but just generalize `Array` to `Foldable`

Okay, I think you could 1) add `def tail(f: f[m]): Option[m] with Foldable[f]` to the type class 2) add tail to every namespace that has head 1 is probably controversial...

I think my broader thought is that it feels odd to be functional-first but sometimes envy the syntax of arrays when working with lists. Is there any reason things like...

Continued in #4760