lionhairdino

음성 채팅하는 곳인가요? @alternativeAlternative_Talk

배포distribute 配布 (유사어 배치排置: 일정한 간격으로 벌여 놓다)
신문이나 책자 따위를 널리 나누어 주다

배치deploy 配置
군대를 전장에 배치하듯, 비즈니스 서비스에서 서버를 현장에 배치한다. 실전을 뛰게 배치한다.

"새로 만든 앱을 배치해서 사용자에게 배포했어"

제가 비슷한 테크를 타고 있는데요. purescript에서 할로겐 집적대다 대대적으로 ghcjs 변화가 있다해서 하스켈로 왔습니다. 근데 ghcjs 설치나 각 종 예시때문에 닉스 공부 중입니다. 개미 지옥 ㅎㅎㅎㅎ@kodingwarriorJaeyeol Lee

여기 가로 스크롤 생깁니다~~ ㅎㅎ 준규님 가로 스크롤 보고좀 하겠습니다@hongminhee洪 民憙 (Hong Minhee)

좀만 빨리 보셨다면, 저 안쫓겨 났을지도 모를텐데요...ㅋㅋ

힘들게 일하는데, 망토정도는 입어줘야 폼도 나고 티도 나지 않을까요. @bglbgl gwyng @hongminhee洪 民憙 (Hong Minhee) @xiniha

아...저...아... 너무 이릅니다@kodingwarriorJaeyeol Lee (a.k.a. kodingwarrior)

요즘 한참 닉스보고 있는데, 안그래도 닉스로 고정해보려고 합니다.

생각보다 훨씬 자세하게 명문화된 규칙이 있군요.! 공부하면서 이 예시 저 예시 보다 보면, 버전이 널뛰고, 그러다 보면 HLS 지원이 오락 가락하게 되어, 사실 각 잡고 프로젝트에 쓰는 것 아니면, 의존도가 높지 않게 되어버리더라고요. 그 이유가 버전 지원 때문이란 생각에, 미리 HLS 친화적인 버전을 골라낼 수 있나 했는데, 그러긴 어려울 것 같네요.

각 버전대의 최신 버전인가 보네요.

최신 HLS(Haskell Language Server) full 지원하는 GHC 버전은
9.12.2
9.10.1
9.8.4
9.6.7
9.4.8
라는데, 무슨 기준으로 살리고 버리고 하는 걸까요? 전혀 패턴이 안보이네요.
관리자분들이 쓰는 버전들 아닌가 몰라요.ㅎ @ailrunAilrun (UTC-5/-4)

링크 첨부때문에 가로 스크롤이 생겼었는데 언제 시라졌데요.

그냥 이름 뜻 얘기하시는 거구나. 하고 넘어갔는데 생각해보니 bgl님 까먹지 말라고 살 붙여주신 거군요. 친절도 하셔라 ㅎㅎ@ailrunAilrun (UTC-5/-4) @bglbgl gwyng

HLS의 윙맨 같은 기능을 전면에 특징으로 내세우는 건가요? @ailrunAilrun (UTC-5/-4) @bglbgl gwyng

오홍 신기한 물건입니다. @ailrunAilrun (UTC-5/-4) @bglbgl gwyng

에디터와 언어 문법 관계 얘기를 보다보니, parinfer 가 생각나네요. 이런 게 좀만 더 일찍 나왔더라면, 제가 Lisp를 지금보다는 잘하고 있었을지도 모르겠습니다. @bglbgl gwyng

ai코딩에선 리터럴 하스켈이 다른 역할을 할 수도 있지 않을까 싶어요. 의도를 써놓은 풍부한 자연어 주석을 보고, 맞는 코드가 나왔는지 자동 검증하는 상상을 해봤습니다.

전 온찜 신봉자라 삐끗하면 2~3일 달고사는데요. 근육 문제고, 붓기가 없다면 온수담는 팩 하나 사서 틈틈히 온찜 해주면 좋습니다. 나이상 근육 문제일 것 같긴한데, 그래도 날짜가 길어지고 있으니 병원가셔야겠습니다. @kodingwarriorJaeyeol Lee (a.k.a. kodingwarrior)

들여쓰기와 공백에 민감?한 게 다른 건가요?

하스켈은 들여쓰기가 슈거 문법 같은 거라 들여쓰기 없이 괄호와 세미콜론으로 작성할 수 있는데, 익숙해서 그런가 들여쓰기가 더 가독성이 높은 느낌도 듭니다. @bglbgl gwyng

디자인툴을 만들어서 공개를 하다니, 의외의 행보입니다. 최근 우수 인력들이 많이 모이고 있다는 소식을 종종 들었는데요. 너무 우수한 인력들이 모여서 "남는 재능"이 생겼나 상상될 정도로 의외네요. ㅎㅎ @hongminhee洪 民憙 (Hong Minhee)

