stanford-oval/wikipedia huggingface dataset:
Núi Istállós-kő
Hang động Istállós-kő

Pál Roskó đã là người đầu tiên khám phá ra hang động Istállós-kő, vào năm 1911. Với lịch sử lâu đời 30.000-40.000 năm tuổi, hang động đã trở thành một địa điểm khảo cổ nổi tiếng với những di tích vô cùng phong phú bao gồm xương và ngà của gấu hang và bò rừng Bison latifrons, các công cụ bằng đá và xương, đặc biệt là một lò sưởi thời kỳ đồ đá hiện đang được trưng bày trong Bảo tàng Quốc gia Hungary.
Ottokár Kadić và Mária Mottl lần lượt là những người thứ 2 và thứ 3 khám phá ra hang động Istállós-kő vào năm 1929 và năm 1938; đặc biệt nhà khảo cổ người Hungary László Vértes là người đã lên kế hoạch chi tiết và lãnh đạo cuộc khai phá vào năm 1947. Dựa trên phân tầng lấp đầy và di tích động vật, các nhà khảo cổ học đã khám phá lịch sử của hang động, bên cạnh đó còn xác định tuổi, đặc điểm của các nền văn hóa và cư dân đã từng sống ở đây. Hang động trở thành di tích bảo vệ vào năm 1944 và di tích bảo vệ đặc biệt vào năm 1982.
Cuộc khai quật mới nhất bắt đầu vào năm 2000, do nhà khảo cổ Árpád Ringer dẫn đầu. Tầm quan trọng của hang động nằm ở những phát hiện về 66 loài khác nhau trong Kỷ Băng hà, đây là minh chứng sống động thể hiện rằng hệ động vật nơi đây phong phú nhất trong số các hệ động vật thời kỳ Aurignacia ở châu Âu; đặc biệt ba loài động vật có vú mới và 20 loài chim mới đã được mô tả dựa trên hệ vi động vật của hang động.
Núi Geschriebenstein

| Geschriebenstein |
| --- | --- |
Tháp quan sát trên Geschriebenstein nằm ở biên giới
Phần lồi: 414 m ↓ đông nam Unterkohlstätten
Vị trí
Vị trí: Burgenland, Áo và hạt Vas, Hungary
Dãy núi: Dãy núi Güns
Tọa độ: 47°21′10″B 16°26′2″Đ﻿ / ﻿47,35278°B 16,43389°Đ﻿ / 47.35278; 16.43389
Núi Geschriebenstein (tiếng Đức: [ɡəˈʃʁiːbm̩ˌʃtaɪ̯n] Tập tin:De-at Geschriebenstein.ogg), tên khác là Írott-kő (tiếng Hungary: [iːrotkøː]) là một ngọn núi, cao 884 mét (theo các nguồn của Cộng Hòa Áo) hoặc 883 mét (theo tài liệu của Hungary), nằm ở biên giới giữa hai quốc gia Áo và Hungary. Đây là ngọn núi cao nhất của dãy núi Kőszeg, ở phía tây Hungary (vùng đất Transdanubia) và là điểm cao nhất ở bang Burgenland (thuộc Cộng Hòa Áo). Điểm cao nhất của biên giới nằm ở phía Burgenland, với độ cao 879 m trên mực nước biển (AA).
Trước đây phía Hungary gọi núi này là Fenyőhegy và Szálkő. Sau rất nhiều lần thay đổi, tên hiện tại của dãy núi trong tiếng Hungary là Írottkő, trong tiếng Anh và tiếng Đức là Geschriebenstein. Ta có thể tạm dịch tên núi nghĩa là "đá viết" vì nguồn gốc của dãy núi là từ những viên đá có khắc chữ về các thành tựu của 2 gia đình quý tộc Batthyány và Esterházy. Ngoài ra, trên đỉnh núi, nằm ngay chính giữa biên giới 2 nước Áo và Hungary còn xây dựng một toàn tháp hình trụ, bằng đá vào năm 1913. Tòa tháp có vai trò quan trọng việc phân định biên giới giữa 2 quốc gia này.
Kể từ tháng 12 năm 2007, bằng việc ký kết Hiệp định Schengen về việc tự do đi lại giữa một số quốc gia ở Châu Âu, người dân hai nước có thể tự do đi lại qua biên giới Áo-Hung mà không cần thủ tục. Đây là một bước ngoặt nhằm phát triển mối quan hệ hợp tác giữa các quốc gia ở Châu Âu.
Các địa sanh gần dãy núi: ở Cộng Hòa Áo là thị trấn Rechnitz, thị trấn Lockenhaus. Ở Hungary là đô thị Velem và thị trấn Kőszeg.
Mốc ranh giới đặt tháp quan sát. Mặt bên trái là Áo (ký hiệu là Ö cho Österreich), mặt bên phải là Hungary (ký hiệu là M cho Magyarország, hình này không nhìn thấy được)
Chú thích

