Alejandro Serrano

icon indicating a website link https://www.serranofp.com/

icon company @JetBrains icon location Utrecht, Netherlands icon location Engineer, functional programming passionate, author of 'FP for the Curious Kotliner', 'Haskell (Almost) Std. Libs.', 'Book of Monads', and 'Practical Haskell'

Results 224 comments of Alejandro Serrano

Test exhaustiveness of symbolic evaluator

I had a discussion with @lucaspena, and the problem seems more complex that it appears at first, since there are a lot of traps which would make `f e1 e2`...

Exit when counter-example is found

With #115 this should be the case: the `Data.Foldable.find` should stop once the first one is found.

Understand and explore whether we really need that many monads in `SymEval`

The `State` part threads two pieces of information: - the current known facts, - the statistics about found constructors, and so on. Those two things always "grow", and in a...

Understand and explore whether we really need that many monads in `SymEval`

I've been talking with @lucaspena about how to change the weighted list into a `Tree`.

Understand and explore whether we really need that many monads in `SymEval`

In fact, I think that we can more or less easily use the following monad: ```haskell data Tree lang a = Leaf a | Node (Maybe (TermMeta lang SymVar)) [Tree...

Understand and explore whether we really need that many monads in `SymEval`

Current progress: - [X] @0xd34df00d turned the two layers of `ReaderT` into a single on (#116) - [X] @serras has introduced a new `TreeT` monad (#115)

Could FIR-Tree apply to Java source file?

Unfortunately this is not possible, as this plug-in uses the Kotlin analysis tools underneath :(

get/set lenses (for Immutable.js, among others)

This would also work for [`Map`](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Map)

get/set lenses (for Immutable.js, among others)

We should also check that `values` works for all these. Otherwise, it should be as easy as changing the getter in `values` to `[...obj.values()]`, so it works everywhere an iterator...

AutoClose and Resource rehaul/cleanup

Thanks for your work on making the DSL better, @kyay10. I really like everything which removes constraints from our DSLs, so if we can have `suspend` and non-`suspend` functions when...