mafribe

115 ms·

1. 871.▲
   by mafribe 11y ago

   I'm not sure what a token tree is. Usually compilers feed a token list to the parser, which then generates an AST. The AST is what compile-time meta-programming such as macro expansion works on. In fully-blown compile-time meta-program
2. 872.▲
   by mafribe 11y ago

   Who's working on this? I may have something to contribute in this direction.
3. 873.▲
   by mafribe 11y ago

   So Rust macros don't offer full compile-time meta-programming?
4. 874.▲
   by mafribe 11y ago

   Looks like a research proposal based on this paper: http://arxiv.org/pdf/1305.5278v4.pdf
5. 875.▲
   by mafribe 11y ago

   Macro expansion can lead to programs that don't typecheck, unless a very restrictive typing system is used (e.g. MetaML, MetaOcaml). I don't think Rust has such restrictions, therefore I assume that type-checking happens after ma
6. 876.▲
   by mafribe 11y ago

   Taiwan is estimated to have had a fertility rate of 1.1 in 2014, and that's up from 0.89 in 2010.
7. 877.▲
   by mafribe 11y ago

   The Japanese can themselves decide which option to take, rather than being forced into one from the outside. The current elected government seems to have taken the route of inflating away the debt.
8. 878.▲
   by mafribe 11y ago

   I don't think home ownership is an issue. Lifelong renting is the norm, costs of renting homes are low, quality of rental property is high and relevant legislation is tenant-friendly.
9. 879.▲
   by mafribe 11y ago

   There are very few of the latter, so it's at best a drop in the statistical ocean.
10. 880.▲
    by mafribe 11y ago

    Japanese debt is mostly to its own population, while that of Greece is foreign owned. That's a huge difference.
11. 881.▲
    by mafribe 11y ago

    This is a great idea. I wish other compilers would offer this feature (scalac is in dire need of such an option). Does the Rust macro system require compile-time compilation before type-checking?
12. 882.▲
    by mafribe 11y ago

    Don't you need to quotient after you've got Cauchy sequences? For example, (0,0,0,0,....) is a representative of the same real number (as Cauchy sequence) same as (1,0,0,0,0,0,....), but both are different as streams.
13. 883.▲
    by mafribe 11y ago

    BTW, in what sense is that coinductive? For what functor is it a final coalgebra?
14. 884.▲
    by mafribe 11y ago

    I'm not familiar with constructive Cauchy sequences. The usual way of using Cauchy sequences is to quotient them by the ideal of Cauchy sequences that converge to 0.
15. 885.▲
    by mafribe 11y ago

    In my opinion all that hand-wringing about people no longer reading long text misses a crucial point: long writing was necessary only where quick contextualisation was impossible, i.e. before the invention of the web, search engines etc. Bo
16. 886.▲
    by mafribe 11y ago

    I wonder if the coinductive approach calculus by Pavlovic et al [1, 2] has been considered as a basis for formalisation. I secretly hope that I will one day get to teach calculus to computer scientists. In that case I would introduce reals
17. 887.▲
    by mafribe 11y ago

    Since real analysis is arguably the core of mathematics and of applications of mathematics, it has been formalised in many ways. See [1] for an overview of the state of the art. [1] S. Boldo, C. Lelay, G. Melquiond, Formalization of Real An
18. 888.▲
    by mafribe 11y ago

    As a working PL researcher, I agree with plsceptic: we, the field of PL research, have a measurement problem. We don't have empirically validated and methodologically sound studies that quantify the "dividends" of one PL or P
19. 889.▲
    by mafribe 11y ago

    As an aside, Hindley–Milner is DEXPTIME-complete, and indeed you can write 5 line programs that exhibit the worst-case behaviour. That's as bad a worst-case behaviour as undecidability for all practical purposes. That said, in practi
20. 890.▲
    by mafribe 11y ago

    I don't think type hints do Hindley/Milner/Damas justice. I agree. Retro-fitting Hindley-Milner would be difficult. Rpython has type-inference for a subset of Python. But it's a special purpose language.
21. 891.▲
    by mafribe 11y ago

    Python 3 gets type hints, Javascript gets types (via Facebook's Flow), now C++ gets pattern matching. Seems like every successful programming language will eventually try and become ML (with meta-programming). Robin Milner, you had it
22. 892.▲
    by mafribe 11y ago

    men can take equal paternity leave as women. And it is used sometimes, actually. But that is missing the point. Paternity leave should be split in half, so commercial risk of pregnacy falls on both sexes in the same way.
23. 893.▲
    by mafribe 11y ago

    women-in-business non-profit Now that's an unbiased source. In any case, if "Fortune 500 companies with most women board members consistently outperformed those with fewest" then you have a sure-fire way of making m
24. 894.▲
    by mafribe 11y ago

    Did you actually read the arcticle? [I]t is hard to argue that German pressure prevented the ECB from lowering rates faster during the last two years, for example, or managing the inflation expectations of consumers and investors more
25. 895.▲
    by mafribe 11y ago

    That's a dreadful article. "Germany is still exporting like gangbusters [to Greece] despite the poor country being in its fifth year of recession. In fact, Germany’s trade surplus per person with Greece is 3.6 times bigger
26. 896.▲
    by mafribe 11y ago

    How does resentment-fuelled classwar!-style rhetoric contribute to this discussion?
27. 897.▲
    by mafribe 11y ago

    Your incessant racism is tiring. In any case, if Greeks are so hard working, then you are actually agreeing with my point about Greece not investing the huge subsidies that they have recieved wisely into "improved prductivity". A
28. 898.▲
    by mafribe 11y ago

    Given that the latter, unlike the former, is a very small number, you've not succeeded in explaining how Germany is benefitting.
29. 899.▲
    by mafribe 11y ago

    But the artificially cheap currency comes about because savers' savings are being inflated away. Moreover it's unlikely that the money lent to Greece will ever come back. I don't see any evidence that in balance Germany benef
30. 900.▲
    by mafribe 11y ago

    I recommend that inform yourself about the decision making process on the ECB board, and who's the majority there. Germany almost always votes against the ECBs decisions but is outvoted by other countries. several German ECB members ha