↑  Geschriebenstein, Austria/Hungary at www.peakbagger.com. Truy cập 6 Jun 2017.
Sân vận động Hameau

| --- | --- |
Le Hameau

vi
Tên đầy đủ: Sân vận động Hameau
Tên cũ: Sân vận động Olympic Hameau
Vị trí: Pau, Pháp
Tọa độ: 43°18′34″B 0°19′1″T﻿ / ﻿43,30944°B 0,31694°T﻿ / 43.30944; -0.31694
Chủ sở hữu: Thành phố Pau
Sức chứa: 18.324
Kích thước sân: 100 × 78 m
Mặt sân: Cỏ
Công trình xây dựng
Khởi công: 1948
Khánh thành: 1948
Sửa chữa lại: 1988, 2017
Mở rộng: 2015 (khán đài Ossau) 2017 (khán đài Crédit Agricole (Bắc), khán đài Teréga (Đông))
Chi phí xây dựng: 15,6 triệu euro
Kiến trúc sư: Julien Camborde
Bên thuê sân
Section Paloise Pau FC (1991–2018, 2020–2021)
Sân vận động Hameau (tiếng Pháp: Stade du Hameau; phát âm tiếng Pháp: [stad dy a.mo]), trước đây được gọi là Sân vận động Olympic Hameau hay Sân vận động Đại tá Fornel, là một sân vận động đa năng và trung tâm hội nghị ở Pau, Pháp. Được xây dựng vào năm 1948, sân vận động thuộc sở hữu của thành phố Pau kể từ năm 1983, sau khi được Quân đội Pháp bàn giao. Sân được sử dụng chủ yếu cho các trận đấu bóng bầu dục liên hiệp. Đây là sân nhà của câu lạc bộ bóng bầu dục liên hiệp Section Paloise. Sân vận động có sức chứa 18.426 chỗ ngồi.
San Agustín del Guadalix

| San Agustín del Guadalix San Agustín del Guadalix |
| --- | --- |

  Hiệu kỳ Ấn chương
 Vị trí của San Agustín del Guadalix

Quốc gia:  Tây Ban Nha
Vùng
Tỉnh:  Madrid
Quận (comarca): Cuenca del Medio Jarama
Thủ phủ: San Agustín del Guadalix
Chính quyền
 • Thị trưởng: Juan Francisco Figueroa Collado (PP)
Diện tích
 • Đất liền: 38,3 km2 (148 mi2)
Độ cao: 684 m (2,244 ft)
 • Mật độ: 0/km2 (0/mi2)
Múi giờ: UTC+1
 • Mùa hè (DST): CEST (UTC+2)
Ngôn ngữ bản xứ: Castellano
Thánh bảo trợ: và Virgen de Navalazarza
Website: 
San Agustín del Guadalix là một đô thị trong Cộng đồng Madrid, Tây Ban Nha. Đô thị này có diện tích 38,3 km², dân số theo điều tra năm 2010 của Viện thống kê quốc gia Tây Ban Nha là 11.885 người. Đô thị này nằm ở khu vực có độ cao 684 mét trên mực nước biển.
Miraflores de la Sierra

| Miraflores de la Sierra Miraflores de la Sierra |
| --- | --- |

  Hiệu kỳ Ấn chương
 Vị trí của Miraflores de la Sierra

Quốc gia:  Tây Ban Nha
Vùng
Tỉnh:  Madrid
Quận (comarca): Cuenca Alta del Manzanares
Thủ phủ: Miraflores de la Sierra
Chính quyền
 • Thị trưởng: Pablo Altozano Soler (PP)
