음모론. Compacting Conversation은 서버 부하를 줄이기 위한 용도인가?
lionhairdino
@lionhairdino@hackers.pub · 77 following · 86 followers
여행 기분내며, 여기 저기 낙서하는 https://yearit.com 을 운영 중입니다.
지금까지 다루어 봤던 언어는 아래와 같습니다. MSX Basic Z80 Assembly Pascal GW-Basic C Macromedia Director Visual Basic PHP Flash Actionscript C++ Javascript
그리고 지금은, 하스켈을 비즈니스에 쓰려고 몇 년간 노력하고 있습니다. 지금 상태는, 하스켈 자체를 연구하는 게 아니라, 하스켈 (혹은 함수형 언어) 이해가 어려운 이유를 연구하는 아마추어 연구가쯤 되어버렸습니다. 하스켈 주제로 블로그를 운영 중이지만, 아직은 하스켈 프로그래머라고 자신 있게 말하진 못하고 있습니다. 가끔 이해에 도움이 될만한 측면이 보이면, 가볍게 아이디어를 여러 SNS에 올려보곤 하는데, 그다지 프로그래머에게 쓸모 있는 내용이 포함되진 않는 것 같습니다.
Blog
- lionhairdino.github.io
YearIt
- yearit.com
23000원짜리 장어덮밥
오우. 최소 4km 뜁시다. (슬로우 조깅)
@kodingwarriorJaeyeol Lee (a.k.a. kodingwarrior) 
강아지 뇌삽관 수술이 잘 끝난거 같다. 다시 코딩도 하고 일상으로 돌아가야지..
한참 표정을 봤습니다. 잘한 선택이 맞는 것 같아요.
@bglbgl gwyng
肉食注意
성수역 근처 정돈 패밀리 브랜드 카카모루
자신에게 "먹으면 움직인다를 프로그래밍 하세요." 이유 같은 것은 빼고, "그냥 프로그램대로 움직인다"를 컴파일해서 심어두세요.
@kodingwarriorJaeyeol Lee (a.k.a. kodingwarrior) 
@lionhairdino 저는 그 시간을 끌어쓰는 선택지를 고르는 쪽 성향이군요 🤪🤪🤪
같은 값으로 끌어다 쓰면 더 잔소리 안할텐데, 그게 엄청난 이자를 요구하기도 합니다. 그래서 자꾸 잔소리 합니다.
@kodingwarriorJaeyeol Lee (a.k.a. kodingwarrior) 
@lionhairdino 제가 온갖 발악을 해봤는데 기회비용도 그렇고, 그냥 손이 안가더라구요..
가끔 운동하는 시간이 아깝다는 분들이 계십니다. 지금 운동하는데 시간을 안쓰면, 나중에 병원에 시간을 쓴다고 생각하면 얼추 맞습니다.
@kodingwarriorJaeyeol Lee (a.k.a. kodingwarrior) 
나한테는 한자공부가 근성장 운동이고
알고리즘 문제 푸는게 유산소 운동이야
사람 몸은 뇌만 있는 게 아닙니다. ㅎㅎ. 뇌만 운동 시키지말고, 다른 것들도 운동 시켜야 오래 오래 개발합니다.
@kodingwarriorJaeyeol Lee (a.k.a. kodingwarrior) 
쎄다. 어두일미!를 경험하고 있네요. 도시락으론 쉽지 않은 경험인데 말이지요.
@ailrunAilrun (UTC-5/-4)
생활리듬 깨져서 어이없게 지각하는거만 빼면 밤을 새서 과로하는 것 정도는 뭐 아무렇지 않은데
밤 새는 건 아무렇지 않은 게 아닙니다. 데미지는 누적되고 있고, 한계선까지 누적되면 터집니다.
@kodingwarriorJaeyeol Lee (a.k.a. kodingwarrior) 
@akastoot악하 헛… 현기증 나신 건가요?
오프라인으로 만나 본 개발자분들 대부분이, 경쾌한 몸 상태를 보이는 분들이 드물었던 것 같습니다. 제가 관리없이 개발 생활을 오래해와서, 너무 별로인 걸 알다보니, 저보다 젊은 분들 보면 운동 루틴을 만들라고 잔소리가 입 안에 맴돕니다. 여기 분들 중 소셜에 능한 분들이 주도해서, 주기적으로 만나서 서로 동기 부여하는, "개발과 운동"모임 같은 것 하면 좋겠습니다.
외국 컨퍼런스 보면 가끔 근육질 몸짱들도 보이드라고요.
@hongminhee洪 民憙 (Hong Minhee)
@akastoot악하
@kodingwarriorJaeyeol Lee
오오! 신청 마감을 물어 보신다는 건!
@ailrunAilrun (UTC-5/-4)
@kodingwarriorJaeyeol Lee
@lionhairdino 전남대 최교수님도 만나고 그러고 있답니다.
지금 해야할 일이 하도 많아서 글을 쓰지를 못하네요...
오호, 셀럽 두 분이 드디어 대면했군요. 부럽네요.
@ailrunAilrun (UTC-5/-4)
@lionhairdino 아 컨퍼런스에 논문 하나 내서 발표하러 왔는데 사람 밀도가 너무 높아서 ㅋㅋㅋㅋ
아, 뭔가 못살게 구는 줄 알았는데, 행사장이 미어 터져서 사람 잡는 거였군요. ㅎㅎ
논문이라 하니, 비전공자는 봐도 모를테고, 미어 터지는 행사장 사진 하나 올려주시지요.
슬... 전공자 경계선에 있는 글 하나 올라올 때 되지 않았나요. 이왕이면 비전공자쪽으로 좀 더 넘어 온 걸로요.
@ailrunAilrun (UTC-5/-4)
@lionhairdino 네 엄청 피곤하게 만듭니다 ㅋㅋㅋㅋ
오호, 그들하고 뭔가를 진행하시는군요. 연사로 나서는 건가요?
@ailrunAilrun (UTC-5/-4)
쓰고 있는 건 임플란트고, 관심 있는 건 OPTIQUE인가요? @eatch잇창명 EatChangmyeong💕🐱
지구상에 인터넷이 생긴 이래 A회사만 썼는데, 3년 전에 이사한 건물에 A회사 회선이 안들어와 어쩔 수 없이 해지하고 B회사로 갈아 탔다. 3년 약정이 지나 TV만 해지하겠다고 하니, 인터넷은 해지 안하니, 갑자기 돈을 주겠다고 한다. 인터넷 해지는 원래 할 생각이 없었는데, 약정 걸면 이용료 할인 해주면 되지, 왜 돈을 주냐고 물어 봤다가 상담이 쓸데 없이 길어졌다.
인터넷 비용의 구체적인 구조를 처음 알게 됐다. 굳이 알고싶지 않았는데.
예를들어 월 비용을 6만원 책정해놓고, 3년 약정 할인으로 3.5만원 할인해서 월 2.5만원을 내는 걸로 "설정"한다. 그리고, 신규 가입 사은품으로 50만원을 준다. 3년동안 90만원을 통신비로 내게되니 -50만원 하면, 결국 3년에 40만원, 한달에 대충 만원 낸다.
그러다 3년을 채우지 못하고 해지하면, 사은품 50만원이 약간 감가 되긴 하지만, 할인 금액 3.5만원 누적이 붙어, 여차하면 초기 가입 때 받은 돈보다 더 뱉어내는 구조를 만들어 뒀다.
결국 한달에 만원짜리 상품을 복잡한 말장난으로, 초기 가입시 50만원이란 큰 돈으로 사람을 혹하게 만들고, 여차하면 법적으로 정당하게 뒷통수를 세게 후릴 장치를 해두는 마케팅이다. 이래도, 저래도 회사는 득이다. (추심의 리스크를 안고 있으니 이렇게 해도 된다고 보기엔, 추심은 신용도를 볼모로 다 같이 어깨동무 하고 하는거라..)
가장 돈 잘버는 회사들인, SK, KT, LG가 다 그러고 있다. 누군가는 기가막힌 마케팅 설계라고 볼지도 모르겠다. 기간 산업으로 돈을 벌며, 이런 "장난"을 멋진 설계라 보기엔...
문제는 이렇게 복잡하게 설계한 베이스를 가지고 있어, 추가로 나쁜 짓을 해도 이해하는 게 쉽지 않게 되어 버렸다.
(금액도 단순화 했고, 다른 장비로 약간의 돈을 챙기는 것도 뺐다.) 죄없는 상담사분이 고생하며 설명한 것을 나름 이해한 것이라, 더 복잡한 장치가 숨어 있을 수도 있다. 어딘가에는 더 정확한 설명이 있겠지만, 찾아 보기 귀찮다. 어차피 세 회사 중 하나를 써야 하는데, 다 똑같으니 알 필요 없는 내용일지도 모르겠다.
ICFP는 사람을 죽인다...
International Conference on Functional Programming 이 건가요?
@ailrunAilrun (UTC-5/-4)
https://wadler.blogspot.com/2025/09/haskell-equations-thirty-eight-years.html 특정 직군의 사람들 눈에는 어벤져스 쯤으로 보이지 않을까요.
세상을 Discrete 하게, 샘플링한다면, State와 새로운 입력의 구별이 없다.
이전 샘플링 결과에 어떤 작업을 적용해서 다음 샘플링으로 넘어갈 뿐이다.
네비게이션에 언제부터 신호등 시간이 나왔지? 그런데로 시간이 맞다. 신기하네
그런대로
네비게이션에 언제부터 신호등 시간이 나왔지? 그런데로 시간이 맞다. 신기하네
잡곡밥 & 두부야채볶음
에어프라이어에 두부 바삭하게 돌리고 야채는 전자레인지에 미리 돌려서 숨 좀 죽이고 볶기만 하면 끝이니 꽤 편하다. 요리하는걸 좋아하는 편이지만 치우는 것도 귀찮고 매사가 귀찮은 성격이라 품은 적게 들어가지만 최대한 맛있게 먹는게 좋더라.
키보드가 같이 보이는 게 많이 자연스럽습니다.
@nebuletoHaze
생태계에서 툴들이 저마다 파싱하고, 환경 잡고 그러던 게, 이제 한 곳에서 지원할 수 있게 됐다... 라고 보면 되는 건가요? (원래 그렇게 하고 있는 줄 알았습니다.)
@ailrunAilrun (UTC-5/-4)
@lionhairdino 원래는 --with-compiler라고 ghc를 대체하는 녀석을 써야해서 ghc를 흉내내야했는데 이젠 ghci만 흉내내면 된다... 가 된 거지요.
한국 도착~
@lionhairdino 원래 cabal에 --with-repl설정이 없었습니다.
생태계에서 툴들이 저마다 파싱하고, 환경 잡고 그러던 게, 이제 한 곳에서 지원할 수 있게 됐다... 라고 보면 되는 건가요? (원래 그렇게 하고 있는 줄 알았습니다.)
@ailrunAilrun (UTC-5/-4)
최근 하스켈 리포트를 보니, 언어 서버 지원이 뭔가 바뀌었답니다.
Hannes made hie-bios use Cabal’s
--with-replcommand to load the session, which greatly simplifies the implementation and its treatment of multiple home units
이런 게 있네요. 당연히 --with-repl 로 했어야 하는 것 아닌가, 기존에는 어떻게 했나 찾아보니, 각 툴들이 각자 도생하고 있었다네요. 명확히 동일한 환경으로 언어 서버가 실행되는 줄 알았는데, 아니었나 봅니다.
안 들어가네요.
@hongminhee洪 民憙 (Hong Minhee) 
저는 재밌게 보고 있는 뉴스레터입니다.
메일링 리스트가 한빛 출판사 홍보 목적도 있을테지만, 직접적인 영리 목적은 아니라 판단돼서 링크 올릴까 말까 했습니다. 저 같으면 많은 분들 보라고 SNS에 올린 제 글이 소개되면 으쓱할 것 같긴 한데, 민희님도 저와 같은 생각일지 어떨지 모르니 멈칫 했습니다.
@hongminhee洪 民憙 (Hong Minhee)
한 빛 뉴스레터를 보는데, 첫 글이 어디서 많이 보던 글입니다.
lionhairdino replied to the below article:
레코드 생성자
박준규 @curry@hackers.pub
하스켈에서 레코드 타입을 다루는 다양한 관용구를 소개하는 글입니다. 레코드 생성 시 `NamedFieldPuns`나 `RecordWildCards` 확장 기능을 활용하여 코드를 간결하게 만들 수 있으며, 레코드 필드에 접근할 때는 접근자 함수, 패턴 매칭, 또는 `RecordDotSyntax` 확장을 사용할 수 있습니다. 일부 패키지에서는 레코드 생성자를 숨기고 스마트 생성자를 제공하여 API를 제어하기도 합니다. 저자는 스마트 생성자보다는 레코드 생성자를 직접 내보내는 방식을 선호하며, 이는 하스켈 입문자들의 진입 장벽을 낮추고 코드 기여를 활성화하는 데 도움이 된다고 주장합니다. 장기적으로는 언어 차원에서 기본값을 가지는 필드를 지원하여 레코드 타입 정의를 더욱 유연하게 만들 수 있을 것이라는 전망을 제시하며, 이 글은 하스켈 패키지 작성자와 사용자 모두에게 유용한 정보를 제공합니다.
Read more →언어가 성장하면서, 점점 편의 기능이나 슈퍼 울트라 멋진 이펙티브 패턴들이 나오는 건 양날의 검 같아요. 이들이 많을 수록 입문자들은 더 제대로가 아닌 코딩을 할 확률이 올라가는 것 같습니다. 레코드도 마지막에 언급한 디폴트 기능을 언어 차원에서 지원하면, 모든 게 깔끔한데 말입니다. 물론 대의를 위해 지원하지 못하는 동작들을 위한 패턴들은 어쩔 수 없지만요.
@curry박준규
13:38 내수역이 폐역인걸 뒤늦게 알고..... 택시타고 내수역 찍음...
커뮤니케이션 북스의 어택이 또 시작 되는 군요. 한 번도 본적이 없어 잘 모릅니다만, 책을 출판하기 위한 여러 절차들을 고려했을 때, 이 정도로 빠르게 다량의 책을 쏟아 내는 게 가능한가 싶네요.
09:10 청주로 가는 고속버스 티켓 끊음
일본출국한다데스
탈없이 즐겁게 다녀오세요.....크 좋겄다~<
@kodingwarriorJaeyeol Lee (a.k.a. kodingwarrior) 
@lionhairdino 사실 저도 모든 사정을 다 알고 있어요 ㅋㅋ
아하. 알아서 잘 하실거라 믿는데, 돌다리 두들기기입니다. 뭐, 꼭 선택에 영향을 주는 요인이라서 적은 건 아닙니다만, 스타트업들은 대표가 중요한데, 1년 4개월만에 바뀌는 거면 일반적이진 않다 싶네요. 거기다 투자 유치까지 성공했는데요.
@kodingwarriorJaeyeol Lee (a.k.a. kodingwarrior) 
• '22년 4월 27일 설립 및 크레페 런칭
• '22년 12월 엔젤투자 유치
• '23년 8월 대표이사 해임
...
회사 이력을 보다가.. 뭔 일로 창업 대표 이사가 저리 빨리 쫓겨 났을까요.
@kodingwarriorJaeyeol Lee (a.k.a. kodingwarrior) 
lionhairdino replied to the below article:
하스켈을 잘 모르는 프로그래머도 이해하기 쉬운 하스켈 코드 작성법
박준규 @curry@hackers.pub
이 글은 하스켈 코드의 가독성을 높이기 위한 실용적인 팁을 제시합니다. 저자는 하스켈 입문자들이 흔히 겪는 어려움을 해결하고, 코드를 더 쉽게 이해할 수 있도록 6가지 규칙을 제안합니다. 핵심은 달러 기호($) 사용을 자제하고, 연산자는 결합 가능한 것만 사용하며, do 표기법을 적극적으로 활용하는 것입니다. 또한, 렌즈 라이브러리 사용을 미루고, where와 let을 사용하여 코드를 구조화하며, 포인트 프리 스타일을 적절히 사용하는 것이 중요하다고 강조합니다. 이러한 규칙들을 따르면 하스켈 코드가 더욱 명확해지고, 함수형 프로그래밍에 익숙하지 않은 개발자들도 쉽게 이해할 수 있게 됩니다. 이 글은 하스켈의 진입 장벽을 낮추고, 더 많은 사람들이 이 언어를 배우고 활용할 수 있도록 돕는 데 기여합니다.
Read more →이 글 저자분의 여러 인터넷 문서들로 공부하는데 많은 도움을 받고 있는데요. (업자가 볼만한 글을 진짜 많이 쏟아내는 감사한 분입니다.) 딱히 반론까지는 아니고, 최근 제가 생각하는 방향과 다른 게 하나 보입니다. 함수형에서 적용applicative은 너무나 중요한 요소입니다. (function을 매핑 정도로 인식했었는데, function 단어 뜻 자체가 무언가에 적용하는 것을 말합니다.) 함수형은(하스켈은) 적용을 반복해서 프로그램을 완성시켜 나갑니다. 코드 자체를, 비하스켈러들에게 홍보하기 위한, 홍보물로 본다면, $를 쓰지말자는 충분히 의미 있는 의견이지만, 실제 "하스켈 이해"를 제대로 하는데는 오히려 돌아가는 길이 될 수도 있지 않을까 조심스럽게 생각해 봅니다. $가 단순 괄호 아끼기가 아닌, 적용이란 중요한 동작 표현을 일관성 있게 하는 것으로 받아들이면, 적용의 추상화를 이용한 패턴들에서 $가 있는 것을 당연하게 받아 들일 수 있습니다.
요즘들어, 제가 여러 함수형 코딩 패턴을 이용하는 건, 뭘 알아서가 아니라, 그저 경험으로 쓰고 있다는 생각이 듭니다. 이런 문제에선 이런 패턴을 쓰더라가 경험으로 익혀지기 전에, 원리를 알고 있어 처음 보는 문제들에도, 패턴을 적소에 적용하고 싶은데, 잘 안됩니다. 물론 제 지능의 문제가 제일 크겠지만, 한 편으론 함수형을 제대로 알려주는 텍스트들을 못 만나서 그렇지 않을까 하는 건방진 생각도 듭니다. 좋은 텍스트가 없다는 뜻은 아닙니다. 제가 비전공자라 디폴트로 봐야하는 바이블들을 놓쳤을 확률이 높습니다.
저는 현재의 적용을 바라보는 눈을 갖는데, 매우 오래 걸렸습니다. 그다지 배경 지식을 요하는 것도 아니라서, 짚어주는 텍스트만 만났어도 입문에 크게 도움이 됐을텐데 하는 아쉬움이 있습니다.
지금의 제 생각으론 펑터와 적용으로 현실을 모델링할 수 있으면, 찐 함수형 프로그래머 아닐까 싶어요.
@curry박준규
lionhairdino shared the below article:
하스켈을 잘 모르는 프로그래머도 이해하기 쉬운 하스켈 코드 작성법
박준규 @curry@hackers.pub
이 글은 하스켈 코드의 가독성을 높이기 위한 실용적인 팁을 제시합니다. 저자는 하스켈 입문자들이 흔히 겪는 어려움을 해결하고, 코드를 더 쉽게 이해할 수 있도록 6가지 규칙을 제안합니다. 핵심은 달러 기호($) 사용을 자제하고, 연산자는 결합 가능한 것만 사용하며, do 표기법을 적극적으로 활용하는 것입니다. 또한, 렌즈 라이브러리 사용을 미루고, where와 let을 사용하여 코드를 구조화하며, 포인트 프리 스타일을 적절히 사용하는 것이 중요하다고 강조합니다. 이러한 규칙들을 따르면 하스켈 코드가 더욱 명확해지고, 함수형 프로그래밍에 익숙하지 않은 개발자들도 쉽게 이해할 수 있게 됩니다. 이 글은 하스켈의 진입 장벽을 낮추고, 더 많은 사람들이 이 언어를 배우고 활용할 수 있도록 돕는 데 기여합니다.
Read more →오늘은 역대급으로 신간 IT서적이 (저한테는 쓸모없는) 커뮤니케이션북스 시리즈로 도배를 하네요. 세어보니 10권입니다. 팔로우를 이 것 때문에 끊을 수는 없는데요.
자고 일어났는데, 피드에 새 글이 왜 없지? 맛난 글들 올리는 분들, 놀지말고 글 올리세요. 건강보다 글이 우선입니다?
튜링의 사과(
@TuringAppleDev튜링의 사과)에서 몽돌 키보드(PL87W) 써보다가 스위치가 마음에 들어서 몽돌 블랙 리니어 스위치 주문해버렸다.
얼마 전에 키보드 사신 글을 봤는데. 조만간 책장이 아니라, 키보드 장을 사야겠습니다.
@hongminhee洪 民憙 (Hong Minhee)
@TuringAppleDev튜링의 사과
오래간만에 모나드 글(준규님이 올리신 글)을 보며 끄덕 끄덕하긴 했습니다.
어떻게든 정착 시키면, 모나드 말고도 재미난 개념들이 널려 있는데, 그 것들도 모두 익히게 해서 하스켈을 주력으로 쓰는 사람이 되게 만들자...면, 모나드를 최대한 숨겨서, 언젠가 모나드 개념을 파야 하는 때가 와도, 본전 생각나게 해서 못나가게 만들자라면, 그렇다면, 충분히 의미가 있는 작전일 것 같습니다.
어디까지나 개인적인 통계인데요. 주변에 하스켈을 짱짱하게 하는 분들이, 하스켈의 여러 개념을 양분 삼아 다른 언어로 경제 활동을 하는 분이 대부분입니다. 그렇다면, 하스켈로 유입시키기 위한 노력으로 모나드같은 것들을 숨기는 게 의미가 있나 싶은 생각도 듭니다. 어차피, 그 난해한 개념들을 이해하고싶어 하스켈을 만지작 하는 분들이 더 많은 것 아닌가 싶어서요.
(아직도 모나드를 찜찜하게 알고 있는 사람의 눈입니다.)
홍보와 광고의 제한
불특정 다수를 대상으로 한 상업적 광고
아하 이게 있었군요. 법없이도 살겠다는 마인드로 꼼꼼히 안읽어 봤습니다.
조금의 공익성도 없는, 완전 상업적 광고라 올리지 않도록 하겠습니다. 페널티 먹을 뻔 했네요.
@hongminhee洪 民憙 (Hong Minhee)
오픈소스에.. 약간 비영리 목적의 프로젝트 소개는 많이들 올리시는데, 아주 아주 순수하게 영리 목적의 프로젝트 소개를 해커스펍에 올려도 될까요?
이 번 하스켈 밋업이 뉴욕에서 열리는데, 북아메리카 하스켈 해커톤으로 이 쪽에서는 처음 여나 봅니다. 이름이 아메리핵AmeriHac 이랍니다.
1시간 동안 비가 내리면?
추적 60분 ㅋㅋㅋㅋㅋㅋㅋ
엌ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
이 정도면 직업 또 추가인데요. 아재 개그 사전 제작 중
@kodingwarriorJaeyeol Lee (a.k.a. kodingwarrior) 
길가다 음식을 주우면?
푸드득 ㅋㅋㅋㅋㅋ
엌ㅋㅋㅋㅋㅋㅋㅋㅋㅋ
아이... 웃긴 해는데, 하트를 눌러야 되나 말아야 되나..
@kodingwarriorJaeyeol Lee (a.k.a. kodingwarrior) 
Ailrun (UTC-5/-4) replied to the below article:
공허한 참
박준규 @curry@hackers.pub
하스켈의 `all` 함수에 빈 리스트를 넣었을 때 왜 `True`가 반환되는지에 대한 의문을 "공허한 참(Vacuous truth)"이라는 개념을 통해 탐구합니다. 흔히 '구현이 그렇게 되어 있으니까'라고 생각할 수 있지만, 저자는 이 현상을 논리적으로 분석합니다. `all` 함수의 구현 방식과, 빈 리스트에 대한 연산 결과가 전체 결과에 미치는 영향을 설명하며, 공집합의 모든 원소가 짝수라는 명제가 참인 이유와 유사한 논리적 근거를 제시합니다. 이를 통해 코드와 수학 간의 연결고리를 발견하고, 마지막으로 ChatGPT가 생성한 유머러스한 이미지를 곁들여 독자에게 즐거움을 선사합니다.
Read more →
@curry박준규 all을 다음과 같이 정의하면 문제가 무엇일까요?
all p [] = False
all p [x] = p x
all p (x:xs) = p x && all xs
이 질문에 대한 대답 중 all의 의미에 관한 것이 있을 겁니다. 논리적으로 "모든 ...에 대해"를 어떻게 이해해야 하는냐에 대한 것 말이지요.
공집합을 직접 사용하는 것이 가장 간단한 예시겠지만, 좀 더 논리학에서 자주 사용되는 예시로는 "20세기의 모든 프랑스 왕은 대머리다"가 있겠습니다. 이는 무의미하게 (Vacuously) 참인데요, 왜냐면 19세기를 마지막으로 프랑스에는 더 이상 왕이 없기 때문이지요. 즉, 일반적으로 "모든 ...에 대해"에서 "..." 부분이 (결과적으로) 공집합일 경우 "모든 ..."에 의해 수식된 본문이 어떤 문장인지와는 상관 없이 참이라고 이해한다는 것이지요.











