Hackers' Pub

Hackers’ Pub

Syntax	Description	Examples
`"` keyword `"`	Finds the string within quotes, including spaces. Case-insensitive. (Escape quotes inside with `\"`)	`"Hackers' Pub"`
`from:` handle	Finds content written by the specified user.	`from:hongminhee` `from:hongminhee@hollo.social`
`lang:` ISO 639-1	Finds content written in the specified language.	`lang:en`
`#` tag	Finds content with the specified tag. Case-insensitive.	`#HackersPub`
condition condition	Finds content that satisfies both conditions on either side of the space (logical AND).	`"Hackers' Pub" lang:en`
condition `OR` condition	Finds content that satisfies at least one of the conditions on either side of the OR operator (logical OR).	`#HackersPub OR "Hackers' Pub" lang:en`
`(` condition `)`	Combines the operators within the parentheses first.	`(#HackersPub OR "Hackers' Pub" OR "Hackers Pub") lang:en`

박준규 @curry@hackers.pub

4/16/2025, 2:10:50 AM

Public

@bglbgl gwyng 이게 생각해보니 ‘문법이 복잡하다’, ‘문법 요소가 적다’라는 표현이 구체적이지 않은 것 같습니다. 갑자기 언어 확장이 떠오르면서 ‘문법 안 복잡한 거 맞나?’ 싶네요. 그래서 표현을 좀 바꾸면 저는 사전에 정의된 키워드가 적을 수록 좋다고 생각합니다.

Ailrun (UTC-5/-4) @ailrun@hackers.pub

4/16/2025, 2:19:26 AM

Quiet public

@curry박준규 @bglbgl gwyng 사실 문법의 복잡도로 따지면 Haskell 등보다 의존 형 언어(Agda나 Idris 등)가 더 단순한 경우가 많죠. 같은 표현식을 형과 항에 공유해서 쓰기 때문에 $\ldots$

If you have a fediverse account, you can quote this note from your own instance. Search https://hackers.pub/ap/notes/01963c64-e160-76f8-a74e-a9a2d4834625 on your instance and quote it. (Note that quoting is not supported in Mastodon.)