Diện tích
 • Đất liền: 56,56 km2 (2,184 mi2)
Độ cao: 1,147 m (3,763 ft)
 • Mật độ: 0/km2 (0/mi2)
Múi giờ: UTC+1
 • Mùa hè (DST): CEST (UTC+2)
Tên gọi dân cư: mirafloreño-a
Website: www.mirafloresdelasierra.es www.turismomirafloresdelasierra.es
Miraflores de la Sierra là một đô thị trong Cộng đồng Madrid, Tây Ban Nha. Đô thị này có diện tích 56,56 km², dân số theo điều tra năm 2010 của Viện thống kê quốc gia Tây Ban Nha là 5934 người. Đô thị này nằm ở khu vực có độ cao 1147 mét trên mực nước biển.
San Fernando de Henares

| San Fernando de Henares San Fernando de Henares |
| --- | --- |

  Hiệu kỳ Ấn chương
 Vị trí của San Fernando de Henares

Quốc gia:  Tây Ban Nha
Vùng
Tỉnh:  Madrid
Quận (comarca): Comarca de Alcalá
Đặt tên theo: Henares river
Thủ phủ: San Fernando de Henares
Chính quyền
 • Thị trưởng: Julio Setién (IU)
Diện tích
 • Đất liền: 39,29 km2 (1,517 mi2)
Độ cao: 580 m (1,900 ft)
 • Mật độ: 0/km2 (0/mi2)
Múi giờ: UTC+1
 • Mùa hè (DST): CEST (UTC+2)
Mã bưu chính: 28830
Thành phố kết nghĩa: Vaslui, Ramallah
Tên gọi dân cư: sanfernandinos
San Fernando de Henares là một đô thị trong Cộng đồng Madrid, Tây Ban Nha. Đô thị này có diện tích 39,29 km², dân số theo điều tra năm 2010 của Viện thống kê quốc gia Tây Ban Nha là 41.384 người. Đô thị này nằm ở khu vực có độ cao  580 mét trên mực nước biển. Cự ly so với trung tâm Madrid là 15 km.
Robledo de Chavela

| Robledo de Chavela Robledo de Chavela |
| --- | --- |

  Hiệu kỳ Ấn chương
 Vị trí của Robledo de Chavela

Quốc gia:  Tây Ban Nha
Vùng
Tỉnh:  Madrid
Quận (comarca): Comarca turística de la Sierra Oeste de Madrid, (Comarca agrícola del Alto Guadarrama)
Thủ phủ: Robledo de Chavela
Chính quyền
 • Thị trưởng: Mario Anselmo de La Fuente Estévez (PP)
Diện tích
 • Đất liền: 94,1 km2 (363 mi2)
Độ cao: 903 m (2,963 ft)
 • Mật độ: 0/km2 (0/mi2)
Múi giờ: UTC+1
 • Mùa hè (DST): CEST (UTC+2)
Mã bưu chính: 28294
Tên gọi dân cư: Robleda/ no/ na
Thánh bảo trợ: và Nuestra Señora de Navahonda
Website: Página Oficial del Ayuntamiento de Robledo de Chavela
Robledo de Chavela là một đô thị trong Cộng đồng Madrid, Tây Ban Nha. Đô thị này có diện tích 94,1 km², dân số theo điều tra năm 2010 của Viện thống kê quốc gia Tây Ban Nha là 3876 người. Đô thị này nằm ở khu vực có độ cao 903 mét trên mực nước biển. Đô thị này cách thủ đô Madrid 63 km.
Puebla de la Sierra

| Puebla de la Sierra Puebla de la Sierra |
| --- | --- |

  Hiệu kỳ Ấn chương
 Vị trí của Puebla de la Sierra

Quốc gia:  Tây Ban Nha
Vùng
Tỉnh:  Madrid
Thủ phủ: Puebla de la Sierra
Diện tích
 • Đất liền: 57,70 km2 (2,230 mi2)
Độ cao: 1.163 m (3,816 ft)
 • Mật độ: 0/km2 (0/mi2)
Múi giờ: UTC+1
 • Mùa hè (DST): CEST (UTC+2)
