Lambda Calculus에 대해 알아보자
람다 대수의 추상화·적용·치환을 사과 가격 계산 예제로 설명했습니다. beta reduction, alpha conversion, Church numeral로 연산 구성 방식을 살펴봤습니다.
#lambda calculus#함수형 프로그래밍#beta reduction
200
모든 블로그
대표 인기 포스트Claude Code를 활용한 예측 가능한 바이브 코딩 전략370 조회370 조회 아키텍처 기타
아키텍처
아키텍처 아키텍처
아키텍처 백엔드
백엔드 백엔드
백엔드 기타 아키텍처
AI
AI 백엔드
백엔드 데브옵스 데브옵스
마켓컬리
주요 카테고리 백엔드 · AI · 아키텍처
활동 요약
- 최근 30일
- 3개
- 평균 조회
- 27
- 누적 조회
- 6,328
- 전체 글
- 236개
- 마지막 발행
- 2026. 11. 9.
마켓컬리 기술 블로그 글 (236)
Lambda Calculus에 대해 알아보자
람다 대수의 표현식 구성과 beta reduction 기반 치환 과정을 설명했습니다. 변수 충돌 회피와 Church numeral을 활용한 산술 표현까지 다뤘습니다.
#lambda calculus#functional programming#beta reduction
1900
코드 악취를 맡는 후각 훈련의 시간
RMS를 기능·유사도 기준으로 나누고 TODO, 리뷰, mock 테스트 중심의 단계적 리팩토링을 진행했습니다. 예외 처리와 공통 로직을 개선하고 코드 가독성·테스트 커버리지·팀 이해도를 높였습니다.
#refactoring#test#mock
200
코드 악취를 맡는 후각 훈련의 시간
한 달간 기준 수립·TODO 리뷰·테스트 검증을 기반으로 단계적 리팩토링을 진행했습니다. 예외 처리와 공통 로직을 개선하고, 코드 품질·테스트 커버리지·팀 이해도를 높였습니다.
#refactoring#test#code smell
3100
Database Driven Development에서 진짜 DDD로의 선회, 이벤트 스토밍 -2-
이벤트 스토밍으로 도메인 이벤트와 관련 요소를 시각화하며 문제를 함께 탐색하는 과정을 소개했습니다. 모호함과 변경을 허용하고 모든 이해관계자의 적극적 참여가 중요하다고 강조했습니다.
#DDD#이벤트 스토밍#도메인 이벤트
000
Database Driven Development에서 진짜 DDD로의 선회, 이벤트 스토밍 -2-
이벤트 스토밍으로 이해관계자들이 도메인 이벤트와 업무 흐름을 함께 탐색하는 방법을 소개했습니다. 반복 수정과 적극적 참여를 통해 모호한 경계와 취약한 구조를 발견해야 합니다.
#DDD#이벤트 스토밍#도메인 이벤트
2000
PHP Development Roadmap In 2020 At Kurly
컬리 PHP 개발자를 위한 학습·협업 중심의 기술 로드맵을 소개했습니다. Modern PHP·Laravel, Docker 기반 CI/CD와 MSA 전환 방향을 담았습니다.
#PHP#Laravel#Docker
100
PHP Development Roadmap In 2020 At Kurly
컬리의 2020년 PHP 개발자 로드맵과 팀 간 기술 협업 방향을 소개했습니다. Laravel 레거시 분리, Docker 기반 CI/CD, MSA 전환 계획을 설명합니다.
#PHP#Laravel#Docker
2400
마켓컬리에서의 PHP 이야기
마켓컬리는 PHP 레거시를 Laravel 기반의 클린한 신규 서비스로 점진 교체하고 있습니다. CI/CD·Docker와 Spring Cloud 연동으로 PHP의 MSA 적용 가능성을 확장하고 있습니다.
#PHP#Laravel#CI/CD
300
마켓컬리에서의 PHP 이야기
마켓컬리는 Modern PHP 흐름에 맞춰 Laravel, 테스트, CI/CD, Docker 기반 개발을 추진했습니다. Spring Cloud Netflix MSA에 PHP를 편입하며 장애 격리와 추적 기능을 보완하고 있습니다.
#PHP#Laravel#Spring Cloud
3900
신규입사자가 바로보는 마켓컬리
신규 입사자 관점에서 컬리 개발조직의 공유와 협업 문화를 소개했습니다. 몹 프로그래밍과 코드 리뷰가 적응·도메인 학습·품질 향상에 기여했음을 설명합니다.
#DDD#BDD#몹 프로그래밍
100
신규입사자가 바로보는 마켓컬리
컬리 개발조직의 지식 공유와 프로덕트 중심 협업 문화를 신규 입사자 관점에서 소개했습니다. 몹 프로그래밍과 코드 리뷰가 도메인 학습, 품질 향상, 팀 적응에 기여했음을 설명합니다.
#DDD#BDD#몹 프로그래밍
3800
AWS Sagemaker Ground Truth로 훈련용 이미지를 편하게 분류하자
후기 이미지 분류 모델 재훈련을 위해 이미지 정제와 수작업 라벨링 방식을 비교했습니다. SageMaker Ground Truth의 협업 장점과 대규모 작업 비용 부담을 검토했습니다.
#SageMaker Ground Truth#AWS#S3
000
AWS Sagemaker Ground Truth로 훈련용 이미지를 편하게 분류하자
훈련 이미지의 중복·손상 파일을 정리하고 수작업 분류 방식들을 비교했습니다. SageMaker Ground Truth로 협업 분류를 검토했지만 높은 과금이 도입 장벽이었습니다.
#AWS#SageMaker Ground Truth#S3
1700
Slack Block Kit 활용
Slack Block Kit과 Java SDK로 배송팁 승인·거부 버튼이 포함된 메시지를 구현했습니다. Slack 액션 payload를 Spring API에서 처리하고 기존 메시지 상태를 갱신했습니다.
#Slack API#Slack Block Kit#Java
300
Slack Block Kit 활용
Slack Block Kit과 Java SDK로 배송팁 승인·거부 메시지 액션을 구현했습니다. Spring API에서 이벤트를 받고 수정된 블록 메시지를 재전송하는 흐름을 설명합니다.
#Slack Block Kit#Slack API#Java
1900
Kurly에서 주문을 모니터링 하는 법
복잡한 Legacy 주문 조회를 Kafka·Elasticsearch·Kibana 기반 실시간 모니터링으로 이전했습니다. 비동기 전송의 flush, ack, 로그 ID를 통해 데이터 유실과 중복 문제를 보완했습니다.
#Kafka#Elasticsearch#Kibana
200
Kurly에서 주문을 모니터링 하는 법
레거시 주문 검색의 성능·정합성 문제를 Kafka와 Elasticsearch 기반 모니터링으로 이전했습니다. 비동기 전송의 flush, ack, 멱등성 설정으로 데이터 유실과 중복 문제를 보완했습니다.
#Kafka#Elasticsearch#Kibana
4500