René's URL Explorer Experiment


Title: Add `if (var x = expr)` and `map[k].field op= rhs` by congwang-mk · Pull Request #19 · multikernel/kernelscript · GitHub

Open Graph Title: Add `if (var x = expr)` and `map[k].field op= rhs` by congwang-mk · Pull Request #19 · multikernel/kernelscript

X Title: Add `if (var x = expr)` and `map[k].field op= rhs` by congwang-mk · Pull Request #19 · multikernel/kernelscript

Description: KernelScript is a modern, type-safe, domain-specific programming language for eBPF-centric kernel customization - Add `if (var x = expr)` and `map[k].field op= rhs` by congwang-mk · Pull Request #19 · multikernel/kernelscript

Open Graph Description: Summary Two new statement forms for ergonomic map access, plus the doc and test work pinning them down. if (var x = expr) { ... } else { ... } — declaration-as-condition. Binds x only inside the t...

X Description: Summary Two new statement forms for ergonomic map access, plus the doc and test work pinning them down. if (var x = expr) { ... } else { ... } — declaration-as-condition. Binds x only inside the t...

Opengraph URL: https://github.com/multikernel/kernelscript/pull/19

X: @github

direct link

Domain: github.com

route-pattern/:user_id/:repository/pull/:id/commits(.:format)
route-controllerpull_requests
route-actioncommits
fetch-noncev2:71d79e94-2a6d-cfdf-fe4c-e61115594beb
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-id964E:8D035:192CC4:2370C7:6A61FBC4
html-safe-nonce124dac65d6ea0c1cb2ff369348c5290811cdf42bd580a7fdb08d1fcbb3b90f0a
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI5NjRFOjhEMDM1OjE5MkNDNDoyMzcwQzc6NkE2MUZCQzQiLCJ2aXNpdG9yX2lkIjoiOTA4MzA0Mjg1MTM1MDI0ODM4OCIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmacf2961477aa4f02f6debf9f8a9f86d72bd1f27c509697314d1e83982a263cd538
hovercard-subject-tagpull_request:3633076677
github-keyboard-shortcutsrepository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location///pull_requests/show/commits
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/multikernel/kernelscript/pull/19/commits
twitter:imagehttps://opengraph.githubassets.com/8159d30e462dd12ae45b47fb008368f70b422ab0b4082ba644cb5257153d3e29/multikernel/kernelscript/pull/19
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/8159d30e462dd12ae45b47fb008368f70b422ab0b4082ba644cb5257153d3e29/multikernel/kernelscript/pull/19
og:image:altSummary Two new statement forms for ergonomic map access, plus the doc and test work pinning them down. if (var x = expr) { ... } else { ... } — declaration-as-condition. Binds x only inside the t...
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernamecongwang-mk
hostnamegithub.com
expected-hostnamegithub.com
None9e41a6fd863e96b9c7e9185dc317bf107dbbf8cb10efd6dea957211963f33775
turbo-cache-controlno-cache
go-importgithub.com/multikernel/kernelscript git https://github.com/multikernel/kernelscript.git
octolytics-dimension-user_id202362072
octolytics-dimension-user_loginmultikernel
octolytics-dimension-repository_id1019261571
octolytics-dimension-repository_nwomultikernel/kernelscript
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id1019261571
octolytics-dimension-repository_network_root_nwomultikernel/kernelscript
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release2ed5e9c44acb35dcc1d752e449d2a6f7a6164b7b
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/multikernel/kernelscript/pull/19/commits#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fmultikernel%2Fkernelscript%2Fpull%2F19%2Fcommits
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub Copilot appDirect agents from issue to mergehttps://github.com/features/ai/github-app
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
Code QualityEnforce quality at mergehttps://github.com/features/code-quality
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
View all resourceshttps://github.com/resources
GitHub SponsorsFund open source developershttps://github.com/open-source/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/open-source/accelerator
GitHub Starshttps://stars.github.com
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/enterprise/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fmultikernel%2Fkernelscript%2Fpull%2F19%2Fcommits
Sign up https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E%2Fpull_requests%2Fshow%2Fcommits&source=header-repo&source_repo=multikernel%2Fkernelscript
Reloadhttps://github.com/multikernel/kernelscript/pull/19/commits
Reloadhttps://github.com/multikernel/kernelscript/pull/19/commits
Reloadhttps://github.com/multikernel/kernelscript/pull/19/commits
Please reload this pagehttps://github.com/multikernel/kernelscript/pull/19/commits
multikernel https://github.com/multikernel
kernelscripthttps://github.com/multikernel/kernelscript
Notifications https://github.com/login?return_to=%2Fmultikernel%2Fkernelscript
Fork 23 https://github.com/login?return_to=%2Fmultikernel%2Fkernelscript
Star 501 https://github.com/login?return_to=%2Fmultikernel%2Fkernelscript
Code https://github.com/multikernel/kernelscript
Issues 2 https://github.com/multikernel/kernelscript/issues
Pull requests 0 https://github.com/multikernel/kernelscript/pulls
Actions https://github.com/multikernel/kernelscript/actions
Projects https://github.com/multikernel/kernelscript/projects
Security and quality 0 https://github.com/multikernel/kernelscript/security
Insights https://github.com/multikernel/kernelscript/pulse
Code https://github.com/multikernel/kernelscript
Issues https://github.com/multikernel/kernelscript/issues
Pull requests https://github.com/multikernel/kernelscript/pulls
Actions https://github.com/multikernel/kernelscript/actions
Projects https://github.com/multikernel/kernelscript/projects
Security and quality https://github.com/multikernel/kernelscript/security
Insights https://github.com/multikernel/kernelscript/pulse
congwang-mkhttps://github.com/congwang-mk
mainhttps://github.com/multikernel/kernelscript/tree/main
iflet-and-map-field-compoundhttps://github.com/multikernel/kernelscript/tree/iflet-and-map-field-compound
Conversationhttps://github.com/multikernel/kernelscript/pull/19
Commits9 (9)https://github.com/multikernel/kernelscript/pull/19/commits
Checkshttps://github.com/multikernel/kernelscript/pull/19/checks
Files changedhttps://github.com/multikernel/kernelscript/pull/19/files
Add if (var x = expr) and map[k].field op= rhshttps://github.com/multikernel/kernelscript/pull/19/commits#top
congwang-mkhttps://github.com/congwang-mk
mainhttps://github.com/multikernel/kernelscript/tree/main
iflet-and-map-field-compoundhttps://github.com/multikernel/kernelscript/tree/iflet-and-map-field-compound
feat: add `if (var x = expr)` declaration-as-conditionhttps://github.com/multikernel/kernelscript/pull/19/commits/e4f979c7bff205cbb38a7d77eaea2d4e01478137
https://github.com/congwang-mk
congwang-mkhttps://github.com/multikernel/kernelscript/commits?author=congwang-mk
e4f979chttps://github.com/multikernel/kernelscript/pull/19/commits/e4f979c7bff205cbb38a7d77eaea2d4e01478137
https://github.com/multikernel/kernelscript/tree/e4f979c7bff205cbb38a7d77eaea2d4e01478137
feat: add `map[key].field op= rhs` compound assignmenthttps://github.com/multikernel/kernelscript/pull/19/commits/62b1cc7feb2ef44e0d2ae0582e1453d4ec55ca79
https://github.com/congwang-mk
congwang-mkhttps://github.com/multikernel/kernelscript/commits?author=congwang-mk
62b1cc7https://github.com/multikernel/kernelscript/pull/19/commits/62b1cc7feb2ef44e0d2ae0582e1453d4ec55ca79
https://github.com/multikernel/kernelscript/tree/62b1cc7feb2ef44e0d2ae0582e1453d4ec55ca79
docs(examples): adopt elegant `if (var x = m[k])` idiom in map demoshttps://github.com/multikernel/kernelscript/pull/19/commits/ca701a754615a9ad50d25e5ab9cb8dfb6fde0a19
https://github.com/congwang-mk
congwang-mkhttps://github.com/multikernel/kernelscript/commits?author=congwang-mk
ca701a7https://github.com/multikernel/kernelscript/pull/19/commits/ca701a754615a9ad50d25e5ab9cb8dfb6fde0a19
https://github.com/multikernel/kernelscript/tree/ca701a754615a9ad50d25e5ab9cb8dfb6fde0a19
docs: document `if (var x = expr)` and `m[k].field op= rhs` in README and SPEChttps://github.com/multikernel/kernelscript/pull/19/commits/7044637bc4598134fbef9f4455c9332e07d494b9
https://github.com/congwang-mk
congwang-mkhttps://github.com/multikernel/kernelscript/commits?author=congwang-mk
7044637https://github.com/multikernel/kernelscript/pull/19/commits/7044637bc4598134fbef9f4455c9332e07d494b9
https://github.com/multikernel/kernelscript/tree/7044637bc4598134fbef9f4455c9332e07d494b9
test: lock in Phase 1 IfLet and Phase 2 codegen behaviourhttps://github.com/multikernel/kernelscript/pull/19/commits/814e33652e997d53fe8ce85e63d4ba4777d3cbc9
https://github.com/congwang-mk
congwang-mkhttps://github.com/multikernel/kernelscript/commits?author=congwang-mk
814e336https://github.com/multikernel/kernelscript/pull/19/commits/814e33652e997d53fe8ce85e63d4ba4777d3cbc9
https://github.com/multikernel/kernelscript/tree/814e33652e997d53fe8ce85e63d4ba4777d3cbc9
feat: drop `none` literal in favour of `null`https://github.com/multikernel/kernelscript/pull/19/commits/e0ddcd98565edb417944785c099b2eb4a36ec7b1
https://github.com/congwang-mk
congwang-mkhttps://github.com/multikernel/kernelscript/commits?author=congwang-mk
e0ddcd9https://github.com/multikernel/kernelscript/pull/19/commits/e0ddcd98565edb417944785c099b2eb4a36ec7b1
https://github.com/multikernel/kernelscript/tree/e0ddcd98565edb417944785c099b2eb4a36ec7b1
docs(examples,README,SPEC): adopt `if (var x = expr)` for remaining presence checkshttps://github.com/multikernel/kernelscript/pull/19/commits/d5f25c18f02f795faa7bf2573b85cff6999be8c2
https://github.com/congwang-mk
congwang-mkhttps://github.com/multikernel/kernelscript/commits?author=congwang-mk
d5f25c1https://github.com/multikernel/kernelscript/pull/19/commits/d5f25c18f02f795faa7bf2573b85cff6999be8c2
https://github.com/multikernel/kernelscript/tree/d5f25c18f02f795faa7bf2573b85cff6999be8c2
fix(ir-gen): scope IfLet binding to its then-branch via alias tablehttps://github.com/multikernel/kernelscript/pull/19/commits/ccd232455f409b17649d8d355cfb7aa9276fb862
https://github.com/congwang-mk
congwang-mkhttps://github.com/multikernel/kernelscript/commits?author=congwang-mk
ccd2324https://github.com/multikernel/kernelscript/pull/19/commits/ccd232455f409b17649d8d355cfb7aa9276fb862
https://github.com/multikernel/kernelscript/tree/ccd232455f409b17649d8d355cfb7aa9276fb862
fix(type-checker): restrict `if (var x = expr)` RHS to presence-producing exprshttps://github.com/multikernel/kernelscript/pull/19/commits/198fe92d7e5b0c12a70ce05ef9418f3bdca7ebd7
https://github.com/congwang-mk
congwang-mkhttps://github.com/multikernel/kernelscript/commits?author=congwang-mk
198fe92https://github.com/multikernel/kernelscript/pull/19/commits/198fe92d7e5b0c12a70ce05ef9418f3bdca7ebd7
https://github.com/multikernel/kernelscript/tree/198fe92d7e5b0c12a70ce05ef9418f3bdca7ebd7
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width


URLs of crawlers that visited me.