or
or
By clicking below, you agree to our terms of service.
New to HackMD? Sign up
Syntax | Example | Reference | |
---|---|---|---|
# Header | Header | 基本排版 | |
- Unordered List |
|
||
1. Ordered List |
|
||
- [ ] Todo List |
|
||
> Blockquote | Blockquote |
||
**Bold font** | Bold font | ||
*Italics font* | Italics font | ||
~~Strikethrough~~ | |||
19^th^ | 19th | ||
H~2~O | H2O | ||
++Inserted text++ | Inserted text | ||
==Marked text== | Marked text | ||
[link text](https:// "title") | Link | ||
 | Image | ||
`Code` | Code |
在筆記中貼入程式碼 | |
```javascript var i = 0; ``` |
|
||
:smile: | ![]() |
Emoji list | |
{%youtube youtube_id %} | Externals | ||
$L^aT_eX$ | LaTeX | ||
:::info This is a alert area. ::: |
This is a alert area. |
On a scale of 0-10, how likely is it that you would recommend HackMD to your friends, family or business associates?
Please give us some advice and help us improve HackMD.
Syncing
xxxxxxxxxx
Discussion
Attendance
Meeting roles
async Drop progress
Daria: Our PRs have come to the stage that we need to combine them. We have different people working on different aspects of async drop. My own PRs have been merged here.
TC: Related links:
Daria: One of the difficulties is in knowing when to use asynchronous drop or synchronous drop.
Daria: One of the questions we came up against is, e.g. how do you implement async drop on a vector?
TC: Are you planning to move forward on the
postmono_forgettable
and turn that into a PR?Daria: It's currently broken. It's not really a proper solution and would restrict the language too much.
Daria: One question is how macros with unsafe code would escape the error about unforgettable types, e.g.:
Eric: So this is an example of how things that were sound would become unsound because there are additional guarantees that you would have to uphold.
Daria: Yes, we may need some edition system here. (Except would probably work with attributes instead of a rustc option)
TC: This would be edition hygiene for macros.
Daria: Yes, exactly, and this would require some type system support.
eholk: I wonder if we might already have something like this.
Does this work?
Daria: I have some thoughts about how effect generics could be applicable here. Technically a bit similar to Yoshua's proposal:
https://github.com/rust-lang/keyword-generics-initiative/pull/56
TC: The test:
TC/eholk: The first example works (
let _f
), the second does not (let _g
).eholk: We track from what edition the tokens came. That's probably what explains the second example.
TC/eholk: We should think more carefully about the implications of this when migrating macro fragment specifiers.
Default auto traits
TC: Bryanskly wrote up an explainer about default auto traits here:
https://github.com/Bryanskiy/posts/blob/master/default auto traits.md
Perhaps we should read and discuss that. It's short enough.
petrochenkov: I planned to also edit it a bit, but it's probably fine as is, Daria can explain if something is unclear.
The meaning of
Leak
and'static
https://github.com/zetanumbers/posts/blob/main/myosotis.md
TC: When I read the document before, and thought about it for awhile, it made me think of this as an analogy:
Daria: Yes. Unfortunately this doesn't work with async. :(
Double drops
Daria: We should think about double drops; things being dropped both synchronously and asynchronously.
TC/eholk: We can have the async drop impl set a flag, then have the sync drop that always runs check that, and then the impl there could decide what to do. It could panic, it could block, etc.
Daria: I consider this to be a suboptimal solution.
(The meeting ended here.)