This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import asyncio | |
from concurrent.futures import Future, ThreadPoolExecutor | |
import time | |
def sync_main() -> None: | |
futures = list[Future[int]]() | |
with ThreadPoolExecutor() as xtor: | |
for outer_n in [4, 3, 2, 1]: |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE DeriveTraversable #-} | |
{-# LANGUAGE RankNTypes #-} | |
{-# LANGUAGE RecordWildCards #-} | |
{-# LANGUAGE TypeFamilies #-} | |
module Data.Trie ( | |
Trie, | |
singleton, | |
insert, | |
delete, |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<!-- Each entry is a child, which has a key child and a val child --> | |
<map> | |
<entry> | |
<key>foo</key> | |
<val>bar</val> | |
</entry> | |
<entry> | |
<key>baz</key> | |
<val>qux</val> | |
</entry> |