Existential type: Revision history

23 September 2024

• curprev 21:4321:43, 23 September 2024‎ Ysangkok talk contribs‎ 13,628 bytes −35‎ →‎See also: fix link to luke palmer blog

25 October 2023

• curprev 10:5710:57, 25 October 2023‎ Samstaton talk contribs‎ 13,663 bytes +290‎ Explain up front why it is called existential types when it is written "forall".

20 March 2021

• curprev 05:2405:24, 20 March 2021‎ Yohashi talk contribs‎ m 13,373 bytes +19‎ Fix the link to the GHC Users Guide

10 December 2020

• curprev 06:1606:16, 10 December 2020‎ Ysangkok talk contribs‎ 13,354 bytes +39‎ fix haskell prime links

4 April 2019

• curprev 19:1319:13, 4 April 2019‎ Ysangkok talk contribs‎ 13,315 bytes +8‎ →‎Examples from the Essential Haskell Compiler project: fix headline link
• curprev 19:1119:11, 4 April 2019‎ Ysangkok talk contribs‎ 13,307 bytes +97‎ fix some EHC links
• curprev 18:5818:58, 4 April 2019‎ Ysangkok talk contribs‎ 13,210 bytes −36‎ prime.haskell.org link fix

13 November 2016

• curprev 22:5922:59, 13 November 2016‎ Ryantm talk contribs‎ 13,246 bytes −69‎ No edit summary

27 October 2016

• curprev 03:2603:26, 27 October 2016‎ Ryantm talk contribs‎ 13,315 bytes +3‎ No edit summary
• curprev 03:1203:12, 27 October 2016‎ Ryantm talk contribs‎ 13,312 bytes +70‎ No edit summary

26 February 2013

• curprev 19:4419:44, 26 February 2013‎ Monoidal talk contribs‎ 13,242 bytes +131‎ add existential antipattern

22 July 2012

• curprev 19:2219:22, 22 July 2012‎ Hairy Dude talk contribs‎ 13,111 bytes +249‎ →‎SomeException: catching SomeException
• curprev 19:1719:17, 22 July 2012‎ Hairy Dude talk contribs‎ 12,862 bytes +1,651‎ →‎Examples: SomeException

21 February 2010

• curprev 06:0506:05, 21 February 2010‎ Newacct talk contribs‎ m 11,211 bytes −10‎ No edit summary

21 May 2009

• curprev 21:5321:53, 21 May 2009‎ F.s. talk contribs‎ 11,221 bytes +80‎ →‎Existentials in terms of "forall"
• curprev 21:5221:52, 21 May 2009‎ F.s. talk contribs‎ 11,141 bytes −24‎ →‎Existentials in terms of "forall"
• curprev 21:4721:47, 21 May 2009‎ F.s. talk contribs‎ 11,165 bytes +643‎ →‎Alternate methods: encoding with forall / RankNTypes

5 December 2008

• curprev 19:5319:53, 5 December 2008‎ Henk-Jan van Tuyl talk contribs‎ m 10,522 bytes +2‎ No edit summary

2 June 2008

• curprev 15:5015:50, 2 June 2008‎ Jleedev talk contribs‎ m 10,520 bytes +12‎ →‎A short example: added an explicit type signature

31 January 2008

• curprev 12:3912:39, 31 January 2008‎ Vvv talk contribs‎ 10,508 bytes +5‎ fix broken GHC documentation link

11 January 2008

• curprev 18:1218:12, 11 January 2008‎ Lemming talk contribs‎ 10,503 bytes +114‎ reference to: type question again

17 December 2007

• curprev 13:2113:21, 17 December 2007‎ Abayley talk contribs‎ 10,389 bytes +128‎ No edit summary

9 July 2007

• curprev 12:3712:37, 9 July 2007‎ MathematicalOrchid talk contribs‎ m 10,261 bytes +3‎ Corrected invalid syntax. (I wonder if anybody ever checks this...?)

5 July 2007

• curprev 09:2009:20, 5 July 2007‎ MathematicalOrchid talk contribs‎ m 10,258 bytes +1‎ Idiot-features here doesn't know left from right... >_<
• curprev 09:1609:16, 5 July 2007‎ MathematicalOrchid talk contribs‎ 10,257 bytes +2,640‎ Added an explanation that mere mortals can (hopefully!) understand.

23 June 2007

• curprev 14:5914:59, 23 June 2007‎ SamB talk contribs‎ 7,617 bytes +33‎ Add to categroy "Language extensions"

29 May 2007

• curprev 14:5414:54, 29 May 2007‎ Henk-Jan van Tuyl talk contribs‎ m 7,584 bytes +1‎ No edit summary

21 December 2006

• curprev 16:1516:15, 21 December 2006‎ BrettGiles talk contribs‎ 7,583 bytes +4,711‎ Add other simple examples with more notes, alternate ways.

9 October 2006

• curprev 00:1000:10, 9 October 2006‎ DonStewart talk contribs‎ m 2,872 bytes +22‎ category

2 May 2006

• curprev 19:2019:20, 2 May 2006‎ EndreyMark talk contribs‎ m 2,850 bytes +21‎ →‎Generalised algebraic datatype: : More exact citing the example from the Generalised algebraic datatype#Motivation example page
• curprev 18:5818:58, 2 May 2006‎ EndreyMark talk contribs‎ 2,829 bytes +292‎ Adding a new section →‎Trac: which contains links to Trac pages on existential types
• curprev 18:3718:37, 2 May 2006‎ EndreyMark talk contribs‎ m 2,537 bytes +16‎ Update link to Smart constructors, following redirection
• curprev 17:4917:49, 2 May 2006‎ EndreyMark talk contribs‎ m 2,521 bytes +1‎ typographic correction
• curprev 16:1116:11, 2 May 2006‎ EndreyMark talk contribs‎ 2,520 bytes +545‎ Existential types in Essential Haskell. Comparisons to Haskell.
• curprev 11:3911:39, 2 May 2006‎ EndreyMark talk contribs‎ 1,975 bytes +649‎ Examples from the Generalised algebraic datatype page and from the Essential Haskell Compiler Project
• curprev 10:5210:52, 2 May 2006‎ EndreyMark talk contribs‎ m 1,326 bytes +21‎ Syntax highlighting for Haskell examples

23 February 2006

• curprev 07:2107:21, 23 February 2006‎ Ashley Y talk contribs‎ m 1,305 bytes +4‎ No edit summary
• curprev 07:2107:21, 23 February 2006‎ Ashley Y talk contribs‎ m 1,301 bytes 0‎ Existential types moved to Existential type

22 February 2006

• curprev 05:4105:41, 22 February 2006‎ Sseefried talk contribs‎ 1,301 bytes +2‎ No edit summary
• curprev 05:3905:39, 22 February 2006‎ Sseefried talk contribs‎ 1,299 bytes +266‎ No edit summary
• curprev 05:3805:38, 22 February 2006‎ Sseefried talk contribs‎ 1,033 bytes +1,033‎ No edit summary