이야, 개근상에 케익까지! 은민님이 준비 많이 하셨네요. 직장인이 한 번도 안 빠지고 하기 힘들겠다 싶은 스케줄이었는데, 여튼 축하드립니다~ @nyeongAn Nyeong (安寧)

호오옥시 처음 보시는 건가요? ㅎㅎ @kodingwarriorJaeyeol Lee (a.k.a. kodingwarrior)

투자금이 많이 물려있으면, 짧은 기간에 공포스러운 수치네요.@parksbSimon Park

어떤식으로 성장할지 "시리즈 드라마" 보듯 보고 있습니다. 현재까지는 남들한테 소개할 만큼 재밌네요.@hongminhee洪 民憙 (Hong Minhee)

"여론에 따라" 함수형 추상 기계 관련 글을 쓰고 있었는데, 쓰다 보니 논리와 low-level data representation 이 보였다는 핑계 말씀이지요? 생각할 엄두조차 내지 못했던 주제들, 다 이해는 못하지만 감사히 보고 있습니다. SPJ, 와들러 교수님 등의 교양 수준 강의 활동들을 보다 보면, 왜 국내 교수님(고인물-댓가없이 입문자들에게 도움을 준다는 의미)들은 없나 아쉬운데, 엘룬님 글로 조금 달래지네요. @ailrunAilrun (UTC-5/-4)

빔으로 넘어 오신다는 말씀인가요?ㅎㅎ@bglbgl gwyng

ㅋㅋㅋ 뭔가 “답정너" 느낌이 있는데요. 댓글 여론과 다른 ... 농담입니다. 전혀 불만 없이 기다리고 있겠습니다.@ailrunAilrun (UTC-5/-4)

처음 보는 분들이 직관적으로 알만한 이름짓기가 필요한가 싶습니다. ”연합 타임 라인 비노출“ 같은 지관적 이름이면 좋겠는데, 말이 이쁘지는 않네요@hongminhee洪 民憙 (Hong Minhee) @parameterfreak

누가 야심한 시각에, 운동량 떨어지는 직업군이 바글 바글한 곳을 맛난 사진으로 채워놨네요.

그럼, 더더욱 운동하라는 알람이 울린 거로 봐야겠습니다. 그 정도 "행위"로 그 정도로 "버벅"일 나이는 아직 아닙니다. @kodingwarriorJaeyeol Lee (a.k.a. kodingwarrior)

완전한 검정 배경에 하얀 글자는 대비가 높아, 눈에 잔상이 남습니다. 눈의 피로를 덜기 위해 다크 모드를 주 톤으로 선택했다면, 대비를 적당 수준으로 낮춰야 합니다. 나이가 올라갈 수록 영향을 받습니다. 모르시는 분들이 많은 것 같습니다.

고3이십니까, 이젠 그리 자면 안됩니다. @kodingwarriorJaeyeol Lee (a.k.a. kodingwarrior)

저는 해커스펍에 아직 따로 알림이 없으니, 자주 리프레쉬하면서 새 글이 있나 보는데, 다른 분들도 다 그렇게 하고 있는 건가요?

둘 다 보고 싶지만, 하나만 골라야 되면, 함수형 기계 고르겠습니다. 독자 한 명의 한 표입니다. @ailrunAilrun (UTC-5/-4)

해당 근육을 쓰는 일이 없었는데, 뻐근하다면 몸살이거나, 어딘가에서 신경을 누르거나 그럴 수 있는데요. 목 스트레칭 자주 해주고, 목 주변 잘 풀어주세요. 전 당연히 의료 지식은 없고요. 하도 개발자 직업병 리스트에 있는 거 다 거쳐가고 있어서리... @kodingwarriorJaeyeol Lee (a.k.a. kodingwarrior)

목은 괜찮은가요. 계속되면 꼭 진료 받아 보시고, 운동하라는 강한 신호 떨어졌나 본데요. @kodingwarriorJaeyeol Lee (a.k.a. kodingwarrior)

한 3~4일 관심 없음, 관심 없음 열심히 눌렀더니, 그 후로 개발 얘기만 70~80프로 뜨는 것 같아요.

이 때가 좋았지. 신선한 내용들이 가득한데, 글도 잘 써놔서 이해도 곧잘 가고...

무려 4년 전에 패터슨 조건을 공부하고 정리 해 놨는데, 패터슨 조건이란 말을 보고, "어, 저거 어디서 들어 본 건데..."하고 있다. 입력이 누적되지 않고, 점점 밑 빠진 독처럼 새 나간다... 씁쓸하네...이거.

해커스펍에서 댓글을 달 때, 굳이 @로 아이디 언급을 하지 않아도, 원 글과 타래는 연관 지어지는 거지요? 타래에 참여하고 있는 분들이 여럿이라면, 다 언급을 해야 하는 거고, 한 분이라면 굳이 언급하지 않아도 되는 거고요?

9.6 전에는 실수로 허용되던 것이란 말이 나와, 학문적 정 부 의 가치가 있는 줄 알았습니다. @ailrunAilrun (UTC-5/-4) @bglbgl gwyng

