Radosław Rowicki
Radosław Rowicki
At this moment, list comprehensions and the `..` operator compile to calls to an implicitly imported `ListInternal` namespace. Most importantly, LC performs numerous calls to `flat_map` which is not very...
Write-only variable is a variable that is set during contract initialization. Rules: - It has to be set in `init` function - It cannot be read by `init` or any...
The compiled contracts could cache the templates of the child contracts they `create`, so after that they could just `clone` them saving gas and chain storage.
Named arguments usually make function declarations much more clear and can vanish a lot of unnecessary comments. Proposed syntax: ``` entrypoint fit(*X : matrix, *y : vector, *seed=0 : int)...
In Haskell and Scala one can partially apply an operator. It is very useful with higher order functions: ``` function inc_all(l : list(int)) : list(int) = map((_+1), l) function negate_all(l...
Sometimes curried functions are more useful than >1 arity ones, because they play very naturally with partial application. Example of syntax/usage: ```ocaml function map(f : ('a) => 'b)(l : list('a))...
Currently all types can be combined with `==` and `= x) == ((x, y) => y)` shouldn't typecheck, as it may lead to hard to find bugs. Another example: `FixedTTL(x)...
### Is your feature request related to a problem? I am trying to implement some trickery for automated instantiation of quantified hypotheses. My aim is to, given a hypothesis in...
I cannot get `*` combined with `_` for instance. Whether it's `_*test*_` or `*_test_*` I get it like that:  Is this expected?
In latex if you write `\(test_ing\)`, only the `i` would be subscripted. If you want the whole thing, you need to wrap it in brackets. However, with `org-appear`, setting `org-appear-inside-latex`...