Tọa độ: Tọa độ: Định dạng đối số không rõ {{#coordinates:}}: vĩ độ không hợp lệ
Tên gọi dân cư: Puebleros
Puebla de la Sierra là một đô thị trong Cộng đồng Madrid, Tây Ban Nha. Đô thị này có diện tích 57,7 km², dân số theo điều tra năm 2010 của Viện thống kê quốc gia Tây Ban Nha là 111 người. Đô thị này nằm ở khu vực có độ cao 1163 mét trên mực nước biển. Cự ly so với thủ đô Madrid là 110 km.
Trượt băng tốc độ cự ly ngắn tại Đại hội Thể thao Mùa đông châu Á 2025

| Trượt băng tốc độ cự ly ngắn  tại Đại hội Thể thao châu Á 2025 |
| --- | --- |
Địa điểm: Hội trường đa chức năng Trung tâm đào tạo sự kiện trượt băng Hắc Long Giang
Ngày bắt đầu: 7 tháng 2 năm 2025 (2025-02-07)
Ngày kết thúc: 9 tháng 2 năm 2025 (2025-02-09)
Vận động viên: 96 từ 17 quốc gia
← 20172029 →
Các nội dung của môn Trượt băng tốc độ cự ly ngắn tại Đại hội Thể thao Mùa đông châu Á 2025 ở Cáp Nhĩ Tân, Trung Quốc sẽ được tổ chức tại Hội trường đa chức năng của Trung tâm đào tạo sự kiện băng nghệ thuật Hắc Long Giang từ ngày 7 đến ngày 9 tháng 2 năm 2025.
Chương trình thi đấu

Tất cả thời gian đều tính theo giờ địa phương (UTC+8), theo lịch trình chính thức tính đến tháng 1 năm 2025. Các phiên bao gồm trận chung kết sự kiện được hiển thị bằng chữ in đậm.
| Ngày | Giờ | Nội dung |
| --- | --- | --- |
| 7 tháng 2 | 9:00 | 1500m Nam/Nữ |
| 7 tháng 2 | 9:00 | 500m Nam/Nữ |
| 7 tháng 2 | 9:00 | 1000m Nam/Nữ |
| 7 tháng 2 | 9:00 | Tiếp sức đồng đội hỗn hợp |
| 8 tháng 2 | 10:00 | Tiếp sức đồng đội hỗn hợp |
| 8 tháng 2 | 10:00 | 1500m Nam/Nữ |
| 8 tháng 2 | 10:00 | 500m Nam/Nữ |
| 9 tháng 2 | 10:00 | 1000m Nam/Nữ |
| 9 tháng 2 | 10:00 | Tiếp sức 3000m nữ |
| 9 tháng 2 | 10:00 | Tiếp sức 5000m nam |
Kết quả huy chương > Bảng tổng sắp huy chương

Đoàn chủ nhà (Trung Quốc)
| Hạng | Đoàn | Vàng | Bạc | Đồng | Tổng số |
| --- | --- | --- | --- | --- | --- |
| 1 |  Trung Quốc | 0 | 0 | 0 | 0 |
| Tổng số (1 đơn vị) | Tổng số (1 đơn vị) | 0 | 0 | 0 | 0 |
Kết quả huy chương > Các huy chương > Nội dung nam

| Nội dung | Vàng | Bạc | Đồng |
| --- | --- | --- | --- |
500m chi tiết: 
1000m chi tiết: 
1500m chi tiết: 
5000m tiếp sức chi tiết:
Kết quả huy chương > Các huy chương > Nội dung nữ

| Nội dung | Vàng | Bạc | Đồng |
| --- | --- | --- | --- |
500m chi tiết: 
1000m chi tiết: 
1500m chi tiết: 
3000m tiếp sức chi tiết:
Kết quả huy chương > Các huy chương > Nội dung hỗn hợp

| Nội dung | Vàng | Bạc | Đồng |
| --- | --- | --- | --- |
2000m tiếp sức chi tiết:
Quốc gia tham dự

Trung Quốc (12)
Đài Bắc Trung Hoa (6)
Hồng Kông (6)
Ấn Độ (12)
Indonesia (2)
Nhật Bản (12)
Kazakhstan (12)
Hàn Quốc (12)
Malaysia (2)
Mông Cổ (4)
Philippines (1)
Qatar (1)
Singapore (4)
Thái Lan (6)
Turkmenistan (1)
Uzbekistan (2)
Việt Nam (1)
Pita Limjaroenrat

| Pita Limjaroenrat |
| --- | --- |
พิธา ลิ้มเจริญรัตน์


Lãnh đạo Đảng Tiến bước
Nhiệm kỳ 14 tháng 3 năm 2020 – 15 tháng 9 năm 2023 3 năm, 185 ngày
Tiền nhiệm: Chức vụ thành lập
Kế nhiệm: Chaithawat Tulathon
Thành viên của Viện dân biểu Thái Lan
Nhiệm kỳ 24 tháng 3 năm 2019 – 7 tháng 8 năm 2024 5 năm, 136 ngày
 
Thông tin cá nhân
Sinh: 5 tháng 9, 1980 (44 tuổi) Bangkok, Thái Lan
Đảng chính trị: Đảng Tiến bước
Đảng khác: Đảng Tương lai mới (2018-2020)
Phối ngẫu: Chutima Teepanart (cưới 2012⁠–⁠ld.2019)
Con cái: 1 (Pipim Limjaroenrat)
Cha mẹ: Pongsak Limjaroenrat (cha) Linda Limjaroenrat (mẹ)
Alma mater: Đại học Thammasat (Khoa thương mại và kế toán) Đại học Harvard (Thạc sĩ chính sách công) Viện công nghệ Massachusetts (Thạc sĩ Quản trị Kinh doanh)
Pita Limjaroenrat (tiếng Thái: พิธา ลิ้มเจริญรัตน์, phát âm [pʰí.tʰāː lím.tɕā.rɤ̄ːn.rát]) (sinh ngày 5 tháng 9 năm 1980) là một doanh nhân và chính trị gia Thái Lan, từng giữ vai trò lãnh đạo của Đảng Tương lai hành động Thái Lan, đảng phái kế thừa trên thực tế của Đảng Tương lai mới bị giải thể. Ngày 7 tháng 8 năm 2024, Tòa Hiến pháp Thái Lan ra phán quyết giải tán đảng Tiến lên và cấm các lãnh đạo của đảng này hoạt động chính trường trong 10 năm, trong đó có ông.
Đầu đời

Pita sinh ngày 5 tháng 9 năm 1980. Anh là con trai cả của Pongsak Limjaroenrat, cựu cố vấn của Bộ trưởng Bộ Nông nghiệp và Hợp tác xã và bà Linda Limjaroenrat. Anh cũng là cháu trai của Padung Limjaroenrat, cựu thư ký của Bộ trưởng Nội vụ và là phụ tá thân cận của Thủ tướng Thaksin Shinawatra.
Giáo dục

Trước khi được cha gửi đến New Zealand học lúc 11 tuổi, Pita từng tham gia học tập tại một trường tư nổi tiếng, Bangkok Christian College, khi còn nhỏ. Sau thời gian học tập tại nước ngoài, anh trở về Thái Lan và theo đuổi lấy bằng cử nhân tài chính của Khoa Thương mại và Kế toán tại Đại học Thammasat, nơi anh tốt nghiệp năm 2002 với bằng danh dự hạng nhất và nhận được học bổng học tại Đại học Texas ở Austin. Sau đó, anh nhận được học bổng sinh viên quốc tế từ Đại học Harvard, trở thành sinh viên Thái Lan đầu tiên giành được học bổng của trường đại học này. Anh tiếp tục học tiếp và hoàn thành chương trình Thạc sĩ về Chính sách công tại Trường Chính phủ John F. Kennedy và bằng Thạc sĩ Quản trị Kinh doanh tại Trường Quản lý Sloan của Viện Công nghệ Massachusetts.
Nghề nghiệp kinh doanh

Một năm sau khi vào chương trình thạc sĩ, ở tuổi 25, Pita phải trở về Thái Lan để tiếp quản vị trí giám đốc điều hành của Agrifood, một doanh nghiệp dầu cám gạo do gia đình anh điều hành sau cái chết của cha mình. Công ty lấy lại chỗ đứng của mình hai năm sau đó. Sau đó, Pita trở về Hoa Kỳ để hoàn tất chương trình thạc sĩ vào năm 2011.
Pita cũng từng là giám đốc điều hành của Grab Thái Lan từ năm 2017 đến 2018.
Sự nghiệp chính trị

Pita ban đầu tham gia chính trường với tư cách là thành viên của Đảng Tương lai mới. Nhận lời mời của lãnh đạo đảng Thanathorn Juangroongruangkit, anh chấp nhận lời đề nghị trở thành ứng cử viên trong cuộc tổng tuyển cử Thái Lan năm 2019 và giành được một ghế trong Hạ viện với tư cách là người đại diện thứ tư cho đảng của anh.
Vào tháng 7 năm 2019, Pita có bài phát biểu tại Hạ viện, nơi anh trình bày về "Lý thuyết năm điểm" kêu gọi chính phủ tập trung vào các chính sách nông nghiệp sau đây: quyền sở hữu đất đai, nợ của nông dân, cần sa, du lịch nông nghiệp và tài nguyên nước. Mặc dù không cùng chung một đảng, bài phát biểu của anh vẫn được Bộ trưởng Nội vụ Anupong Paochinda khen ngợi.
Hai tuần sau khi đảng bị giải tán, Pita được bầu làm lãnh đạo mới của Đảng Move Forward, nơi anh cùng với 54 nghị sĩ khác của đảng bị giải tán trước đó hoạt động với nhau. Pita trở thành lãnh đạo chính thức sau một cuộc bình bầu vào ngày 14 tháng 3 năm 2020.
Pita lãnh đạo đảng Move Forward trong cuộc tổng tuyển cử Thái năm 2023. Vào ngày 15 tháng 5, ông tuyên bố rằng ông đã sẵn sàng trở thành thủ tướng sau khi đảng của ông nhận được nhiều phiếu bầu nhất, và mời Đảng Pheu Thái và một số đảng nhỏ hơn thành lập một chính phủ liên minh.
Đời tư

Năm 2008, Pita được vinh danh trong danh sách 50 Most Eligible Bachelors của tạp chí CLEO Thái Lan.
Pita sau đó kết hôn với nữ diễn viên Chutima Teepanart vào ngày 12 tháng 12 năm 2012 nhưng hai người đã ly hôn vào tháng 3 năm 2019. Họ có một cô con gái tên Pipim.
Lập trình hàm

Trong ngành khoa học máy tính, lập trình hàm (lập trình chức năng) là một mô hình lập trình xem việc tính toán là sự đánh giá các hàm toán học và tránh sử dụng trạng thái và các dữ liệu biến đổi. Lập trình hàm nhấn mạnh việc ứng dụng hàm số, trái với phong cách lập trình mệnh lệnh, nhấn mạnh vào sự thay đổi trạng thái. Lập trình hàm xuất phát từ phép tính lambda, một hệ thống hình thức được phát triển vào những năm 1930 để nghiên cứu định nghĩa hàm số, ứng dụng của hàm số, và đệ quy. Nhiều ngôn ngữ lập trình hàm có thể được xem là những cách phát triển giải tích lambda.
Trong thực tế, sự khác biệt giữa hàm số toán học và cách dùng từ "hàm" trong lập trình mệnh lệnh đó là các hàm mệnh lệnh có thể tạo ra hiệu ứng lề, làm thay đổi giá trị của một phép tính trước đó. Vì vậy các hàm kiểu này thiếu tính trong suốt tham chiếu, có nghĩa là cùng một biểu thức ngôn ngữ lại có thể tạo ra nhiều giá trị khác nhau vào các thời điểm khác nhau tùy thuộc vào trạng thái của chương trình đang thực thi. Ngược lại, trong lập trình hàm, giá trị xuất ra của một hàm chỉ phụ thuộc vào các tham số đầu vào của hàm, vì thế gọi hàm f hai lần với cùng giá trị tham số x sẽ cho ra cùng kết quả f(x). Việc loại bỏ hiệu ứng lề có thể làm cho chương trình dễ hiểu hơn rất nhiều và người ta có dự đoán được hành vi của một chương trình, đó chính là một trong các động lực chính cho sự phát triển của lập trình hàm.
Các ngôn ngữ lập trình hàm, đặc biệt là các loại thuần lập trình hàm, có ảnh hưởng lớn trong giới học thuật hơn là dùng để phát triển các phần mềm thương mại. Tuy vậy, các ngôn ngữ lập trình hàm nổi bật như Scheme, Erlang, Objective Caml,
và Haskell đã được nhiều tổ chức khác nhau sử dụng trong các ứng dụng công nghiệp và thương mại. Lập trình hàm cũng được sử dụng trong công nghiệp thông qua các ngôn ngữ lập trình chuyên biệt như R (thống kê), Mathematica (toán học hình thức), J và K (phân tích tài chính)[cần dẫn nguồn], F# trong Microsoft.NET và XSLT (XML). Các ngôn ngữ chuyên biệt dạng khai báo được sử dụng rộng rãi hiện nay như SQL và Lex/Yacc, cũng sử dụng một số thành phần của lập trình hàm, đặc biệt để tránh các giá trị biến đổi.  Các bảng tính (spreadsheet) cũng có thể được xem là các ngôn ngữ lập trình hàm.
Lập trình theo phong cách lập trình hàm cũng có thể thực hiện ở các ngôn ngữ không được thiết kế riêng cho lập trình hàm. Ví dụ, ngôn ngữ lập trình mệnh lệnh Perl đã có một cuốn sách viết về cách áp dụng các khái niệm lập trình hàm vào đó. JavaScript, một trong các ngôn ngữ được dùng nhiều hiện nay, có khả năng lập trình hàm.
Các khái niệm

Một số khái niệm và mô hình chỉ có ở lập trình hàm, và thường xa lạ với kiểu lập trình mệnh lệnh (bao gồm cả lập trình hướng đối tượng). Tuy nhiên, các ngôn ngữ lập trình thường lai tạp nhiều hình thái lập trình khác nhau để lập trình viên sử dụng các ngôn ngữ "mệnh lệnh nhất" cũng có thể tận dụng một số các khái niệm này.
Các khái niệm > Hàm hạng nhất và hàm bậc cao

Bài chi tiết: hàm hạng nhất và hàm bậc cao
Hàm bậc cao là các hàm số hoặc có thể nhận các hàm số khác làm tham số hoặc có thể trả về kết quả là hàm số (phép toán vi phân  d/dx để tính vi phân của hàm  f là một ví dụ của hàm bậc cao trong giải tích).
Các hàm bậc cao có liên hệ chặt chẽ với hàm hạng nhất, ở chỗ các hàm bậc cao và hàm hạng nhất đều cho phép nhận hàm số làm tham số và trả về các hàm khác. Sự khác biệt giữa hai loại này rất mờ nhạt: "bậc cao" mô tả một khái niệm hàm trong toán học tính toán trong các hàm khác, còn "hàm hạng nhất" là một thuật ngữ của ngành khoa học máy tính mô tả các thực thể của ngôn ngữ lập trình trong đó không có giới hạn về việc sử dụng (vì vậy các hàm hạng nhất có thể xuất hiện ở bất cứ đâu trong chương trình, giống như các thực thể hạng nhất khác nhau con số, trong đó có cả việc làm tham số cho các hàm khác và làm giá trị trả về của hàm khác).
Các hàm bậc cao cho phép áp dụng bán phần hoặc currying, một kỹ thuật trong đó hàm lần lượt sử dụng từng tham số của nó, mỗi lần sử dụng lại trả về một hàm mới và chấp nhận tham số tiếp theo. Việc làm này cho phép người lập trình biểu diễn một cách súc tích hàm số kế thừa, tương tự như toán tử cộng sẽ lần lượt cộng từng số tự nhiên lại với nhau.
Các khái niệm > Hàm thuần túy

Các hàm (hoặc biểu thức) thuần túy hàm không có bộ nhớ hoặc các hiệu ứng lề nhập/xuất. Điều này có nghĩa là các hàm thuần túy có một số đặc tính hữu ích, mà đa số trong chúng có thể dùng để tối ưu mã nguồn:
Nếu kết quả của một biểu thức thuần túy không được sử dụng, ta có thể xóa nó đi mà không ảnh hưởng đến các biểu thức khác.
Nếu một hàm thuần túy được gọi cùng với các tham số không tạo ra hiệu ứng lề, kết quả sẽ là hằng số tương ứng với danh sách tham số cụ thể (có khi gọi là trong suốt tham chiếu), tức là hàm thuần túy nếu được gọi lần nữa với cùng bộ tham số, kết quả trả về cũng sẽ y hệt như trước (điều này cho phép tối ưu hóa lưu đệm như memoization).
Nếu không có sự phụ thuộc về dữ liệu giữa hai biểu thức thuần túy, thì thứ tự của chúng có thể đảo cho nhau, hoặc chúng có thể thực hiện song song mà không ảnh hưởng đến nhau (hay nói cách khác, đánh giá một biểu thức thuần túy bất kỳ là an toàn về luồng (thread-safe)).
Nếu toàn bộ ngôn ngữ không cho phép hiệu ứng lề, thì chiến thuật đánh giá hàm nào cũng dùng được; việc này trao cho trình biên dịch quyền tự do sắp xếp lại hoặc phối hợp việc đánh giá biểu thức trong một chương trình (ví dụ, dùng kỹ thuật loại bỏ cây).
Trong khi đa số trình biên dịch dành cho các ngôn ngữ lập trình mệnh lệnh có thể nhận dạng hàm thuần túy, và thực hiện các phép khử biểu thức con thường gặp trong các lệnh gọi hàm thuẫn túy, chúng không thể lúc nào cũng làm như vậy đối với các thư viện đã dịch sẵn, thường không tiết lộ thông tin này, vì thế làm cản trở sự tối ưu hóa liên quan đến các hàm bên ngoài như vậy. Một số trình biên dịch, như gcc, thêm từ khóa bổ sung để giúp lập trình viên đánh dấu hàm nào là hàm thuần túy, để cho phép tối ưu hóa kiểu như vậy. Fortran 95 cho phép hàm được chỉ định "thuần túy".
Các khái niệm > Đệ quy

Bài chi tiết: Đệ quy (khoa học máy tính)
Vòng lặp trong các ngôn ngữ hàm thường được thực hiện thông qua đệ quy. Hàm đệ quy sẽ tự gọi chính nó, cho phép thực hiện đi thực hiện lại một tác vụ. Việc đệ quy có thể đòi hỏi phải sử dụng một chồng (stack), nhưng đệ quy đuôi vẫn có thể được trình biên dịch nhận ra và tối ưu hóa nó thành cùng đoạn mã được dùng để hiện thực vòng lặp trong ngôn ngữ mệnh lệnh. Tiêu chuẩn của ngôn ngữ Scheme là phải nhận diện và tối ưu hóa được đệ quy đuôi. Một trong những cách tối ưu hóa đệ quy đuôi là chuyển chương trình thành kiểu truyền liên tiếp trong quá trình dịch.
Các mẫu đệ quy phổ biến đều có thể được khử đệ quy bằng các hàm bậc cao, catamorphism và anamorphism (hay "fold" và "unfold" - gấp và mở gấp) là những ví dụ rõ nhất. Các hàm bậc cao như vậy đóng vai trò tương tự như các cấu trúc điều khiển có sẵn như vòng lặp trong ngôn ngữ mệnh lệnh.
Đa số các ngôn ngữ lập trình hàm đa mục đích đều cho phép đệ quy không giới hạn và là Turing complete, khiến cho bài toán dừng trở nên không quyết định được, có thể gây ra sự thiếu căn cứ cho việc suy diễn công thức, và nói chung đòi hỏi phải có khái niệm không nhất quán trong logic do hệ thống kiểu của ngôn ngữ quy định. Một vài ngôn ngữ lập trình với mục đích đặc biệt như Coq chỉ cho phép đệ quy well-founded và chuẩn hóa mạnh (tính toán không dừng chỉ có thể biểu diễn bằng dòng giá trị vô hạn gọi là codata).  Kết quả là, những ngôn ngữ như vậy không phải Turing complete và một số hàm không thể biểu diễn trong ngôn ngữ, dù ngôn ngữ đó vẫn có thể biểu diễn được rất nhiều cách tính toán thú vị mà tránh được vấn đề do đệ quy không giới hạn gây ra.  Lập trình hàm giới hạn trong việc đệ quy well-founded với một số ràng buộc khác được gọi là lập trình hàm hoàn toàn (total).  Xem Turner 2004 để biết thêm.