On 07/30/2015 09:31 AM, thedeemon wrote:
I had this idea for a long time but a recent talk about a real
dependently typed language helped me with nice examples to demonstrate
on. The interpreted part of D is actually dependently typed!
On 7/30/15 3:31 AM, thedeemon wrote:
I had this idea for a long time but a recent talk about a real
dependently typed language helped me with nice examples to demonstrate
on. The interpreted part of D is actually dependently typed!
http://www.infognition.com/blog/2015/dependent_types_in_d.html
On Thursday, 30 July 2015 at 18:23:21 UTC, Jacob Carlborg wrote:
On 2015-07-30 12:19, ponce wrote:
Based on prior Jacob Carlborg'work (AFAIK) and inspired by
DerelictCF
(https://github.com/Extrawurst/DerelictCF), DerelictCocoa is an
elaborated hack to be able to use Cocoa without Xcode (tm).
On Thursday, 30 July 2015 at 00:59:16 UTC, Joseph Cassman wrote:
On Wednesday, 29 July 2015 at 07:16:39 UTC, Martin Nowak wrote:
[...]
Martin, appreciate the help with this issue. I have
investigated further and it looks like there is a work-around
(item [3] below). Here is a synopsis of
On 30.07.2015 20:27, Rainer Schuetze wrote:
On 30.07.2015 09:49, Sönke Ludwig wrote:
Am 30.07.2015 um 02:59 schrieb Joseph Cassman:
4) The VS 2015 Community 2015 installation [2] also includes a complete
build system. However, the DMD Windows installer does not recognize it
and fails to
On Thursday, 30 July 2015 at 18:42:08 UTC, Rainer Schuetze wrote:
Vladimir, can you just clean the page and add the link to the
startpage and the github repo? It seems that has been done with
the cv2pdb project.
Done.
On 30.07.2015 20:46, Vladimir Panteleev wrote:
On Thursday, 30 July 2015 at 18:42:08 UTC, Rainer Schuetze wrote:
Vladimir, can you just clean the page and add the link to the
startpage and the github repo? It seems that has been done with the
cv2pdb project.
Done.
That was fast. Thanks!
Am 30.07.2015 um 02:59 schrieb Joseph Cassman:
4) The VS 2015 Community 2015 installation [2] also includes a complete
build system. However, the DMD Windows installer does not recognize it
and fails to update the sc.ini file accordingly. I will file a bug
report shortly with details.
I think
On Thursday, 30 July 2015 at 00:59:16 UTC, Joseph Cassman wrote:
4) The VS 2015 Community 2015 installation [2] also includes a
complete build system. However, the DMD Windows installer does
not recognize it and fails to update the sc.ini file
accordingly. I will file a bug report shortly with
On 07/30/2015 05:45 PM, thedeemon wrote:
On Thursday, 30 July 2015 at 13:25:31 UTC, Timon Gehr wrote:
There is no dependent typing here. Failures occur during interpretation.
Type theory doesn't say anything about interpretation and compilation.
You need to consider the type system and the
On 07/30/2015 06:13 PM, Timon Gehr wrote:
...
The real difference is (roughly!) that the dependently typed interpreted
program always fails if it would fail in any possible execution
(This is ambiguous. What I mean is: If there is some execution in which
it would fail.)
On 2015-07-30 12:19, ponce wrote:
Based on prior Jacob Carlborg'work (AFAIK) and inspired by DerelictCF
(https://github.com/Extrawurst/DerelictCF), DerelictCocoa is an
elaborated hack to be able to use Cocoa without Xcode (tm).
It does _not_ rely on the recent extern(Objective-C) additions so
On 29.07.2015 09:10, Martin Nowak wrote:
On Wednesday, 29 July 2015 at 01:55:35 UTC, Joseph Cassman wrote:
There is probably an obvious reason this is not possible but I could
not see it when reading through the MS licensing information. It seems
to me the linker bin could be redistributed.
On 2015-07-30 12:19, ponce wrote:
Based on prior Jacob Carlborg'work (AFAIK) and inspired by DerelictCF
(https://github.com/Extrawurst/DerelictCF), DerelictCocoa is an
elaborated hack to be able to use Cocoa without Xcode (tm).
Also, why using the Derelict approach and load the library at
On 30.07.2015 09:49, Sönke Ludwig wrote:
Am 30.07.2015 um 02:59 schrieb Joseph Cassman:
4) The VS 2015 Community 2015 installation [2] also includes a complete
build system. However, the DMD Windows installer does not recognize it
and fails to update the sc.ini file accordingly. I will file a
On 30.07.2015 11:23, Sönke Ludwig wrote:
Am 30.07.2015 um 09:49 schrieb Sönke Ludwig:
Am 30.07.2015 um 02:59 schrieb Joseph Cassman:
4) The VS 2015 Community 2015 installation [2] also includes a complete
build system. However, the DMD Windows installer does not recognize it
and fails to
I had this idea for a long time but a recent talk about a real
dependently typed language helped me with nice examples to
demonstrate on. The interpreted part of D is actually dependently
typed!
http://www.infognition.com/blog/2015/dependent_types_in_d.html
On Thursday, 30 July 2015 at 13:25:31 UTC, Timon Gehr wrote:
There is no dependent typing here. Failures occur during
interpretation.
Type theory doesn't say anything about interpretation and
compilation. Are you saying there cannot be an interpreted
dependently typed language? (hint: Idris
On Thursday, 30 July 2015 at 16:13:46 UTC, Timon Gehr wrote:
You need to consider the type system and the evaluation
semantics. What are they for the interpreted meta-programming
part of D? (I can find the semantics, but not a non-trivial
type system.)
Yes, this is what interests me too.
On Thursday, 30 July 2015 at 18:21:00 UTC, Jacob Carlborg wrote:
On 2015-07-30 12:19, ponce wrote:
Based on prior Jacob Carlborg'work (AFAIK) and inspired by
DerelictCF
(https://github.com/Extrawurst/DerelictCF), DerelictCocoa is an
elaborated hack to be able to use Cocoa without Xcode (tm).
Based on prior Jacob Carlborg'work (AFAIK) and inspired by
DerelictCF (https://github.com/Extrawurst/DerelictCF),
DerelictCocoa is an elaborated hack to be able to use Cocoa
without Xcode (tm).
It does _not_ rely on the recent extern(Objective-C) additions so
I'm a bit unsure how far the
On Wednesday, 29 July 2015 at 18:13:22 UTC, Kagamin wrote:
On Wednesday, 29 July 2015 at 15:45:19 UTC, Taylor Hillegeist
wrote:
I guess what I mean to say is that they did it, maybe it can
be done.
Of course it can be done with an additional license agreement
with microsoft.
Of course VS
Am 30.07.2015 um 09:49 schrieb Sönke Ludwig:
Am 30.07.2015 um 02:59 schrieb Joseph Cassman:
4) The VS 2015 Community 2015 installation [2] also includes a complete
build system. However, the DMD Windows installer does not recognize it
and fails to update the sc.ini file accordingly. I will file
23 matches
Mail list logo
