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
WG-async meeting agenda
Attendance
Meeting roles
Scheduled meetings
None.
Update these here.
Proposed meetings
None.
Update these here.
Availability
poll_progress
(or similar)Topics for next month:
Proposed topics
poll_progress
poll_progress
tmandry: If we had unforgettable types, maybe we could have futures spawn futures within them soundly. That would allow us to address, e.g., the embedded use case.
TC: Another way around is to push forward on general coroutines. Then this could be expressed in a library.
TC: Separately, if we did
poll_progress
, it seems desirable if it could be expressed in the surface syntax. (This also helps to draw out the connection to general coroutines.) E.g. (not a real syntax proposal):(Here, the
$make_progress_only
is analogous to the implicitContext
that we thread throughasync
for the.await
desugaring.)TC: This of course raises the question of what to do if we try to
yield
when only progress was requested.Unforgettable types
Daria: We may need coinduction for this, and we may need the new trait solver for this.
(Discussion of how we need to ensure T-types involvement and buy-in here.)
eholk: There's an open PL research question of whether linear types can be made ergonomic.
tmandry: If we had an owner for unforgettable types who was committed to work on it, we could add a project goal for this. Daria, are you and team continuing to work on this?
Daria: We are, but it's going to be much more in the background.
Daria: My manager has a meeting soon with the Huawei directors. We'll see what comes of that. I'll keep you informed. We made so much progress up to this point, I'd really like to see this happen.