小编fsl*_*fsl的帖子

带表达式的F#类型定义

有可能表达这样的事情:

type id = int > 0
Run Code Online (Sandbox Code Playgroud)

我知道它不可能静态地执行,因为这意味着F#具有依赖类型.在C#中,我习惯于使用代码契约来执行此类操作并获得运行时实施.我正在寻找类似的东西.

谢谢

编辑:感谢所有有各种利弊的答案.在那里,我只使用F#的一小部分,这是ocaml核心的一个子集,可以很容易地编程证明.所以没有课程.

f#

8
推荐指数
2
解决办法
810
查看次数

WPF.查找绑定到特定属性的控件

关于如何实现给定属性名的方法的任何想法,找到绑定到给定属性的控件(可能来自visualtree)?

data-binding wpf binding

6
推荐指数
1
解决办法
5271
查看次数

犀牛嘲笑,存根的返回值应该取决于输入

我正在寻找一种简洁的方法,让存根的返回值取决于它的输入.

目前我正在使用以下方法,这不会很好.

metadataLogic.Expect(x => x.GetMake(args.Vehicle1.Make)).Return(new CarMake { Id = args.Vehicle1.Make });
metadataLogic.Expect(x => x.GetMake(args.Vehicle2.Make)).Return(new CarMake { Id = args.Vehicle2.Make });
Run Code Online (Sandbox Code Playgroud)

有什么建议?

rhino-mocks

4
推荐指数
1
解决办法
3925
查看次数

clickonce,应用程序设置,发布后编辑

从visual studio发布后,如何编辑已发布的应用程序设置?你能手工编辑.deploy文件吗?

此致Fredrik

clickonce

3
推荐指数
1
解决办法
3502
查看次数

子控件的宽度应与父容器的宽度匹配

我对WPF很新.我经常发现自己正在努力获得一堆子控件组合宽度以匹配给定的父容器.如下所示:

<ListBox x:Name="BrugereListBox" Grid.Column="0" Grid.Row="3" DataContext="{DynamicResource Brugere}" 
             ItemsSource="{Binding}" 
             PreviewMouseLeftButtonDown="BrugereListBox_MouseLeftButtonDown"
             PreviewMouseMove="BrugereListBox_PreviewMouseMove"
             >
        <ListBox.ItemTemplate  >
            <DataTemplate >
                <Border BorderBrush="Black" BorderThickness="1" Margin="2">
                    <StackPanel Orientation="Vertical" IsEnabled="True" 
                                PreviewMouseLeftButtonDown="StackPanel_PreviewMouseLeftButtonDown">
                        <StackPanel Orientation="Horizontal" >
                            <Label>Navn</Label>
                            <TextBox Text="{Binding Name}"></TextBox>
                        </StackPanel>
                        <StackPanel Orientation="Horizontal">
                            <Label>Password</Label>
                            <TextBox Text="{Binding Password}"></TextBox>
                        </StackPanel>
                        <StackPanel Orientation="Horizontal">
                            <Label>Email</Label>
                            <TextBox Text="{Binding Email}"></TextBox>
                        </StackPanel>
                    </StackPanel>
                </Border>
            </DataTemplate>
        </ListBox.ItemTemplate>
    </ListBox>
Run Code Online (Sandbox Code Playgroud)

在这种情况下,我有兴趣获得stackpanel的子节点的宽度:

<StackPanel Orientation="Horizontal" >
                        <Label>Navn</Label>
                        <TextBox Text="{Binding Name}"></TextBox>
                    </StackPanel>
Run Code Online (Sandbox Code Playgroud)

匹配的宽度

<ListBox x:Name="BrugereListBox"
Run Code Online (Sandbox Code Playgroud)

像这样的场景的任何通用解决方案?

wpf controls parent width

2
推荐指数
2
解决办法
2万
查看次数

Observable.Delay或Observable.Buffer重用相同的线程

是否有某些版本的Observable.Delay或Observable.Buffer不为其计时器使用新线程?也许精度较低..

我有一个场景,我需要在一个observable上调用Observable.Delay,每秒产生几千条消息,这会产生很多线程.

谢谢.

c# system.reactive

2
推荐指数
1
解决办法
617
查看次数

缺少标准的linq查询运算符?

是否有linq运算符'x'执行以下操作:

(1,2,3)'x'(4,5,6)=((1,4),(2,5),(3,6))

Geez和我不记得标准的函数式编程名称.

linq

1
推荐指数
1
解决办法
49
查看次数