issues
search
objectionary
/
eo-phi-normalizer
Command Line Normalizer and Rewriter of 𝜑-calculus Expressions (part of EOLANG family)
https://www.objectionary.com/eo-phi-normalizer/
MIT License
7
stars
2
forks
source link
[meeting] [joint] 21.06.2024
#422
Closed
deemp
closed
2 months ago
deemp
commented
3 months ago
Action points
@maxonfjvipon will provide custom rules written in mathematical notation and ping @deemp or @fizruk
@yegor256 and @fizruk will think how to optimize the program that the pipeline should optimize
@yegor256 will notify the normalizer team about the target platform where the pipeline will run
The normalizer team will help build static binaries for the normalizer when the platform is known
Notes
Yegor:
We use mathematical notation for custom rules
Max:
I'll create tickets for custom rules soon
Yegor:
We received the program to optimize
We want to find optimizations for streams
Convert stream to imperative code
Can't improve performance for the latest Java
Need help of the normalizer team
Nickolay:
Can you show an example?
Yegor:
We'll show an example tomorrow
Volodya:
Is normalizer written in Haskell?
Can you compile normalizer for JVM?
Nickolay:
We can build a static binary
Yegor:
Maven plugin should select a binary
I want the full normalizer in half a year
Nickolay
If you want to integrate with JVM, use Scala
We Can port to Scala a minimal part
Yegor should specify:
scope - what should we rewrite in Scala
time - when does he need the code
Yegor
For now, it's cheaper to use Haskell
We'll build normalizer using our build system
Nickolay
If you want a static binary, you'll need our help
Notify us when you start
Action points
Notes
Yegor:
Max:
Yegor:
Nickolay:
Yegor:
Volodya:
Nickolay:
Yegor:
Nickolay
Yegor
Nickolay