What Composing Music Could Look Like

Worse is better: C# versus F#

Bài viết so sánh C# và F# trong môi trường .NET, cho thấy C# vẫn là ngôn ngữ phổ biến cho phát triển ứng dụng truyền thống. Nguyên nhân kỹ thuật mà tác giả cho F# vượt trội là sự hỗ trợ mạnh mẽ cho lập trình hàm: kiểu dữ liệu không thay đổi, suy luận kiểu mạnh mẽ và pattern matching tích hợp sẵn. Nhờ những tính năng này, mã F# thường ngắn gọn hơn, dễ duy trì và giảm nguy cơ lỗi thời gian chạy so với mã C# tương đương. Hệ quả là các nhóm phát triển có thể đạt được tốc độ sản xuất cao hơn và chất lượng code ổn định khi áp dụng F# cho các bài toán phức tạp như xử lý dữ liệu hoặc dịch vụ tài chính. Điều đáng học là khi đánh giá ngôn ngữ cho dự án, không chỉ xem xét mức độ phổ biến mà còn cân nhắc lợi ích của paradigm hàm và mức độ trừu tượng mà ngôn ngữ cung cấp để quyết định xem việc đầu tư thời gian học F# có mang lại lợi ích lâu dài không.

Bài viết này giúp lập trình viên hiểu tại sao F# vượt trội hơn C# trong nhiều trường hợp thực tế.

Teaching Haskell in the Age of LLMs, Part 1: Ban or Embrace?

Trong bối cảnh LLMs có thể giải quyết các bài tập Haskell tiêu chuẩn, bài viết thảo thách thức trong thiết kế khóa học functional programming. Nguyên nhân kỹ thuật là các LLM như GPT-4 đã đạt trình độ hiểu sufficiently deep về kiểu dữ liệu và hệ thống kiểu của Haskell. Hệ quả là sinh viên có thể sao chép giải mà không hiểu bản chất, đe dọa mục tiêu giáo dục. Điều đáng học là tác giả đang thiết kế lại khóa học để embrace LLMs như công cụ hỗ trợ, tập trung vào các bài tập đòi hỏi tư duy phản biện và hiểu biết sâu về monad và category theory thay vì kỹ năng lập trình cơ bản.

Bài viết này giải thích cách LLMs đang thay đổi việc giảng dạy ngôn ngữ Haskell và tại sao nên chấp nhận chúng trong quá trình học tập.

From Instantaneous Events to Musical Spans

A functional programming exploration tackles how to attach durations to musical notes in a Signal-based music system. Instead of hardcoding durations, the approach derives them from two zipped event streams: one marking note beginnings and one marking changes, where a note spans until whichever comes next. This design accidentally reproduces the concept of a musical voice, a single-note-at-a-time instrument line. The author notes that durations could then be driven automatically from a parameter like musical tension, something they understand almost no DAWs currently support as an automation target.

Musical Signals :: Reasonably Polymorphic

This post designs the core types for a music representation system meant to express any music from any culture or era. It proposes composable Horizontal (time), Vertical (simultaneity), and content types like Pitch and Waveform, so combinations like 'Horizontal Pitch' give a simple tune and 'Vertical (Horizontal Pitch)' gives counterpoint. The author introduces a Signal type that tries to be both continuous (a function of time) and discrete (tracking specific times of interest), acknowledging this is logically shaky since a Signal of Events can still be densely packed rather than sparse. No clean fix is offered yet; the next post will cover signal functions using Arrows.

AI Contributions to GHC

GHC now has a policy for AI-assisted contributions. We examine the rules, the debate behind them, and what they mean for Haskell contributors.

Interesting ways of using Swift optionals

A showcase of different interesting ways of using optionals that go beyond simple unwrapping of values.

An Overview of an Ambitious Music Project

This post outlines a personal project to build a constructive, combinator-based theory of music, inspired by the 'Composing Contracts' paper and Brent Yorgey's diagrams library. The goal is a system that can express any music from any culture or era, including styles that don't yet exist. It must be easy to get good results from, and understanding it should teach you about music. The author rejects handing the problem to an LLM or probabilistic model, and argues most existing music theory only analyzes music rather than offering generative techniques. The next post will cover the denotative elements of music.

Issue 548

This issue of Haskell Weekly rounds up community news and projects. Robert Krook shares a survey of distributed Haskell systems adapted from his PhD thesis. Abhinav Sarkar extends his BlogShake static site generator with per-tag Atom feeds. Jonathan Knowles investigates a Haddock hyperlink bug spanning GHC 9.8 to 9.14. GHC musl Docker manifests now use alpine:3.24.3 for security fixes, and nonempty-vector hits version 1.0. The Haskell Foundation announces AmeriHac 2027, a two-day hackathon hosted by Jane Street in Manhattan on February 6-7, and calls for volunteers for a new haskell.org working group.