Talk:Comparison of functional programming languages: Difference between revisions

Content deleted Content added
Closures: new section
Cewbot (talk | contribs)
m Maintain {{WPBS}} and vital articles: 2 WikiProject templates. Create {{WPBS}}. Keep majority rating "List" in {{WPBS}}. Remove 2 same ratings as {{WPBS}} in {{WikiProject Articles for creation}}, {{WikiProject Computer science}}.
 
(14 intermediate revisions by 7 users not shown)
Line 1:
{{WikiProject Articlesbanner for creationshell|class=List|ts=20140114054155|reviewer=Alanl}}
{{WikiProject ComputerArticles sciencefor creation|ts=20140114054155|classreviewer=ListAlanl}}
{{WikiProject Computer science}}
}}
 
== Monads/Functors ==
Line 24 ⟶ 26:
 
Add pattern matching <!-- Template:Unsigned --><small class="autosigned">—&nbsp;Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[User:ShalokShalom|ShalokShalom]] ([[User talk:ShalokShalom#top|talk]] • [[Special:Contributions/ShalokShalom|contribs]]) 08:02, 23 August 2017 (UTC)</small> <!--Autosigned by SineBot-->
 
:I agree that [[pattern matching]] is a key feature of programming languages and should be added. The only way to get full marks (green background) should be as pattern matching with compile-time exhaustiveness checking, without it pattern matching should only yield partial marks (yellow background). [[User:Approche Pratique|Approche Pratique]] ([[User talk:Approche Pratique|talk]]) 03:14, 15 January 2023 (UTC)
 
== Request to add Julia ==
Line 34 ⟶ 38:
 
I think it's pointless to have a column for closures, since all functional programming languages have it by default. --[[Special:Contributions/212.252.177.204|212.252.177.204]] ([[User talk:212.252.177.204|talk]]) 19:46, 7 May 2020 (UTC)
 
Actually, same with the abstract data types column, since every modern language (functional or not) now comes first-class record types. (PS Same person as above) --[[Special:Contributions/212.252.177.149|212.252.177.149]] ([[User talk:212.252.177.149|talk]]) 07:00, 11 May 2020 (UTC)
 
:I agree with you about closures. I don't think it would count as a functional language if it didn't have closures (or lambdas)! However, Abstract Data Types doesn't have all "Yes"s in its column, so that would have to be dealt with. Although it seems very ill-defined to me. Type Classes are usually how that's implemented aren't they? But then RankNTypes can be used too I think—does that count? What about Row Polymorphism / Extensible Records? Perhaps it'd be better to have separate columns for those specific features. --[[User:RProgrammer|RProgrammer]] ([[User talk:RProgrammer|talk]]) 23:44, 27 December 2020 (UTC)
 
:I went ahead and boldly deleted the column. If someone disagrees, feel free to revert it and discuss it here. --[[Special:Contributions/195.155.171.174|195.155.171.174]] ([[User talk:195.155.171.174|talk]]) 00:21, 29 June 2021 (UTC)
 
== Should we keep languages without articles? ==
 
As of today ({{today}}), Lazy ML, Frege and Candle don't have articles on Wikipedia. Maybe we should consider excising them per [[WP:N]]. --[[Special:Contributions/195.155.171.174|195.155.171.174]] ([[User talk:195.155.171.174|talk]]) 00:25, 29 June 2021 (UTC)
 
:I went ahead and did it. If you'd like to put them back, please consider writing an article (at least a stub) for them first. --[[Special:Contributions/195.155.168.29|195.155.168.29]] ([[User talk:195.155.168.29|talk]]) <!--Template:Undated--><small class="autosigned">—&nbsp;Preceding [[Wikipedia:Signatures|undated]] comment added 03:34, 6 July 2021 (UTC)</small> <!--Autosigned by SineBot-->
 
== Generalized algebraic data types ==
 
Add [[Generalized algebraic data type]] column. [[User:Approche Pratique|Approche Pratique]] ([[User talk:Approche Pratique|talk]]) 03:15, 15 January 2023 (UTC)
 
== Higher-kinded types ==
 
Add [[Higher-kinded type]] column. [[User:Approche Pratique|Approche Pratique]] ([[User talk:Approche Pratique|talk]]) 03:16, 15 January 2023 (UTC)
 
== Language-level support for monadic composition ==
 
Add [[Monad (functional programming)|language-level support for monadic composition]], such as [https://docs.scala-lang.org/tour/for-comprehensions.html for comprehensions in Scala] or [[wikibooks:Haskell/do_notation|do notation in Haskell]]. [[User:Approche Pratique|Approche Pratique]] ([[User talk:Approche Pratique|talk]]) 03:19, 15 January 2023 (UTC)
 
== Garbage collection? ==
 
Any objections to me adding garbage collection? [[User:AlecGargett|Alec Gargett]] ([[User talk:AlecGargett|talk]]) 20:48, 8 October 2023 (UTC)
 
== Some functional (but not pure) languages that aren't yet included ==
 
*Lua
*R
*Nix
*Swift
*Dlang
[[User:AlecGargett|Alec Gargett]] ([[User talk:AlecGargett|talk]]) 21:30, 8 October 2023 (UTC)