Facundo Domínguez

Hello @milse113. https://github.com/tweag/tweag/sparkle goes through some trouble to give the JVM the ability to invoke libraries built with Haskell. Though it is still based on bazel. The main difficulty in...

> Hmm... might it just be better to use the raw JNI bindings then? Hard to say without analyzing the needs of the particular project. If your project requires Gradle,...

This should be implemented in bazel as part of the Java rule set. Any binary (written in any language) interacting with the jvm will have the same problem. #### Some...

The reflect side of the problem seems to admit only one obvious restatement of the `BatchReflect` class. ```Haskell class BatchReflect a where ... reflectBatch :: Vector (Nullable a) -> IO...

The second approach turned out to be lighter than the first one. If we demand all batches to deal with null values, when reifying a batch of a composite type,...

> Are nulls simply banned from being stored in the container? Datasets read from parquet files can contain nulls. And I'm pretty sure that if a dataset is read from...

> Do they also resort to a side array indicating nullity? I've spent some time today reading the Spark source. I didn't reach yet the place where this is needed...

> i don't know that I'm keen to have a Nullable wrapper, either in solution 1 or solution 2. The leanest I can think of, is using ``` {-# LANGUAGE...

> But, more importantly, there are other ways to create unique thingy. For instance, if I have any guaranteed unique piece of data, I can create a new linear mutable...

Does defining `newArray :: Linear.Monad m => Int -> m Array` help? If the monad is only used for uniqueness, `newArray` could use `unsafePerformIO` and not impose any particular monad...