답 댓글이 아니라, 질문 댓글입니다. 레코드 업데이트 하는 동안에 반드시 레코드 타입을 먼저 알아야 한다는 게 "정상"이라는 거지요?

bar :: T Int
-- bar = emptyT --- 허용
bar = emptyT { x = [3] } --- 레코드 업데이트 중에는 타입 specialize를 못하니 불가

@bglbgl gwyng

컴파일러 변화가 하나만 있다해서, 하나가 아닌데 하고 댓 달았는데, 읽어보니 다나 마나한 댓을 달았네요. 마이그레이션 페이지에 있는 내용을 풀어서 설명하신 거였군요. @bglbgl gwyng

9.6 migration 컴파일러 변화가 타입 패밀리, 슈퍼 클래스 관련 동작이 있네요. @bglbgl gwyng

3년차 웹 프런트엔드 개발자입니다. 잠시 10주 여름 방학 동안 계약직으로 일할 수 있는 직장을 찾고 있습니다. (6월 마지막 주부터 8월 마지막 주) http://frontend.moe/portfolio/

올해 2학기까지 수료하면 졸업 예정이라, 학부 졸업 이후 정규직 전환 조건으로도 희망하고 있습니다.

하스켈 학교 운영자!

어디까지나 재미로 쌍대dual을 이해하기 위한 훈련을 하고 있습니다. (※ 리스트는 []에서 extract할 게 없어 모나드의 쌍대인 코모나드가 정의되지 않아 NonEmpty 타입으로 테스트 했습니다.)

λ> join $ (1:|[2]):|[3:|[4]]
1 :| [2,3,4]

λ> duplicate $ 1:|[2,3]
(1 :| [2,3]) :| [2 :| [3],3 :| []]

λ> join $ duplicate $ 1:|[2,3]
1 :| [2,3,2,3,3]

duplicate :: w a -> w (w a)와 join :: m (m a) -> m a를 연속으로 하면 처음 구조로는 돌아 오지만, 완전히 값까지 같은 상태로 돌아 오진 않습니다.
(완벽히 같은 곳으로 돌아오는 걸 역inverse이라 부르고, 역인 관계 두 연산을 합치면 id가 됩니다. Not처럼 역이 듀얼인 경우도 있습니다.)
("우편물 발송, 수취는 듀얼 관계지만, 뭘 보내고 받았는지까지 보는 건 아니다." 비유와 맞을지 모르겠습니다.)

"미래는 코모나드적이다"란 말을 만나곤 하는데, 이는 미래는 어차피 과거 조합으로 정해질 수 있는 모양 중 하나란 뜻으로 보입니다.

재미로, 모나드와 코모나드 비교를 한 문장으로 표현하면,
“모나드의 미래는 알 수 없지만, 코모나드의 과거는 지금을 만들 수 있었던 정해진 경우의 수들이다.”

고정된 환경값 하나를 넣어주는 Reader 모나드는, 즉 매 번 이펙트가 똑같다면, 과거나 미래나 같으니, 모나드와 코모나드의 동작이 같게 나오는 걸로 보입니다.

그래서, 최종 쌍대dual를 비전공자의 교양 수준의 말로, 최대한 똑 떨어지게 설명하면, 구조를 반대로 뒤집어도 성립하는 대칭성이다.

@ailrunAilrun (UTC-5/-4) 님 설명 참고: "쌍대란 쌍대의 쌍대가 자기 원래의 대상과 같은 무언가"

와, 더 마법스러워 보입니다. 내재된 근본 원리를 어찌 이해해야 저렇게 응용해야지 하는 생각이 들까요. (질문 아니고 감탄입니다.) @ailrunAilrun (UTC-5/-4)

adjoint도 두 개가 짝을 이뤄 뭔가를 완성하는 느낌이 있었는데, dual도 뭔가 시스템이 완성?안정?된 느낌도 들고 그러네요.
아직 콕 짚지는 못하지만, 프로그램 설계할 때, 기계적으로 따르기만 해도 도움이 될 것 같은 요소가 있을 것만 같아서, 가끔 이해하고 싶은 욕구가 생기는데, "화살표를 싹다 뒤집으면 듀얼"이야 같은 말로는 응용할 수 있을만한 이해에 도달을 못하고 있습니다. 인문학스런 해석 질문은 그만 드려야겠지요. @ailrunAilrun (UTC-5/-4)

아하!하고 답 달려고 고민했는데, 역시나 어렵네요. 둘이 서로 반쪽같은 것들로, 둘을 가지고 있으면 뭔가 되는 그런 "느낌"이라고 뿐이 감이 안오네요. 0에서 +1로 갔다가 -1로 오면 "역"이지만, 0에서 +1로 가고, 0에서 -1로 가는 건 듀얼로 볼 수 있겠지요? 똑 떨어지지 않는 인문학 같아요. @ailrunAilrun (UTC-5/-4)